- 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
Hromadně přidat materiály
Zkouška06_06_2005
IA011 - Sémantiky programovacích jazyků
Hodnocení materiálu:
Zjednodušená ukázka:
Stáhnout celý tento materiálma, sigma') | ... }
Tau^1 ({}) = {(sigma, sigma') | ... }
Tau^2 ({}) = {(sigma, sigma') | ... }
6) Dokazte nebo vyvratte na prikladu ze pokud A je invariantem cyklu WHILEb DO c, pak je invariantem i negace(A).
7) Definovat v SOS I cyklus: FROM X TO n DO C (kdyz e nejdrive vzdy vyhodnoti X
Vloženo: 25.04.2009
Velikost: 817,00 B
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2024 unium.cz