TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach

FEI archív 2008/2009 => 4. ro?ník => Topic started by: petrushka on 09.12.2008, 03:04:43

Title: teoria typov
Post by: petrushka on 09.12.2008, 03:04:43
je zajtra prednaska???
Title: Re: teoria typov
Post by: pUf on 09.12.2008, 03:13:12
zaujimava otazka, keby si davala pozor a nebavila sa ako obycajne, cim davas najako ako si nevazis vyklad, tak by si vedela :P
Title: Re: teoria typov
Post by: petrushka on 09.12.2008, 03:31:28
vies dobre ze som sa nebavila ale podriemkavala pretoze si mi povedal: NESPI :)

a teraz mi mozes dat aj normalnu odpoved. :puf: ja som to aj vedela len ja dost take veci zabudam lol
Title: Re: teoria typov
Post by: bliky on 09.12.2008, 03:33:23
ano zajtra prednaska je... kedze na minulej povedala ze je to nase predposledne stretnutie... a kedze doposial boli len 3 prezencky a na prvej prednaske povedala ze budu 4 tak mi z toho nevychadza nic ine ako to ze sa zajtra ozaj oplati ist... ked pre nic ine ta aspon pre pdopis... :D
Title: Re: teoria typov
Post by: pUf on 09.12.2008, 04:29:31
tak si sa bavila spankom, to je jedno.. neucta ako neucta! :P
a presne tak ako bliky hovori. tak je!
Title: Re: teoria typov
Post by: petrushka on 09.12.2008, 04:31:20
ja za to nemozem ze som sedela sama a nemal ma kto drzat hore :( vidis nikto so mnou nechce sediet  ak:  :j_laugh:
Title: Re: teoria typov
Post by: pUf on 09.12.2008, 05:20:28
sadni si ku pedelovi :D
Title: Re: teoria typov
Post by: jaros51 on 09.12.2008, 06:16:51
Jes cize po 12.00 nic ?? Fajne  :bananadance:
Title: Re: teoria typov
Post by: carin on 06.01.2009, 16:28:01
nechce sa niekto dobrovolne odhlasit zo skusky z 13.januara????  bn
Title: Re: teoria typov
Post by: bliky on 06.01.2009, 17:20:16
pochybujem, ale myslim, ze ked napises novitzkej maila abo pojdes za nou osobne s ty, ze si sa tam uz nezmestila a ze prave tento termin ti vyhovuje, tak mysli, ze ti problemy nebude robit... ona nevyzera nato, zeby cela niekomu robit problemy...
Title: Re: teoria typov
Post by: Mar0sh on 10.01.2009, 05:06:38
Co sa ucite na skusku? Alebo ina otazka, co ma byt na skuske? :D
Title: Re: teoria typov
Post by: rolin21 on 10.01.2009, 05:39:32
Co sa ucite na skusku? Alebo ina otazka, co ma byt na skuske? :D

ked si dobre pamatam, tak na 1. prednaske spominala, ze budu 2 teoreticke otazky + 1 priklad, ale nie som si isty .... a ucit sa jedine budem teoriu z prednasok + priklady co boli na cviku ..... tie jednotlive pravidla mame dostat na skuske ako tahak, pricom k jednotlivym pravidlam nebude uvedene nic, ze o ake pravidlo a pod.
Title: Re: teoria typov
Post by: bliky on 10.01.2009, 19:53:41
cize, v podstate si ich treba kuknut tak, ci tak... ap
Title: Re: teoria typov
Post by: bliky on 11.01.2009, 22:49:31
pre pana krala, to secko co je v tych slidoch treba na skuku...?! sak to jak TI... samy vzorec same pismenko, veta, dokaz a podobne, namam paru o com je rec...

CO SA VLASTNE TREBA UCITNA TU SKUSKU???
Title: Re: teoria typov
Post by: Hue on 11.01.2009, 22:51:51
Ti sa neda s tymto porovnat. Ale ozaj, čo sa učite?
Title: Re: teoria typov
Post by: jaros51 on 11.01.2009, 23:48:08
Ja si kukam teda najma prednasky, no a ak zostane cas tak aj cvika kuknem, ale naozaj je to dost krkolomne niektore temy  :( shit.
Title: Re: teoria typov
Post by: bliky on 12.01.2009, 00:21:34
niektore temy
???
chapem tak do 3 prednasky, potom sa straciam... a to som len na 6 este... od 7 tam je teorie a teorie... a tie vzorce... do ****

dufam, ze to zoberie minimalne tak "sportovo" jak genci, ked je to tiez volitelny predmet... :)
Title: Re: teoria typov
Post by: Mar0sh on 12.01.2009, 01:20:10
ja som sa naucil zatial prve dve prednasky a presiel som na cvicenia :D
Title: Re: teoria typov
Post by: bliky on 12.01.2009, 02:56:13
hardcore tie prednasky... a polku prikladov z cvik neviem o co slo mihaliymu...?!
Title: Re: teoria typov
Post by: bliky on 13.01.2009, 01:31:06
"DO :j_lipsrsealed: AJ S TYM PREDMETOM..."  bu

ps: skorej vyhram tych cca 300.000.000,-SKK co je v jackpot-e, jak...
Title: Re: teoria typov
Post by: Mar0sh on 13.01.2009, 06:58:20
uvidime, ako bude na tej skuske...neviem, co od nej mam cakat...este aj mys sa mi pokazila pri uceni...fungovat na tabulatore je nechutne, radsej s tym prestanem a idem sa vyspat :D
Title: Re: teoria typov
Post by: Ing. nemtom on 13.01.2009, 16:34:58
pamatam jak na zaciatku semestra vacsina ludi co mala tento predmet hovorila ze to je najeasy predmet, ze kredity zadarmo, teraz sa mi nezda :D
Title: Re: teoria typov
Post by: palo199 on 13.01.2009, 17:47:11
neboj po skuske opet nadobudnes ten pocit, Novicka chce davat dobre znamky ... viď: dnes bolo na skuske 12 ludi ked som dobre pocital,urobili vsetci, najhorsie pimenko bolo B aj to len jedno(teda co ja viem) ... takze netreba sa tak bat, Novitzka nie je Hudak ... a skusal aj Danko ... GL everybody
Title: Re: teoria typov
Post by: Mar0sh on 13.01.2009, 18:06:02
u mna je najvacsie pozitivum dna, ze som si kupil novu mys a RAM-ku, okrem toho A-cka...
Title: Re: teoria typov
Post by: petrushka on 13.01.2009, 18:30:42
no napiste ako to prebiehalo, ake boli otazky a pod. :)
Title: Re: teoria typov
Post by: Frankie on 13.01.2009, 19:29:35
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  :)
Title: Re: teoria typov
Post by: Hue on 13.01.2009, 19:31:03
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
Title: Re: teoria typov
Post by: bliky on 13.01.2009, 23:02:50
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...
Title: Re: teoria typov
Post by: kubik86 on 14.01.2009, 02:42:19
Priklad: (λx : Nat × Nat.x.2){pred 4, pred 5}

