| Riadok 1: | Riadok 1: | ||
{{Predmet | {{Predmet | ||
| − | | name = | + | | name = Formálna sémantika a teória správnosti |
| code = 1-AIN-630 | | code = 1-AIN-630 | ||
| prerequisites = žiadne | | prerequisites = žiadne | ||
Aktuálna revízia z 19:49, 20. august 2008
Formálna sémantika a teória správnosti 1-AIN-630
choď na zoznam všetkých predmetov...
| Názov a kód predmetu: | Formálna sémantika a teória správnosti (1-AIN-630) |
| Prerekvizity: | žiadne |
| Vyučuje sa/odporúčaný ročník: | Zimný semester / 3 |
| Forma a # hodín/týždeň: | P - prednáška (3) |
| Kredity: | 6 |
| Hodnotenie (semester/skúška): | 50/50 |
| Webstránka predmetu: | chýba |
| Informačný list: | Informačný list 1-AIN-630 (fakultná služba) |
| Vyučujúci: | chýba |
| E-mail: | chýba |
| Domovská stránka: | chýba |
Popis predmetu:
chýba
Je časťou študijného programu: Voliteľný v Bakálarskom programe Aplikovaná informatika
Odporúčania: žiadne