- Stahuj zápisky z přednášek a ostatní studijní materiály
- Zapisuj si jen kvalitní vyučující (obsáhlá databáze referencí)
- Nastav si své předměty a buď stále v obraze
- Zapoj se svojí aktivitou do soutěže o ceny
- Založ si svůj profil, aby tě tví spolužáci mohli najít
- Najdi své přátele podle místa kde bydlíš nebo školy kterou studuješ
- Diskutuj ve skupinách o tématech, které tě zajímají
Studijní materiály
Zjednodušená ukázka:
Stáhnout celý tento materiálPetriho site 13.6.2006 ,
4 priklady,
2hod na reseni, priklad=20 bodu -> maximum 80. Na E stacilo 31 bodu.
1) Dokazte nerozhodnutelnost Model-checkingu pro LTL logiku
2) Sit N je ohranicena a ziva pri oznackovani M=> Sit ma pozitivni T-invariant. Dokazte
3) a) Sit N je pri danem oznackovani M0 neohranicena. Je sit neohranicena i pri oznackovani
Vloženo: 26.04.2009
Velikost: 676,00 B
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2024 unium.cz