Line 15: Line 15:
 
* 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Matematika (3) - Diskrétna matematika]]
 
* 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-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-265 [[Declarative Programming|Deklaratívne programovanie]]
 
* 2-INF-264 [[Theory of Declarative Programming|Teória deklaratívneho programovania]]
 
* 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) ====
 
==== Predošlá výučba (do AR 2014/15) ====
 
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
 
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]

Revision as of 21:00, 9 February 2016

Ján Komara

Ján Komara
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 (do AR 2014/15)

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