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:53] 55p |
courses:a4m36tpj:predtermin_21.12.2012 [2025/01/03 18:29] (aktuální) |
||
|---|---|---|---|
| Řá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ě. | ||
