| Riadok 16: | Riadok 16: | ||
* 1-AIN-210 [[Algorithms and Data Structures|Algorithms and Data Structures]] | * 1-AIN-210 [[Algorithms and Data Structures|Algorithms and Data Structures]] | ||
* 1-AIN-470 [[Specification and Verification of Programs|Specification and Verification of Programs]] | * 1-AIN-470 [[Specification and Verification of Programs|Specification and Verification of Programs]] | ||
| − | |||
| − | |||
| − | |||
* 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=en Symbolic programming and LISP] | * 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=en Symbolic programming and LISP] | ||
| − | + | * 2-AIN-??? [[Declarative Programming|Declarative Programming]] | |
| + | |||
| + | === Former Teaching === | ||
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]] | * 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]] | ||
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]] | * 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]] | ||
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]] | * 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]] | ||
| + | * 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=en Symbolic programming and LISP] | ||
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]] | * 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]] | ||
| − | + | <!-- * 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers] --> | |
| − | * 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers] | + | |
| − | + | ||
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science] | * 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science] | ||
| + | * 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming] | ||
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory] | * 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory] | ||
| + | * 2-INF-264 [[Theory of Declarative Programming|Theory of Declarative Programming]] | ||
=== Research === | === Research === | ||
Verzia zo dňa a času 10:43, 7. apríl 2017
Jan Komara
|
|
Teaching
- 1-AIN-121 Mathematics (1) - Introduction to Mathematical Reasoning
- 1-AIN-160 Mathematics (3) - Discrete Mathematics
- 1-AIN-210 Algorithms and Data Structures
- 1-AIN-470 Specification and Verification of Programs
- 2-AIN-285 Symbolic programming and LISP
- 2-AIN-??? Declarative Programming
Former Teaching
- 1-AIN-120 Discrete Mathematics (1)
- 1-AIN-160 Discrete Mathematics (2)
- 1-AIN-505 Introduction to Declarative Programming
- 1-AIN-616 Symbolic programming and LISP
- 1-AIN-625 Introduction to Mathematical Logic for Programmers
- 1-INF-450 Logic for Computer Science
- 1-INF-465 Declarative Programming
- 2-INF-121 Computability Theory
- 2-INF-264 Theory of Declarative Programming
Research
- mathematical logic, formal arithmetic
- recursion theory, theory of computability
- theory and practice of declarative programming languages
- theorem proving, specification and verification of programs