Teoria:
I. Jazky NBL, vyhodnotenie termov

II. Sucin typov, zaznam (record)
Title: Re: teoria typov
Post by: jaros51 on 14.01.2009, 03:39:23
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
 bv :thumbsup:
Title: Re: teoria typov
Post by: bliky on 14.01.2009, 05:25:39
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...
Title: Re: teoria typov
Post by: Frankie on 14.01.2009, 22:23:26
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.
Title: Re: teoria typov
Post by: Mar0sh on 14.01.2009, 23:25:26
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 :)
Title: Re: teoria typov
Post by: bliky on 15.01.2009, 15:38:48
... 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???
Title: Re: teoria typov
Post by: pUf on 19.01.2009, 22:23:44
co len bude zajtra :'(
Title: Re: teoria typov
Post by: bliky on 19.01.2009, 23:53:56
co len bude zajtra :'(

SKUSKA... :evica:
Title: Re: teoria typov
Post by: bliky on 20.01.2009, 14:04:56
No, co jak dneska skuska??? Bola cca taka jak minule, ci nejaka zmena...?!
Title: Re: teoria typov
Post by: pUf on 20.01.2009, 17:42:42
zaviedol sa subtyp S recordtypu znamky
Title: Re: teoria typov
Post by: ondY.ke on 25.01.2009, 21:51:18
a to je???
Title: Re: teoria typov
Post by: ondY.ke on 25.01.2009, 21:51:41
jak dopadol posledny termin??? v utorok mam skusku tak by som rad vediet ako to prebiehalo tento krat...

btw tahaky? nane?
Title: Re: teoria typov
Post by: rolin21 on 25.01.2009, 22:21:51
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
Title: Re: teoria typov
Post by: ondY.ke on 25.01.2009, 22:44:32
a preco ho poslala cau parky??? a jak ze nesu? BLIKY ty si daco rozpraval o externej pamati tak ju daj zdielat!
Title: Re: teoria typov
Post by: rolin21 on 25.01.2009, 22:50:48
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 :D .... 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
Title: Re: teoria typov
Post by: pUf on 26.01.2009, 01:44:29
agree
Title: Re: teoria typov
Post by: sohnog on 26.01.2009, 01:56:17
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 :) :) :)
Title: Re: teoria typov
Post by: ondY.ke on 26.01.2009, 18:54:27
jeb na to na trave sa aj tak zle lyzuje ;)
Title: Re: teoria typov
Post by: ondY.ke on 27.01.2009, 10:20:17
kto sa este uci? :D nikto? :D:D:D dufam ze to prinesie uspech ;)
Title: Re: teoria typov
Post by: Hue on 02.02.2009, 22:09:05
:)