Riadok 13: | Riadok 13: | ||
=== Výučba === | === Výučba === | ||
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]] | * 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]] | ||
− | * 1-AIN-188 [[Mathematics 2 - Mathematical Analysis|Matematika (2) - Matematická analýza]] | + | * 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-160 [[Mathematics 3 - Discrete Mathematics|Matematika (3) - Diskrétna matematika]] | ||
* 1-AIN-210 [[Algorithms and Data Structures|Algoritmy a dátové štruktúry]] | * 1-AIN-210 [[Algorithms and Data Structures|Algoritmy a dátové štruktúry]] |
Verzia zo dňa a času 12:33, 5. apríl 2018
Ján Komara
|
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-210 Algoritmy a dátové štruktúry
- 1-AIN-470 Špecifikácia a verifikácia programov
- 2-AIN-285 Symbolické programovanie a LISP
- 2-AIN-??? Deklaratívne programovanie
Predošlá výučba
- 1-AIN-120 Diskrétna matematika (1)
- 1-AIN-160 Diskrétna matematika (2)
- 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 iPortal Akademickej knižnice UK
- pozri tiež homepage