Jan Komara/sk: Rozdiel medzi revíziami

Aktuálna revízia z 20:00, 9. február 2016

Ján Komara

Meno:		Ing. Ján Komara, PhD.
		učiteľ
Oddelenie:		Oddelenie deklaratívneho programovania
Telefón:		(+421 2 602 95) 727
Email:		komarafmph.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

1-AIN-121 Matematika (1) - Úvod do matematického myslenia
1-AIN-160 Matematika (3) - Diskrétna matematika
1-AIN-470 Špecifikácia a verifikácia programov
1-AIN-616 Symbolické programovanie a LISP
2-INF-265 Deklaratívne programovanie
2-INF-264 Teória deklaratívneho programovania
2-AIN-285 Symbolické programovanie a LISP

Predošlá výučba (do AR 2014/15)

1-AIN-120 Diskrétna matematika (1)
1-AIN-160 Diskrétna matematika (2)
1-AIN-505 Úvod do deklaratívneho programovania
1-AIN-625 Úvod do matematickej logiky pre programátorov
1-AIN-470 Špecifikácia a verifikácia programov
2-AIN-130 Teória vypočítateľnosti pre programátorov
1-INF-465 Deklaratívne programovanie
1-INF-450 Logika pre informatikov
2-INF-121 Teória vypočítateľnosti

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

dizertačná práca Špecifikácia a verifikácia programov v Peanovej aritmetike
pozri iPortal Akademickej knižnice UK
pozri tiež homepage

Zodpovedný/á za stránky:

@@ Riadok 1: / Riadok 1: @@
 {{Osoba
-   | fullname = Ing. Ján Komara
+   | fullname = Ing. Ján Komara, PhD.
    | caption  = Ján Komara
-   | image    =
+   | image    = komara.png
    | section  = Oddelenie deklaratívneho programovania
    | position = učiteľ
-   | phone    = (+421 2 602 95) 869
+   | phone    = (+421 2 602 95) 727
-   | room     = i34
+   | room     = I-16
    | email    = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
    | web      = [http://ii.fmph.uniba.sk/~komara/ homepage]
-}}
+  | info     =
 === Výučba ===
-* ''chýba''
+* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]]
+* 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-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-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) ====
+* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
+* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
+* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
+* 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]]
+* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=sk Teória vypočítateľnosti pre programátorov]
+* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
+* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
+* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]
 === Výskum ===
-* ''chýba''
+* 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 ===
-* ''chýbajú''
+* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
+* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
-<!--
+* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
-=== ===
+}}
-<div style="font-size:7pt;">
-----
-Zodpovedný za stránky:
-*
-</div>
--->