Logicke programovani II

malta.x
Matfyz(ák|ačka) level I
Příspěvky: 13
Registrován: 24. 9. 2010 21:37
Typ studia: Informatika Bc.

Re: Logicke programovani II

Příspěvek 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
Odpovědět

Zpět na „I1 Ostatní Teoretická informatika“