Formal Semantics and Theory of Correctness/sk: Rozdiel medzi revíziami
(New page: {{Course | name = Formal Semantics and Theory of Correctness | code = 1-AIN-630 | prerequisites = none | semester = Winter | year = 3 | credits = 6 | form = L - lecture (3) ...) |
|||
| (Jedna medziľahlá úprava od jedného ďalšieho používateľa nie je zobrazená) | |||
| Riadok 1: | Riadok 1: | ||
| − | {{ | + | {{Predmet |
| − | | name = | + | | name = Formálna sémantika a teória správnosti |
| code = 1-AIN-630 | | code = 1-AIN-630 | ||
| − | | prerequisites = | + | | prerequisites = žiadne |
| − | | semester = | + | | semester = Zimný |
| year = 3 | | year = 3 | ||
| credits = 6 | | credits = 6 | ||
| − | | form = | + | | form = P - prednáška (3) |
| evaluation = 50/50 | | evaluation = 50/50 | ||
| − | | webpage = | + | | webpage = chýba |
| − | | teacher = | + | | teacher = chýba |
| − | | email = | + | | email = chýba |
| − | | homepage = | + | | homepage = chýba |
| − | | description = | + | | description = chýba |
| − | | offered_in = | + | | offered_in = Voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]] |
| − | | recommendations = | + | | recommendations = žiadne |
}} | }} | ||
Aktuálna revízia z 18: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