TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2009/2010 => 4. ro?ník => Topic started by: TradeMark on 20.10.2009, 17:22:31
-
Neviete niekto heslo do TT na moodle? Dik
-
na moodli predmet TT neni...jedine na hornade a tam je login: tt a pass: prednaskY
-
Neviete niekto heslo do TT na moodle? Dik
ta to tak, ked na prednasky nechodis :D bodaj by si vedel
-
Neviete niekto heslo do TT na moodle? Dik
ta to tak, ked na prednasky nechodis :D bodaj by si vedel
Smrdis
-
decka z tohto predmetu sa z coho pripravujete na predtermin?
stacia vam prednasky z hornadu?
-
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 :)
-
ved prave..
netusim akeho charakteru budu otazky, nie to este odpovede na ne..
-
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.
-
dik :)
-
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.
-
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 :D....aspon tak to bolo minuly rok
-
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}
-
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
-
je cviko este z TT tento tyzden?
-
jj, vraj bude tesne pred skuskou cviko.. bohuzial :(
ale mozno nam aspon ukaze nejake priklady, ktore potom mozme na skuske cakat, uvidime..
-
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.
-
zapocet ma kazdy, otazne je kolko bodov.. a co sa tyka ucasti, jasne, ze tri su povolene..
-
btw ako idetete zajtra na skusku obleceni? ..sako kosela a tak? :D
-
ja urcite nie, nech sa na mna nehneva, nemam chut teraz vyberat oblek..
-
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? :D...typoval by som ze poradie prihlasenia..ale naco by nam bola taka informacia :D
-
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 :D
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
-
teoreticke otazky ..variacie+ opcie a podtyp podtypova relacia...to sme nemali nie?...alebo som len slepy? :)
-
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?
-
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...
-
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 :/
-
ach jaj.. :/
to co boli za otazky.. nemal som ani sajna, co pisat..
priklad som si samozrejme vytiahol presne taky, aky som nechcel..
dufam, ze ostatni mali viac stastia..
prisiel som, videl som, odisiel som..
-
takze prave som prisiel zo skusky a moje otazky boli:
pr: pomocov Churcovho numeralu c0 a funkcie succ odvodit postupne az po succ c2
teoria: netypovany jazyk NBL a netypovane aritmeticke operacie
typovanie referencii a typova bezpecnost
celkom stastnu ruku som mal :)
priklad a prva teoreticka v pohode...pri tom typovani referencii som len uviedol nejake veci o referenciach co ma napadli ale typovanie som si uz velmi nevedel...ale novitzka ma trochu naviedla, trochu pomohla trochu sme pokecali a nakoniec A :banana_guitar:
-
a dalsi ako?
-
no neviem ja som isel druhy a ta co bola predo mnou tiez spravila
-
asi myslis Jožku, tak o nej nebolo pochýb :)
-
asi myslis Jožku, tak o nej nebolo pochýb :)
ee ona isla az po mne :)
-
jaj, tak potom Emka Demeterová
-
Takze mam po skuske a som rad, ze to mam za sebou bp
O1:Netypovany lambda kalkul, definicia, vyhodnotenie
O2:Konstrukcia let, definicia, vyuzitie
Pr.Dokaz, ze |consts(t)|<=size(t).
Skusal ma Mihaly, priklad som celkom mal a aj on bol spokojny. Sem tam nejaka otazka na doplnenie ale ok. Konstrukcia let som si len par veci pamatal, nieco som si aj zle pamatal, no naviedol ma na spravny smer a tak som to nejak celkom ok dopovedal potom. A Lambda kalkul som si pomylil s NBL a vsetko o NBL som pisal.. A potom mi povedal ze syntax je ta ista len nieco chyba v lambda kalkule. Uplne mi vypadlo, no potom som tam dal, ze je tam abstakcia a este ze tam ma byt tt. A este sa spytal, ze do kedy redukujeme term. Tiez som nevedel.. Okno.. No pomohol mi a bola to proste hodnota. A tak sumarum ze priklad bol dobre, konstrukcia let tiez a ze na kalkul som nakoniec prisiel, tak ci staci Bcko. a ja ze samorejme. Takze B(82). Drzim prsty!!!
A este co som si vsimol otazky od vedla:
Pr. urobit typovaci strom a konstany z termu...
Otazka: Detypovanie(erase), definicia a asi vyuzitie
-
mihaly je typek :D k nemu sa dostat a je vymalovane :)
-
inac ludia co vcetko je na tom oficialnom tahaku?
-
Zatial som jediny stale, co ide 28.1? :) To bude sranda, ked pridem sam na skusku. Zial inac mi to nevychadza, zda sa akoby sa vsetci vyucujuci dohodli tak aby sa prekryvali terminy skusiek... A pokial viem, tak je to posledny termin zaroven - tak snad nebude problem...
-
inac ludia co vcetko je na tom oficialnom tahaku?
v podstate vsetko.. :D vela pravidiel, asi 5 stran to malo, ked si dobre pamätam
hacik bol v tom, ze nebolo napisane, coho sa tykali, to musis vediet pouzit sam..
-
Zatial som jediny stale, co ide 28.1? :) To bude sranda, ked pridem sam na skusku. Zial inac mi to nevychadza, zda sa akoby sa vsetci vyucujuci dohodli tak aby sa prekryvali terminy skusiek... A pokial viem, tak je to posledny termin zaroven - tak snad nebude problem...
neviem, ci sa dohodli, ale je to riadna blbost, ze to tak dali..
no problemy nerobi prof. Novitzka nerobi, aspon pokial viem.. len chce, aby sme to vsetko vedeli.. a malo toho teda nieje.. :(
-
inac ludia co vcetko je na tom oficialnom tahaku?
v podstate vsetko.. :D vela pravidiel, asi 5 stran to malo, ked si dobre pamätam
hacik bol v tom, ze nebolo napisane, coho sa tykali, to musis vediet pouzit sam..
cize tam boli vsetky syntaxe, vyhodnocovacie pravidla a typovacie pravidla? a mali aspon svoje pomenovania? a este islo to poporadi jak to bolo v prednaskach?
-
tym si nie som isty.. asi som to tu mal napisat po predtermine.. fakt si nepamätam
-
okey vpohode :D mozno este niekto napise :)
-
ked si dobre pamatam tak tam boli vsetky pravidla (odvodzovacie typovacie a neviem este ake :) ) ..pravidla isli postupne tak ako boli uvedene v prednaskach..a v zatvorke bol uvedeny nazov pravidla...ale syntax tam asi nebola
-
a boli tam aj take veci ako napr fls, tru, and a tak? lebo to by bol asi dost problem naucit sa naspamat a nepopliest to...
-
jj toto myslim ze bolo aj churchove numeraly a tak
-
no to bude na tahaku...to su typovacie a vyhodnocovacie pravidla...len este neviem ci aj syntaxi boli na tahaku :)
-
Stvrta prednaska, tie srandovne vety treba vediet?
-
ja som sa ich neucil...jedine co som sa naucil tie vlastnosti a zhruba aby som vedel povedat co znamenaju :)
-
jaj decka, tak uz to mam aj ja za sebou.. stastne, nestastne :/
som si nemyslel, aku drzost v sebe mame, kolko roznych sposobov si najdeme na opisanie par viet..
a pritom to vobec nebolo potrebne..
ked mi zapisovala znamku do indexu, tak som jej povedal, ze asi az prehnane ohodnotila moje vedomosti a jej odpoved bola, ze o tie vobec neslo.. chcela len, aby sme to pochopili.. a ja som aj - ked som sedel pred nou.. neskoro :/
-
ja som dopadle vpohode hoci kus na picu :D dojebal som tu najlahsiu vec a to zistovanie konstant v terme :)) cize "len" 89B ale inac spoko :)
-
B 87, inac vsimol si niekto totu spionku vpredu co tak nenapadne opisovala :D. V kazdom pripade opisat sa da v pohode ale bude vam to prd platne lebo pisomna cast je iba priprava pre vas, samotna skuska je ustna.
Mal som inac referencie a detypovanie.
-
no na nic jak na nic :) lepsie je si to napisat a osviezit pamat...ale ide hlavne o to ci tomu rozumies a to sa mi pacilo :) a ja som mal otazky:
priklad klasika nejaky succ(v nom if term) a zistit ci je typovo spravny a zistit konstanty termu
I.otazka - vlastnosti vyhodnotenia a substitucie jednoducho typovaneho lambda kalkulu
II.otazka - pripisanie a jeho vlastnosti
-
tak napisem aj ja:
priklad churchove cisla: sucs c2
a teoria: jazyk NBL a varianty..
no hej, osviezit pamät, ale az tak? to bolo podla mna az prehnane..
-
Teoria:
Zoradenie a jeho formalizacia
Enumeracne typy
Priklad - daky if term, tusim if x then false else x, kde x:Bool - odvodit typovu spravnost a potom vyhodnotit dosadenim konstanty true
Bol som u tetusky, vedel som prakticky vsetko, len raz som sa kus zasekol pri tych enumeracnych typoch - vdaka Bohu a tete Novickej A 98 8)
-
Funkcie na termoch, co su v prvej prednaske, budu na tahaku?
-
na tahaku su vsetky vyhodnocovacie aj typovacie pravidla...syntaxe NIE :) a funkcie na termoch som tam nevidel ale som ich ani nehladal, ale nepredpokladam zeby tam boli, ved tie funkcie su primitivne :)
-
na tahaku su vsetky vyhodnocovacie aj typovacie pravidla...syntaxe NIE :) a funkcie na termoch som tam nevidel ale som ich ani nehladal, ale nepredpokladam zeby tam boli, ved tie funkcie su primitivne :)
dik...nevim co stresujem. Ked tak pozeram odozvy zo skusky, klidek pohodka :)
-
jj, pohoda.. :) ved su ine skusky, na ktore treba stresovat
-
jj, pohoda.. :) ved su ine skusky, na ktore treba stresovat
este ze si mi to pripomenul :(
-
boli sa na skuske aj priklady typu: Strukturalna Indukcia, Pattern Matching, priklady v Ocaml ... ? ? ?
-
boli sa na skuske aj priklady typu: Strukturalna Indukcia, Pattern Matching, priklady v Ocaml ... ? ? ?
nie nie nevidel som zeby niekto take mal...sa mi zda ze len 2-4 cviko priklady...ked ne len 2-3 a potom este vyhodnetenie termu pri sucinovom type
-
ja idem 27 a sme tam dvaja :D, tak len tu pekne napiste co ste mali :bannana_guitar: :ropebanana:
-
Len zopar otazok: Referencne typy, Curry-Howardova korespondencia, rozdiely medzi Curryho a Churchovym typovanim l-kalkulom
priklad v pohode, vyhodnotit term, zistit jeho velkost, pripadne vyhodnotit term ktory bol sucinoveho typu, bol aj ten priklad na sucinovy typ Muz, Zena
-
Ja som mal
z I.skupiny- jednoducho typovany λ-kalkul,funkcny typ
z II. skupiny- zoznamy
Priklad- f:Bool→Bool├ λx:Bool.f (if x then false else x): Bool→Bool
a) odvodit typovu spravnost
b) vyhodnotit dosadenim hodnoty true
-
..
bol aj ten priklad na sucinovy typ Muz, Zena
to co? :emot-LMAO: