Author Topic: Teoria typov  (Read 11556 times)

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Teoria typov
« on: 13.11.2010, 20:11:57 »
nazdar,
ludia co bolo na utornajsom cviku?

deCode666

  • Full Member
  • ***
  • Posts: 212
    • View Profile
Re: Teoria typov
« Reply #1 on: 14.11.2010, 20:31:00 »
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

  • Full Member
  • ***
  • Posts: 212
    • View Profile
Re: Teoria typov
« Reply #2 on: 13.12.2010, 08:23:53 »
Bude dnes cviko? ... dnes: pondelok 13. 12. 2010

Matejus

  • Guest
Re: Teoria typov
« Reply #3 on: 30.12.2010, 19:30:45 »
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  br

neo68

  • Jr. Member
  • **
  • Posts: 59
    • View Profile
Re: Teoria typov
« Reply #4 on: 30.12.2010, 23:39:34 »
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

  • Newbie
  • *
  • Posts: 19
    • View Profile
Re: Teoria typov
« Reply #5 on: 04.01.2011, 15:15:54 »
Mato, na strane 8 je chyba, ma byt: ,,V nasom priklade su t2 a t3 rozneho typu (Nat/Bool)..."

Pripajam spracovane prednasky:)

Achilus13

  • Jr. Member
  • **
  • Posts: 55
    • View Profile
Teoria typov
« Reply #6 on: 04.01.2011, 15:56:09 »
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

  • Guest
Re: Teoria typov
« Reply #7 on: 05.01.2011, 18:36:45 »
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

  • Newbie
  • *
  • Posts: 4
    • View Profile
Re: Teoria typov
« Reply #8 on: 10.01.2011, 22:56:03 »
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

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: Teoria typov
« Reply #9 on: 11.01.2011, 17:44:27 »
pozeral osm ten dokumetn vypracovane prednasky, a je tam len 7 stran, ai nebude stacit na skusku sa ucit teoriu len ztoho co?

majster

  • Jr. Member
  • **
  • Posts: 96
    • View Profile
Re: Teoria typov
« Reply #10 on: 11.01.2011, 19:02:25 »
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

  • Newbie
  • *
  • Posts: 39
  • We are not programs, we are people...
    • View Profile
    • DCStats
Re: Teoria typov
« Reply #11 on: 11.01.2011, 19:59:06 »
ludia prosim vas kde najdem ten vycuc z prednasok, akoby tu chybal link  :)

deCode666

  • Full Member
  • ***
  • Posts: 212
    • View Profile
Re: Teoria typov
« Reply #12 on: 11.01.2011, 20:05:54 »
6. príspevok nad tvojim

Easoft

  • Newbie
  • *
  • Posts: 39
  • We are not programs, we are people...
    • View Profile
    • DCStats
Re: Teoria typov
« Reply #13 on: 11.01.2011, 20:08:39 »
6. príspevok nad tvojim

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

P.S.: a vdaka aj autorovi toho vycucu, dobra praca
« Last Edit: 11.01.2011, 20:10:20 by Easoft »

ownz

  • Newbie
  • *
  • Posts: 19
    • View Profile
Re: Teoria typov
« Reply #14 on: 11.01.2011, 23:15:32 »
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

  • Jr. Member
  • **
  • Posts: 96
    • View Profile
Re: Teoria typov
« Reply #15 on: 11.01.2011, 23:37:43 »
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

  • Newbie
  • *
  • Posts: 4
    • View Profile
Re: Teoria typov
« Reply #16 on: 12.01.2011, 04:30:55 »
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

  • Newbie
  • *
  • Posts: 39
  • We are not programs, we are people...
    • View Profile
    • DCStats
Re: Teoria typov
« Reply #17 on: 12.01.2011, 16:27:15 »
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

  • Jr. Member
  • **
  • Posts: 96
    • View Profile
Re: Teoria typov
« Reply #18 on: 12.01.2011, 16:31:22 »
1, specialne pripady exception
2.jednotkove typy
3.priklad do t1,t2 dosadit a pomocou termu vypocitat.

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: Teoria typov
« Reply #19 on: 12.01.2011, 17:14:32 »
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

  • Newbie
  • *
  • Posts: 34
    • View Profile
Re: Teoria typov
« Reply #20 on: 12.01.2011, 19:43:00 »
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

  • Newbie
  • *
  • Posts: 34
    • View Profile
Re: Teoria typov
« Reply #21 on: 12.01.2011, 19:44:13 »
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

  • Newbie
  • *
  • Posts: 19
    • View Profile
Re: Teoria typov
« Reply #22 on: 12.01.2011, 21:23:51 »
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

  • Jr. Member
  • **
  • Posts: 67
    • View Profile
Re: Teoria typov
« Reply #23 on: 13.01.2011, 04:21:38 »
co bolo na oficialnom tahaku na skuske?
ASOT

deCode666

  • Full Member
  • ***
  • Posts: 212
    • View Profile
Re: Teoria typov
« Reply #24 on: 13.01.2011, 06:30:47 »
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 ...