Riadok 12: Riadok 12:
  
 
=== Výučba ===
 
=== Výučba ===
* 1-AIN-120 [[Discrete Mathematics (1)|Diskrétna matematika (1)]]
+
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
 
* 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]]
 
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]

Verzia zo dňa a času 14:49, 9. október 2009

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ú