Re: Logicke programovani II
Napsal: 24. 6. 2014 18: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
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