Difference between revisions of "Jan Komara/sk"
| Line 12: | Line 12: | ||
=== Výučba === | === Výučba === | ||
| − | * 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika | + | * 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika 1]] |
* 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]] | ||
Revision as of 15:50, 9 October 2009
Ján Komara
|
|
Výučba
- 1-AIN-120 Diskrétna matematika 1
- 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
Výskum
- chýba
Publikácie
- chýbajú