Teoria typov

[jardo]

nazdar,
ludia co bolo na utornajsom cviku?

[deCode666]

Mňa by skôr zaujímalo, že či bude ešte cviko s Mihályim, alebo už dokonca bude chodiť Novitzká? ... nevie to niekto?

[deCode666]

Bude dnes cviko? ... dnes: pondelok 13. 12. 2010

[Matejus]

Zdravím,
dovolil som si spracovať všetky cvičenia do formy prijateľnejšej pre mňa a možno aj pre Vás, takže nech sa páči, download it.

http://dl.dropbox.com/u/4764904/tt_cvicenia_2010.pdf

PS: V prípade, že nájdete hocijakú chybu, nezrovnalosť alebo budete mať nejakú pripomienku, prosím kontaktujte ma na hlebasko.matej@gmail.com 

[neo68]

Zdravím,
dovolil som si spracovať všetky cvičenia do formy prijateľnejšej pre mňa a možno aj pre Vás, takže nech sa páči, download it.

diky za to, dobre si to spracoval

[nezabudka88]

Mato, na strane 8 je chyba, ma byt: ,,V nasom priklade su t2 a t3 rozneho typu (Nat/Bool)..."

Pripajam spracovane prednasky:)

[Achilus13]

dneska som sa rozprával s Ľaľovou a vraj bude jeden z teórie a jeden z príkladov... vraj sa oni stále rozhodujú koľko dajú z teórie. Je to tak?? nevie niekto?

[Matejus]

Takže po skúške môžem objektívne zhodnotiť, že Ing.Mihályi hodnotí trochu prísnejšie ako prof.Novitzká.
Forma skúšky: 3 kôpky otázok (prvé 2 teoretické a tretia príklad), mali sme čas na prípravu a potom na ústnu časť, ako na maturite.
Moje otázky:
1. detypovanie, vlastnosti a použitie
2. zoznamy
3. vyhodnotiť term {pred 4 , if true then false else false}.1

[Brock]

Takže po skúške môžem objektívne zhodnotiť, že Ing.Mihályi hodnotí trochu prísnejšie ako prof.Novitzká.
Forma skúšky: 3 kôpky otázok (prvé 2 teoretické a tretia príklad), mali sme čas na prípravu a potom na ústnu časť, ako na maturite.
Moje otázky:
1. detypovanie, vlastnosti a použitie
2. zoznamy
3. vyhodnotiť term {pred 4 , if true then false else false}.1

To co za priklad omg. Jaky je vysledok? {3,false}.1 ?

[jardo]

pozeral osm ten dokumetn vypracovane prednasky, a je tam len 7 stran, ai nebude stacit na skusku sa ucit teoriu len ztoho co?

[majster]

pozeral osm ten dokumetn vypracovane prednasky, a je tam len 7 stran, ai nebude stacit na skusku sa ucit teoriu len ztoho co?

ne ono toZuzka dobre spracovala, lebo vo vacsine su tam  vzorce, ktore nemusis vediet, ja som isiel, prednasku o prednaske a par veci dopisal, co ona vynechala a v pohodicke:DDD

[Easoft]

ludia prosim vas kde najdem ten vycuc z prednasok, akoby tu chybal link 

[deCode666]

6. príspevok nad tvojim

[Easoft]

6. príspevok nad tvojim

boze ja som puk, nebol som prihlaseny tak to nezobrazilo ... dik a ospravedlnujem sa za debilnu otazku  

P.S.: a vdaka aj autorovi toho vycucu, dobra praca

[ownz]

Takže po skúške môžem objektívne zhodnotiť, že Ing.Mihályi hodnotí trochu prísnejšie ako prof.Novitzká.
Forma skúšky: 3 kôpky otázok (prvé 2 teoretické a tretia príklad), mali sme čas na prípravu a potom na ústnu časť, ako na maturite.
Moje otázky:
1. detypovanie, vlastnosti a použitie
2. zoznamy
3. vyhodnotiť term {pred 4 , if true then false else false}.1

To co za priklad omg. Jaky je vysledok? {3,false}.1 ?

