Teoria typov

[TradeMark]

Neviete niekto heslo do TT na moodle? Dik

[trek]

na moodli predmet TT neni...jedine na hornade a tam je login: tt a pass: prednaskY

[ApokalypS]

Neviete niekto heslo do TT na moodle? Dik

ta to tak, ked na prednasky nechodis bodaj by si vedel

[TradeMark]

Neviete niekto heslo do TT na moodle? Dik

ta to tak, ked na prednasky nechodis bodaj by si vedel

Smrdis

[ApokalypS]

decka z tohto predmetu sa z coho pripravujete na predtermin?
stacia vam prednasky z hornadu?

[trek]

nic ine asi nie je, takze musi to stacit....je to celkom easy podla mna ..vsetko sa da pochopit len ci si na to spomeniem ked mi da konkretnu otazku

[ApokalypS]

ved prave..
netusim akeho charakteru budu otazky, nie to este odpovede na ne..

[Snow]

ved prave..
netusim akeho charakteru budu otazky, nie to este odpovede na ne..

skus si pozriet archiv, minuly rok si tahali z 3 obalok.. 1.obalka otazky z prednasok 1-6, 2.obalka otazky 7.-12. prednaska, 3.obalka priklad. A su tam aj konkretne otazky ake mali minuly rok.

[ApokalypS]

dik

[Killian]

No som zvedavy aka bude ta skuska... Pozeram do toho, ale tak od polovicky tam uz su take veci, ze to si clovek tazko zapameta.
Ako dlho sa to ucite? Vcera som zacal pozerat do prednasok, este mam dnes a zajtra na to cas. Snad sa to podari.

[trek]

ja som na tom podobne...prva polovica prednasok sa da potom to je uz horsie....ale aspon budeme mat oficialny tahak kde budu vsetky odvodzovacie pravidla vyhodnocovacie aj typovacie a ktove co este ....aspon tak to bolo minuly rok

[Killian]

A preco mi na MAIS ukazuje, ze len dvaja ludia su nahlaseni na predtermin?
Pozeram si tie otazky z minuleho roka co su v archive a je to dost seriozne. Normalne rozmyslam, ze sa odhlasim z toho terminu  . Uvidime.

Toto sa ako riesi inac?
(λx : Nat × Nat.x.2){pred 4, pred 5}

[trek]

Toto sa ako riesi inac?
(λx : Nat × Nat.x.2){pred 4, pred 5}

najprv vyhodnotis termy v zlozenych zatvorkach, cize dostanes (λx : Nat × Nat.x.2){3, 4}...potom spravis λ abstrakciu, ktora je typu Nat x Nat...cize za x dosadis 2 a λ abstrakcia ti zmizne a ostane ti {3, 4}.2....nakoniec spravis druhu projekciu a vysledok je tym padom 4...tento priklad je aj v prednske 6

[staninko]

je cviko este z TT tento tyzden?

[ApokalypS]

jj, vraj bude tesne pred skuskou cviko.. bohuzial
ale mozno nam aspon ukaze nejake priklady, ktore potom mozme na skuske cakat, uvidime..

[staninko]

a este taka otazka ze kolko krat mozem chybat na TT? tak ako vsade 3krat ? lebo minuly tyzden na cviku povedal ze vsetci maju zapocet , ked som dobre pocul a som uz mimo ke a koli jednemu cviku sa mi nechce cestovat do ke a naspat.

[ApokalypS]

zapocet ma kazdy, otazne je kolko bodov.. a co sa tyka ucasti, jasne, ze tri su povolene..

[trek]

btw ako idetete zajtra na skusku obleceni? ..sako kosela a tak?

[ApokalypS]

ja urcite nie, nech sa na mna nehneva, nemam chut teraz vyberat oblek..

[trek]

no prave som dopozeral 9tu prednasku...a je to dost na <> ...zajtra idem asi len tak skusit ci sadnu otazky...btw v maise pri prehlade terminov na skusku je taka kolkonka ze "por. prihl."... vcera som tam mal 2 a dnes je tam 1..co to znamena? ...typoval by som ze poradie prihlasenia..ale naco by nam bola taka informacia

[Snow]

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

[trek]

teoreticke otazky ..variacie+ opcie a podtyp podtypova relacia...to sme nemali nie?...alebo som len slepy?

[Snow]

teoreticke otazky ..variacie+ opcie a podtyp podtypova relacia...to sme nemali nie?...alebo som len slepy?

Ano, mas pravdu. Ale mali sme varianty, tak neviem ci ten dotycny nemyslel varianty. Mozno nie. A tu podtypovu relaciu tiez nie. To su otazky z minuleho roku a oni stihli prebrat asi vsetko a som si nevsimol, ze ake presne otazky mali.

Este jedna vec.. Syntax lambda kalkulu, alebo potom tie rozsirenia syntaxe sa ucite? To zrejme na tahaku nebude, ze?

[trek]

teoreticke otazky ..variacie+ opcie a podtyp podtypova relacia...to sme nemali nie?...alebo som len slepy?

Ano, mas pravdu. Ale mali sme varianty, tak neviem ci ten dotycny nemyslel varianty. Mozno nie. A tu podtypovu relaciu tiez nie. To su otazky z minuleho roku a oni stihli prebrat asi vsetko a som si nevsimol, ze ake presne otazky mali.

Este jedna vec.. Syntax lambda kalkulu, alebo potom tie rozsirenia syntaxe sa ucite? To zrejme na tahaku nebude, ze?

ked to bude tak ako minuly rok tak vsetko bude na oficialnom tahaku...syntax, vyhodnocovacie pravidla, typovacie pravidla

aspon tak som to vycital z archivu...

[ApokalypS]

2 Snow, tak na to, ze idu Vianoce, by som sa nespoliehal,
ale vsetkym, ktori sa tam zajtra stretneme vela stastia.. ja som z toho tiez riadne vygumovany :/