navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:a4m36tpj:predtermin_21.12.2012 [2012/12/21 10:52] 55p vytvořeno |
courses:a4m36tpj:predtermin_21.12.2012 [2025/01/03 18:29] (aktuální) |
||
|---|---|---|---|
| Řádek 3: | Řádek 3: | ||
| 2) Dk. zachování typů: | 2) Dk. zachování typů: | ||
| - | t : T a zároveň t => t' ==> t' : T | + | t : T a zároveň t => t' --> t' : T |
| 3) Dk. terminace jazyka ze (2) | 3) Dk. terminace jazyka ze (2) | ||
| Řádek 10: | Řádek 10: | ||
| 5) Dokaž na základě vlastností Progress a Soundness, že je (zadané) pravidlo podtypovosti rekurzivního typu špatně definované. | 5) Dokaž na základě vlastností Progress a Soundness, že je (zadané) pravidlo podtypovosti rekurzivního typu špatně definované. | ||
| + | |||
| + | ----- | ||
| + | |||
| + | {{:courses:a4m36tpj:tpj-2012-exam1.pdf|Oficialni zadani}} | ||
| + | |||
| + | Čas nic moc, spíš málo než hodně. | ||
