Verzia zo dňa a času 10:39, 7. apríl 2017

Ján Komara

Meno:		Ing. Ján Komara, PhD.
		učiteľ
Oddelenie:		Oddelenie deklaratívneho programovania
Telefón:		(+421 2 602 95) 727
Email:		komarafmph.uniba.sk
Miestnosť:		I-16
Adresa:		Ing. Ján Komara, PhD. Katedra aplikovanej informatiky FMFI UK Mlynská dolina 824 48 Bratislava
Web:		homepage

Výučba

1-AIN-121 Matematika (1) - Úvod do matematického myslenia
1-AIN-160 Matematika (3) - Diskrétna matematika
1-AIN-210 Algoritmy a dátové štruktúry
1-AIN-470 Špecifikácia a verifikácia programov
2-AIN-285 Symbolické programovanie a LISP
2-AIN-??? Deklaratívne programovanie

Predošlá 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-616 Symbolické programovanie a LISP
1-AIN-625 Úvod do matematickej logiky pre programátorov
1-INF-450 Logika pre informatikov
1-INF-465 Deklaratívne programovanie
2-INF-121 Teória vypočítateľnosti
2-INF-264 Teória deklaratívneho programovania

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

@@ Riadok 16: / Riadok 16: @@
 * 1-AIN-210 [[Algorithms and Data Structures|Algoritmy a dátové štruktúry]]
 * 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) ====
+<!-- * 2-AIN-285 [[Symbolic Programming and LISP|Symbolické programovanie a LISP]] -->
+* 2-AIN-??? [[Declarative Programming|Deklaratívne programovanie]]
+=== Predošlá výučba ===
 * 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-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=sk Symbolické programovanie a LISP]
 * 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] -->
-* 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]
+* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
 * 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]
+* 2-INF-264 [[Theory of Declarative Programming|Teória deklaratívneho programovania]]
 === Výskum ===