Stránka 2 z 2

Re: Logicke programovani II

PříspěvekNapsal: 24. 6. 2014 17:50
od malta.x
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