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
Fórum studentů MFF UK
Fórum pro všechny studenty matematicko-fyzikální fakulty UK, informatiky, fyziky i matematiky
Logicke programovani II
Příspěvků: 16
• Stránka 2 z 2 • 1, 2
Re: Logicke programovani II
od malta.x » 24. 6. 2014 17:50
- malta.x
- Matfyz(ák|ačka) level I
- Příspěvky: 13
- Registrován: 24. 9. 2010 20:37
- Typ studia: Informatika Bc.
Příspěvků: 16
• Stránka 2 z 2 • 1, 2
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