| Riadok 24: | Riadok 24: | ||
* teória rekurzívnych funkcií, teória vypočítateľnosti | * teória rekurzívnych funkcií, teória vypočítateľnosti | ||
* teória a prax deklaratívnych programovacích jazykov | * teória a prax deklaratívnych programovacích jazykov | ||
| − | * špecifikácia a verifikácia programov | + | * dokazovanie vlastností, špecifikácia a verifikácia programov |
=== Publikácie === | === Publikácie === | ||
* pozri [http://ii.fmph.uniba.sk/~komara/ homepage] | * pozri [http://ii.fmph.uniba.sk/~komara/ homepage] | ||
}} | }} | ||
Verzia zo dňa a času 20:42, 4. jún 2010
Ján Komara
|
|
Výučba
- 1-AIN-120 Diskrétna matematika (1)
- 1-AIN-160 Diskrétna matematika (2)
- 1-AIN-625 Úvod do matematickej logiky pre programátorov
- 1-AIN-470 Špecifikácia a verifikácia programov
- 1-INF-465 Deklaratívne programovanie
- 1-INF-450 Logika pre informatikov
- 2-INF-121 Teória vypočítateľnosti
Výskum
- matematická logika, formálna aritmetika
- teória rekurzívnych funkcií, teória vypočítateľnosti
- teória a prax deklaratívnych programovacích jazykov
- dokazovanie vlastností, špecifikácia a verifikácia programov
Publikácie
- pozri homepage