Jan Komara/sk: Rozdiel medzi revíziami
| Riadok 14: | Riadok 14: | ||
* 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]] | ||
| − | * 1-INF-465 Deklaratívne programovanie | + | * 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie] |
| − | * 1-INF-450 Logika pre informatikov | + | * 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov] |
| − | * 2-INF-121 Teória vypočítateľnosti | + | * 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti] |
| − | + | ||
=== Výskum === | === Výskum === | ||
Verzia zo dňa a času 15:51, 8. september 2008
Ján Komara
|
|
Výučba
- 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ú