Jan Komara/en: Rozdiel medzi revíziami
| Riadok 20: | Riadok 20: | ||
=== Research === | === Research === | ||
| − | * mathematical logic, theory of computability | + | * mathematical logic, formal arithmetic |
| + | * recursion theory, theory of computability | ||
* theory and practice of declarative programming languages | * theory and practice of declarative programming languages | ||
| − | * theorem proving | + | * theorem proving, specification and verification of programs |
| − | + | ||
=== Publications === | === Publications === | ||
* see [http://ii.fmph.uniba.sk/~komara/ homepage] | * see [http://ii.fmph.uniba.sk/~komara/ homepage] | ||
}} | }} | ||
Verzia zo dňa a času 19:41, 4. jún 2010
Ján Komara
|
|
Teaching
- 1-AIN-120 Discrete Mathematics (1)
- 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, formal arithmetic
- recursion theory, theory of computability
- theory and practice of declarative programming languages
- theorem proving, specification and verification of programs
Publications
- see homepage