Podla mna je vysledok 3, co vy nato ?

[majster]

Takže po skúške môžem objektívne zhodnotiť, že Ing.Mihályi hodnotí trochu prísnejšie ako prof.Novitzká.
Forma skúšky: 3 kôpky otázok (prvé 2 teoretické a tretia príklad), mali sme čas na prípravu a potom na ústnu časť, ako na maturite.
Moje otázky:
1. detypovanie, vlastnosti a použitie
2. zoznamy
3. vyhodnotiť term {pred 4 , if true then false else false}.1

{pred 4, if true then false else false}.1
! {3, if true then false else false}.1
! {3, false}.1
! 3

[Brock]

Takže po skúške môžem objektívne zhodnotiť, že Ing.Mihályi hodnotí trochu prísnejšie ako prof.Novitzká.
Forma skúšky: 3 kôpky otázok (prvé 2 teoretické a tretia príklad), mali sme čas na prípravu a potom na ústnu časť, ako na maturite.
Moje otázky:
1. detypovanie, vlastnosti a použitie
2. zoznamy
3. vyhodnotiť term {pred 4 , if true then false else false}.1

{pred 4, if true then false else false}.1
! {3, if true then false else false}.1
! {3, false}.1
! 3

OTAZKA: Keby tam bolo "{3,true}.1"  Vysledok by bol {3,1} ?

[Easoft]

Potvrdzujem formu skusky uvedenu vyssie.

Otazky:
1. Sucinovy typ, zaznam
2. Churchove cisla a boolovske hodnoty
3. Vyjadrite Churhov numeral succ c3 (bolo zadane c0 a funkcia succ)

[majster]

1, specialne pripady exception
2.jednotkove typy
3.priklad do t1,t2 dosadit a pomocou termu vypocitat.

[jardo]

pozeral osm ten dokumetn vypracovane prednasky, a je tam len 7 stran, ai nebude stacit na skusku sa ucit teoriu len ztoho co?

ne ono toZuzka dobre spracovala, lebo vo vacsine su tam  vzorce, ktore nemusis vediet, ja som isiel, prednasku o prednaske a par veci dopisal, co ona vynechala a v pohodicke:DDD

no napr. bola otzka na skuske ze detypovanie, a v tom vycuce to je asi jednou vetou napisane, to jej zrejem nebude stacit na skuske jednu vetu napisat co?

[andy.gee]

1. netypovany jazyk NBL
2. zoznamy
pr. vyhodnotit term {pred 4, if true then false else true}.2
(vysledok je false a to .2 bolo treba vediet, ze sa nazyva projekcia)

pokial viem nespravil jeden .. ci este niekomu nevyslo dnes?

[andy.gee]

no napr. bola otzka na skuske ze detypovanie, a v tom vycuce to je asi jednou vetou napisane, to jej zrejem nebude stacit na skuske jednu vetu napisat co?

no bude ti treba viac ako jednu vetu urcite k tomu .. odporucam si podla seba vypracovat radsej otazky co boli teraz a po minule roky

[ownz]

Takže po skúške môžem objektívne zhodnotiť, že Ing.Mihályi hodnotí trochu prísnejšie ako prof.Novitzká.
Forma skúšky: 3 kôpky otázok (prvé 2 teoretické a tretia príklad), mali sme čas na prípravu a potom na ústnu časť, ako na maturite.
Moje otázky:
1. detypovanie, vlastnosti a použitie
2. zoznamy
3. vyhodnotiť term {pred 4 , if true then false else false}.1

{pred 4, if true then false else false}.1
! {3, if true then false else false}.1
! {3, false}.1
! 3

OTAZKA: Keby tam bolo "{3,true}.1"  Vysledok by bol {3,1} ?

nie stale by bol 3

[Stalker]

co bolo na oficialnom tahaku na skuske?

[deCode666]

Všetko, čo si potreboval na výpočet ... akurát som nikde nenašiel tie veci ako Const a Size (možno som debilne pozeral, neviem ...), ale to som vedel, to bolo v poho ...