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

Ján Komara

Name:		Ing. Ján Komara
		teacher
Section:		Section of Declarative Programming
Phone:		+421 2 602 95 727
Email:		komarafmph.uniba.sk
Office:		i16
Address:		Ing. Ján Komara Department of Applied Informatics FMFI UK Mlynská dolina 824 48 Bratislava Slovakia
Web:		homepage

Responsible for pages:

@@ Riadok 12: / Riadok 12: @@
 === Teaching ===
-* ''none''
+* [[Introduction to Mathematical Logic for Programmers]]
+* [[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
 === Research ===
-* ''none''
+* mathematical logic, theory of computability, formal arithmetic
+* theory and practice of declarative programming languages
+* theorem proving
 ===   Publications ===
 * ''none''
 }}