| Riadok 14: | Riadok 14: | ||
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]] | * 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]] | ||
* 1-AIN-470 [[Specification and Verification of Programs]] | * 1-AIN-470 [[Specification and Verification of Programs]] | ||
| − | * 1-INF-465 Declarative Programming | + | * 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming] |
| − | * 1-INF-450 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] |
| − | * 2-INF-121 Computability Theory | + | * 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory] |
=== Research === | === Research === | ||
Verzia zo dňa a času 16:49, 8. september 2008
Ján Komara
|
|
Teaching
- 1-AIN-625 Introduction to Mathematical Logic for Programmers
- 1-AIN-470 Specification and Verification of Programs
- 1-INF-465 Declarative Programming
- 1-INF-450 Logic for Computer Science
- 2-INF-121 Computability Theory
Research
- mathematical logic, theory of computability, formal arithmetic
- theory and practice of declarative programming languages
- theorem proving
Publications
- none