- 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
Zkouška06_06_2005
IA011 - Sémantiky programovacích jazyků
Zjednodušená ukázka:
Stáhnout celý tento materiál1) Napište program splňující pro každý sigma :
a) wp |= [c, X=2] = {sigma | sigma(X)=1 }
b) wp |= [c, false] = {sigma | sigma(X)=1 and sigma(X)>2}
c) wp |= [c, true] = {sigma | sigma(X)>5}
2) Dokaz {X=1} WHILE (X1) DO Y:=5 {Y=5}
3) Spočítat A[3*X](C[WHILE false DO X:= X+1]sigma) = ?
Vloženo: 25.04.2009
Velikost: 817,00 B
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2023 unium.cz. Abychom mohli web rozvíjet a dále vylepšovat podle preferencí uživatelů, shromažďujeme statistiky o návštěvnosti, a to pomocí Google Analytics a Netmonitor. Tyto systémy pro unium.cz zaznamenávají, které stránky uživatel na webové stránce navštívil, odkud se na stránku dostal, kam z ní odešel, jaké používá zařízení, operační systém či prohlížeč, či jaký má preferenční jazyk. Statistiky jsou anonymní, takže unium.cz nezná identitu návštěvníka a spravuje cookies tak, že neumožňuje identifikovat konkrétní osoby. Používáním webu vyjadřujete souhlas použitím cookies a následujících služeb: