| Riadok 13: | Riadok 13: | ||
=== Výučba === | === Výučba === | ||
* 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-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]] | * 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-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]] | ||
| Riadok 20: | Riadok 21: | ||
=== Výskum === | === Výskum === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~komara/ homepage] |
=== Publikácie === | === Publikácie === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~komara/ homepage] |
}} | }} | ||
Verzia zo dňa a času 20:19, 4. jún 2010
Ján Komara
|
|
Výučba
- 1-AIN-120 Diskrétna matematika (1)
- 1-AIN-160 Diskrétna matematika (2)
- 1-AIN-625 Úvod do matematickej logiky pre programátorov
- 1-AIN-470 Špecifikácia a verifikácia programov
- 1-INF-465 Deklaratívne programovanie
- 1-INF-450 Logika pre informatikov
- 2-INF-121 Teória vypočítateľnosti