(13 intermediate revisions by the same user not shown)
Riadok 12: Riadok 12:
  
 
=== Výučba ===
 
=== Výučba ===
 +
* 1-AIN-121 [[Discrete Mathematics  (1)|Diskrétna matematika (1)]] 
 +
* 1-AIN-188 [http://dai.fmph.uniba.sk/courses/ma/ Matematická analýza]
 +
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
 +
* 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=sk Symbolické programovanie a LISP]
 +
<!-- * 2-AIN-285 [[Symbolic Programming and LISP|Symbolické programovanie a LISP]] -->
 +
* 2-AIN-266 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-266-dp/?lang=sk Deklaratívne programovanie]
 +
<!-- * 2-AIN-266 [[Declarative Programming|Deklaratívne programovanie]] -->
 +
 +
=== Predošlá výučba ===
 
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]]   
 
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]]   
 +
* 1-AIN-188 [http://dai.fmph.uniba.sk/courses/mat2/ Matematika (2) - Matematická analýza]
 +
<!-- * 1-AIN-188 [[Mathematics 2 - Mathematical Analysis|Matematika (2) - Matematická analýza]] -->
 +
* 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Matematika (3) - Diskrétna matematika]]
 
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
 
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
 
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
 
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
 +
* 1-AIN-210 [[Algorithms and Data Structures|Algoritmy a dátové štruktúry]]
 
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
 
* 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-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-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-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 ===
 
=== Výskum ===
Riadok 31: Riadok 45:
 
=== 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]
 
* 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 [https://alis.uniba.sk:8444/search/query?match_1=PHRASE&field_1=a&term_1=Komara,+J%C3%A1n+1960-+UKOMFKAI++&sort=dateNewest&theme=EPC  Evidencia publikačnej činnosti UK]
 
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
 
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
 +
* pozri tiež [https://www.researchgate.net/profile/Jan_Komara Ján Komara on ResearchGate]
 
}}
 
}}

Aktuálna revízia z 19:19, 22. február 2024

Ján Komara

Ján Komara – fotografia
Meno: Ing. Ján Komara, PhD.
učiteľ
Oddelenie: Oddelenie deklaratívneho programovania
Telefón: (+421 2 602 95) 727
Email: komara@fmph.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

Predošlá výučba

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