Jan Komara/sk: Rozdiel medzi revíziami
| Riadok 12: | Riadok 12: | ||
=== Výučba === | === Výučba === | ||
| − | * | + | * 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]] |
| + | * 1-AIN-470 [[Specification and Verification of Programs]] | ||
| + | * 1-INF-465 Deklaratívne programovanie | ||
| + | * 1-INF-450 Logika pre informatikov | ||
| + | * 2-INF-121 Teória vypočítateľnosti | ||
| + | |||
=== Výskum === | === Výskum === | ||
Verzia zo dňa a času 15:30, 8. september 2008
Ján Komara
|
|
Výučba
- 1-AIN-625 Introduction to Mathematical Logic for Programmers
- 1-AIN-470 Specification and Verification of Programs
- 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ú