(5 intermediate revisions by the same user not shown) | |||
Riadok 12: | Riadok 12: | ||
=== Výučba === | === Výučba === | ||
− | * 1-AIN-121 [[Mathematics 1 | + | * 1-AIN-121 [[Discrete Mathematics (1)|Diskrétna matematika (1)]] |
− | * 1-AIN-188 [http://dai.fmph.uniba.sk/courses/ | + | * 1-AIN-188 [http://dai.fmph.uniba.sk/courses/ma/ Matematická analýza] |
− | + | ||
− | + | ||
− | + | ||
* 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]] | ||
* 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=sk Symbolické programovanie a LISP] | * 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=sk Symbolické programovanie a LISP] | ||
<!-- * 2-AIN-285 [[Symbolic Programming and LISP|Symbolické programovanie a LISP]] --> | <!-- * 2-AIN-285 [[Symbolic Programming and LISP|Symbolické programovanie a LISP]] --> | ||
− | * 2-AIN-266 [[Declarative Programming|Deklaratívne programovanie]] | + | * 2-AIN-266 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-266-dp/?lang=sk Deklaratívne programovanie] |
+ | <!-- * 2-AIN-266 [[Declarative Programming|Deklaratívne programovanie]] --> | ||
=== Predošlá výučba === | === Predošlá výučba === | ||
+ | * 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]] | ||
+ | * 1-AIN-188 [http://dai.fmph.uniba.sk/courses/mat2/ Matematika (2) - Matematická analýza] | ||
+ | <!-- * 1-AIN-188 [[Mathematics 2 - Mathematical Analysis|Matematika (2) - Matematická analýza]] --> | ||
+ | * 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Matematika (3) - Diskrétna matematika]] | ||
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]] | * 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]] | ||
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]] | * 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]] | ||
+ | * 1-AIN-210 [[Algorithms and Data Structures|Algoritmy a dátové štruktúry]] | ||
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]] | * 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]] | ||
* 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=sk Symbolické programovanie a LISP] | * 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=sk Symbolické programovanie a LISP] | ||
Riadok 42: | Riadok 45: | ||
=== Publikácie === | === Publikácie === | ||
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike] | * dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike] | ||
− | * pozri [ | + | * pozri [https://alis.uniba.sk:8444/search/query?match_1=PHRASE&field_1=a&term_1=Komara,+J%C3%A1n+1960-+UKOMFKAI++&sort=dateNewest&theme=EPC Evidencia publikačnej činnosti UK] |
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage] | * pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage] | ||
+ | * pozri tiež [https://www.researchgate.net/profile/Jan_Komara Ján Komara on ResearchGate] | ||
}} | }} |
Aktuálna revízia z 20:19, 22. február 2024
Ján Komara
|
Výučba
- 1-AIN-121 Diskrétna matematika (1)
- 1-AIN-188 Matematická analýza
- 1-AIN-470 Špecifikácia a verifikácia programov
- 2-AIN-285 Symbolické programovanie a LISP
- 2-AIN-266 Deklaratívne programovanie
Predošlá výučba
- 1-AIN-121 Matematika (1) - Úvod do matematického myslenia
- 1-AIN-188 Matematika (2) - Matematická analýza
- 1-AIN-160 Matematika (3) - Diskrétna matematika
- 1-AIN-120 Diskrétna matematika (1)
- 1-AIN-160 Diskrétna matematika (2)
- 1-AIN-210 Algoritmy a dátové štruktúry
- 1-AIN-505 Úvod do deklaratívneho programovania
- 1-AIN-616 Symbolické programovanie a LISP
- 1-AIN-625 Úvod do matematickej logiky pre programátorov
- 1-INF-450 Logika pre informatikov
- 1-INF-465 Deklaratívne programovanie
- 2-INF-121 Teória vypočítateľnosti
- 2-INF-264 Teória deklaratívneho programovania
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 Evidencia publikačnej činnosti UK
- pozri tiež homepage
- pozri tiež Ján Komara on ResearchGate