Verzia zo dňa a času 17:46, 20. august 2008

Formal Semantics and Theory of Correctness 1-AIN-630

Názov a kód predmetu:	Formal Semantics and Theory of Correctness (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

@@ Riadok 1: / Riadok 1: @@
-{{Course
+{{Predmet
    | name = Formal Semantics and Theory of Correctness
    | code = 1-AIN-630
-   | prerequisites = none
+   | prerequisites = žiadne
-   | semester = Winter
+   | semester = Zimný
    | year = 3
    | credits = 6
-   | form = L - lecture (3)
+   | form = P - prednáška (3)
    | evaluation = 50/50
-   | webpage = not available
+   | webpage = chýba
-   | teacher = not available
+   | teacher = chýba
-   | email = not available
+   | email = chýba
-   | homepage = not available
+   | homepage = chýba
-   | description =  not available
+   | description =  chýba
-   | offered_in = Elective in [[Bachelor program in Applied Informatics]]
+   | offered_in = Voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
-   | recommendations = none
+   | recommendations = žiadne
 }}