Ján Komara
![]() |
|
Teaching
- 1-AIN-625 Introduction to Mathematical Logic for Programmers
- 1-AIN-470 Specification and Verification of Programs
- 1-INF-465 Deklaratívne programovanie
- 1-INF-450 Logika pre informatikov
- 2-INF-121 Teória vypočítateľnosti
Research
- mathematical logic, theory of computability, formal arithmetic
- theory and practice of declarative programming languages
- theorem proving
Publications
- none