teoria typov

[Frankie]

Prišla ona s Mihályim, posadali sme si (ako sme chceli, žiadne rozsadzovačky) a potom prišla ku každému s 3 obálkami, z ktorých sme si mali vytiahnuť (1 príklad a 2 teoret. otázky). Dala nám papiere a v podstate sme mali vypočítať príklad a urobiť si akúsi prípravu na odpoveď k teórii. No a kto mal, tak mohol prísť odpovedať.

Na začiatku skúšala len ona, už to vyzeralo, že bude skúšať sama, ale potom začal aj Mihályi (taže tak na striedačku). No a ústne skúšanie bolo úplne v pohode, veď známky už poznáte 

Hej a mali sme ten povinný ťahák: Zopnutých asi 5 papierov, na ktorých boli všetky tie syntaxe a pravidlá zaradom ako boli v prednáškach, mali svoje označenie v zátvorkách (napr. T-abs), ale neboli nijak oddelené od seba, čiže treba akurát mať prehľad, ktoré patrí k čomu.

GL 

[Hue]

Príklad:

pred( if iszero0 then succ(succ0) else 0)
a, urobte strom abstraktnej syntaxe
b, odvodenie termu
(easy, ked aj aj vedel)

Teoria
1, Variacia +opcie
2, Curry-Howardova korenšpondencia

vysledok if (iszero0) then succ(94) else 0   teda A 95b

[bliky]

tha co ja viem, thak tych B-cok bolo viac, ale... nestazujem sa... nato, ze som presiel polovicu prednasok, som nadmieru spokojny... a musim uznat, ze som mal luck aj na priklad aj na otazky...

[kubik86]

Priklad: (λx : Nat × Nat.x.2){pred 4, pred 5}

Teoria:
I. Jazky NBL, vyhodnotenie termov

II. Sucin typov, zaznam (record)

[jaros51]

Ja som mal
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

[bliky]

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

akoze priklad som vypocital a mal som aj k jednej aj k druhej otazke, presne secko tak, jak bolo v prednaskach (co som nevedel, som si pomohol externym zdrojom), ale jak som bol odpovedat, tak sa ma take chujoviny vypytovala, ze som nevedel ani co sa pyta... prosto citil som sa jak pri Bacovi na LS s tym rozdielom, ze Novitzka mi dala "B", aj ked pravdu povediac, ked by som sa mal sam ohodnotit, thak si dam nromlane sebakriticky "E" podla odpovede...

[Frankie]

No ja som bol tiež pri Novitzkej odpovedať a podľa mňa sa pýtala úplne k veci a základy k tej téme čo som mal.
Takže bliky, zrejme si len nebol poriadne naučený a preto sa ti to zdalo ako hlúposti.

[Mar0sh]

no ono ja som mal definiciu typovaneho termu v jednoducho typovanom lambda kalkule a musel som definovat cely lambda kalkul a kecat tam o vsetkych pravidlach...potom som mal vynimky a tiez vsetko...vsetky pravidla, co boli na tej prednaske tusim...ale otazky sadli vyborne A priklad? Zistit velkost temru a vyhodnotit ho

[bliky]

... zrejme si len nebol poriadne naučený a preto sa ti to zdalo ako hlúposti

napisal som jej presne to, co bolo v slidoch a vedel som jej to aj povedat to, co som jej napisal..., ide o to , ze sa pytala veci kolo toho typu preco a pod... a samozrejme akloze na prednaskach to mozno hovorila, no ale pamatam si ja, co hovorila dakde na 2-3 prednaske???

[pUf]

co len bude zajtra

[bliky]

co len bude zajtra

SKUSKA...

[bliky]

No, co jak dneska skuska??? Bola cca taka jak minule, ci nejaka zmena...?!

[pUf]

zaviedol sa subtyp S recordtypu znamky

[ondY.ke]

a to je???

[ondY.ke]

jak dopadol posledny termin??? v utorok mam skusku tak by som rad vediet ako to prebiehalo tento krat...

btw tahaky? nane?

[rolin21]

jak dopadol posledny termin??? v utorok mam skusku tak by som rad vediet ako to prebiehalo tento krat...

btw tahaky? nane?

ondy tahaky nane .... jedine oficialny co dostanes na skuske ... a prebiehalo to dobre ... 1 sice poslala domov, ale zvysok s prehladom porobil skusku

[ondY.ke]

a preco ho poslala cau parky??? a jak ze nesu? BLIKY ty si daco rozpraval o externej pamati tak ju daj zdielat!

[rolin21]

tak on vraj opisal nejake veci z toho oficialneho tahaku a ona mu povedala, ze chce pocut co vie a nie tie veci z tahaku a sa mi zda, ze povedal, ze nevie tak mu povedala nech pride o tyzden .... ale ak pojdes odpovedat, tak chod k mihalymu a skusku budes mat s prehladom bez zbytocnych doplnujucich otazok .... inak otazky sa tahaju z 2 obalok + 3. obalka su priklady ... a otazky su rozdelene podla prednasok ... 1. obalka ma otazky z prednasok 1 -6 a 2. obalka z prednasok 7 - 12

[pUf]

agree

[sohnog]

a preco ho poslala cau parky??? a jak ze nesu? BLIKY ty si daco rozpraval o externej pamati tak ju daj zdielat!

jj..tak ako pisal rolin21...prvu otazku som zacal a dokoncila uz so mnou ona...pri druhej som mal napisane len tie pravidla z oficialneho tahaku...to bolo nieco k "vynimkam"..k tym prednaskam som nedosiel este ani raz....tak som nevedel ani slovo..asi pytala sa ze ci nechcem prist este raz, a ze kolko mam skusok atd...a potom ze nechce davat zle znamky tak ze mam prist este raz...na priklad sa ani nepozrela....neviem co to bolo, ale tak neva...na druhy den som sa prihlasil na termin o tyzden a zjavne mi ten prvy skrtla, lebo zase mam pisany "riadny" termin...len skoda toho casu som mal v plane uz lyzovacku

[ondY.ke]

jeb na to na trave sa aj tak zle lyzuje

[ondY.ke]

kto sa este uci? nikto? :D:D dufam ze to prinesie uspech

[Hue]