Verzia zo dňa a času 16:51, 8. september 2008

Ján Komara

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

@@ Riadok 14: / Riadok 14: @@
 * 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-INF-465 Deklaratívne programovanie
+* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
-* 1-INF-450 Logika pre informatikov
+* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
-* 2-INF-121 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]
 === Výskum ===