Logicke programovani II

Re: Logicke programovani II

Příspěvekod malta.x » 24. 6. 2014 17:50

Byl jsem na zkoušce minulej tejden.

Otázky:
1) occur-check - definovat lepší modovanost a jak to souvisí
2) idea dokazování správnosti - pre a post podmínky
3) stupňové zobrazení, definovat pomocí toho zastavení a napsat nějakej jednoduchej příklad
malta.x
Matfyz(ák|ačka) level I
 
Příspěvky: 13
Registrován: 24. 9. 2010 20:37
Typ studia: Informatika Bc.

Předchozí

Zpět na I1 Ostatní Teoretická informatika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník