Do kelu, to nemyslite vazne?! Vcera som sa prihlasil a pisalo mi poradie prihlasenia 11, teraz to je 7. To ste sa tolki odhlasili? Joj, tak to sa asi tazko bude dat poradit. Ja som presiel, upozornujem presiel(nie naucil) po 9.prednasku a je to bieda. ALe tak uz ked som dosiel tam, tak na ten predtermin idem. Ved nam mozno pomoze
)) Ved idu Vianoce
Inac mozne typy otazok:
pred( if iszero0 then succ(succ0) else 0)
a, urobte strom abstraktnej syntaxe
b, odvodenie termu
1, Variacia +opcie
2, Curry-Howardova korenšpondencia
Priklad: (?x : Nat × Nat.x.2){pred 4, pred 5}
Teoria:
I. Jazky NBL, vyhodnotenie termov
II. Sucin typov, zaznam (record)
Priklad:
Vypocitaj podla tabulecky : bolo ( and fls fls , and fls tru ) pricom boli jednotlive operatory a operandy vypisane.
Teoria:
I.Churchove boolean a cisla
II.Zoznamy
pr: consts a size z t:= pred (if (iszero 0) then (succ (succ 0)) else 0)
o1: jazyk NBL, induktivna ?! (neviem co) NBL (toto co bolo, ze mnozina NBL je najmensia mozna mnozina taka, ze...)
o2: podtyp, podtypova relacia
Zajtra a potom vsetkym ostatnym Good Luck