Jan Komara/sk: Rozdiel medzi revíziami
| Riadok 1: | Riadok 1: | ||
{{Osoba | {{Osoba | ||
| − | | fullname = Ing. Ján Komara | + | | fullname = Ing. Ján Komara, PhD. |
| caption = Ján Komara | | caption = Ján Komara | ||
| image = | | image = | ||
| Riadok 6: | Riadok 6: | ||
| position = učiteľ | | position = učiteľ | ||
| phone = (+421 2 602 95) 727 | | phone = (+421 2 602 95) 727 | ||
| − | | room = | + | | room = I-16 |
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk | ||
| web = [http://ii.fmph.uniba.sk/~komara/ homepage] | | web = [http://ii.fmph.uniba.sk/~komara/ homepage] | ||
Verzia zo dňa a času 12:18, 20. február 2011
Ján Komara
|
|
Výučba
- 1-AIN-120 Diskrétna matematika (1)
- 1-AIN-160 Diskrétna matematika (2)
- 1-AIN-505 Úvod do deklaratívneho programovania
- 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
- dizertačná práca Špecifikácia a verifikácia programov v Peanovej aritmetike
- pozri iPortal Akademickej knižnice UK
- pozri tiež homepage