Riadok 12: Riadok 12:
  
 
=== Výučba ===
 
=== Výučba ===
* ''chýba''
+
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
 +
* 1-AIN-470 [[Specification and Verification of Programs]]
 +
* 1-INF-465 Deklaratívne programovanie
 +
* 1-INF-450 Logika pre informatikov
 +
* 2-INF-121 Teória vypočítateľnosti
 +
 
  
 
=== Výskum ===
 
=== Výskum ===

Verzia zo dňa a času 15:30, 8. september 2008

Ján Komara

Ján Komara – fotografia
Meno: Ing. Ján Komara
učiteľ
Oddelenie: Oddelenie deklaratívneho programovania
Telefón: (+421 2 602 95) 727
Email: komara@fmph.uniba.sk
Miestnosť: i16
Adresa: Ing. Ján Komara
Katedra aplikovanej informatiky
FMFI UK
Mlynská dolina
824 48 Bratislava
Web: homepage

Výučba


Výskum

  • chýba

Publikácie

  • chýbajú