Jan Komara/sk: Rozdiel medzi revíziami
| (21 medziľahlých úprav od 2 ďalších používateľov nie je zobrazených) | |||
| 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 = komara.png |
| section = Oddelenie deklaratívneho programovania | | section = Oddelenie deklaratívneho programovania | ||
| 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] | ||
| − | + | | info = | |
| + | |||
=== Výučba === | === Výučba === | ||
| − | * | + | * 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]] |
| + | * 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Matematika (3) - Diskrétna matematika]] | ||
| + | * 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]] | ||
| + | * 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=sk Symbolické programovanie a LISP] | ||
| + | * 2-INF-265 [[Declarative Programming|Deklaratívne programovanie]] | ||
| + | * 2-INF-264 [[Theory of Declarative Programming|Teória deklaratívneho programovania]] | ||
| + | * 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=sk Symbolické programovanie a LISP] | ||
| + | ==== Predošlá výučba (do AR 2014/15) ==== | ||
| + | * 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]] | ||
| + | * 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]] | ||
| + | * 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]] | ||
| + | * 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]] | ||
| + | * 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]] | ||
| + | * 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=sk Teória vypočítateľnosti pre programátorov] | ||
| + | * 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie] | ||
| + | * 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov] | ||
| + | * 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti] | ||
=== Výskum === | === 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 === | === Publikácie === | ||
| − | * | + | * dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike] |
| − | + | * pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK] | |
| − | + | * pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage] | |
| − | === === | + | }} |
| − | + | ||
| − | + | ||
| − | + | ||
| − | * | + | |
| − | + | ||
| − | + | ||
Aktuálna revízia z 20:00, 9. február 2016
Ján Komara
|
|
Výučba
- 1-AIN-121 Matematika (1) - Úvod do matematického myslenia
- 1-AIN-160 Matematika (3) - Diskrétna matematika
- 1-AIN-470 Špecifikácia a verifikácia programov
- 1-AIN-616 Symbolické programovanie a LISP
- 2-INF-265 Deklaratívne programovanie
- 2-INF-264 Teória deklaratívneho programovania
- 2-AIN-285 Symbolické programovanie a LISP
Predošlá výučba (do AR 2014/15)
- 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
- 2-AIN-130 Teória vypočítateľnosti pre programátorov
- 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