od 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.
Zpět na I1 Ostatní Teoretická informatika
Kdo je online
Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 2 návštevníků