je zajtra prednaska???
zaujimava otazka, keby si davala pozor a nebavila sa ako obycajne, cim davas najako ako si nevazis vyklad, tak by si vedela :P
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
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
tak si sa bavila spankom, to je jedno.. neucta ako neucta! :P
a presne tak ako bliky hovori. tak je!
ja za to nemozem ze som sedela sama a nemal ma kto drzat hore :( vidis nikto so mnou nechce sediet ak: :j_laugh:
sadni si ku pedelovi :D
Jes cize po 12.00 nic ?? Fajne :bananadance:
nechce sa niekto dobrovolne odhlasit zo skusky z 13.januara???? bn
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...
Co sa ucite na skusku? Alebo ina otazka, co ma byt na skuske? :D
Quote from: Mar0sh on 10.01.2009, 05:06:38
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.
cize, v podstate si ich treba kuknut tak, ci tak... ap
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???
Ti sa neda s tymto porovnat. Ale ozaj, čo sa učite?
Ja si kukam teda najma prednasky, no a ak zostane cas tak aj cvika kuknem, ale naozaj je to dost krkolomne niektore temy :( shit.
Quote from: jaros51 on 11.01.2009, 23:48:08
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... :)
ja som sa naucil zatial prve dve prednasky a presiel som na cvicenia :D
hardcore tie prednasky... a polku prikladov z cvik neviem o co slo mihaliymu...?!
"DO :j_lipsrsealed: AJ S TYM PREDMETOM..." bu
ps: skorej vyhram tych cca 300.000.000,-SKK co je v jackpot-e, jak...
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
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
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
u mna je najvacsie pozitivum dna, ze som si kupil novu mys a RAM-ku, okrem toho A-cka...
no napiste ako to prebiehalo, ake boli otazky a pod. :)
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 :)
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
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...
Priklad: (λx : Nat × Nat.x.2){pred 4, pred 5}
Teoria:
I. Jazky NBL, vyhodnotenie termov
II. Sucin typov, zaznam (record)
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:
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...
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.
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 :)
Quote from: Frankie on 14.01.2009, 22:23:26
... 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???
co len bude zajtra :'(
Quote from: pUf on 19.01.2009, 22:23:44
co len bude zajtra :'(
SKUSKA... :evica:
No, co jak dneska skuska??? Bola cca taka jak minule, ci nejaka zmena...?!
zaviedol sa subtyp S recordtypu znamky
a to je???
jak dopadol posledny termin??? v utorok mam skusku tak by som rad vediet ako to prebiehalo tento krat...
btw tahaky? nane?
Quote from: 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?
ondy tahaky nane .... jedine oficialny co dostanes na skuske ... a prebiehalo to dobre ... 1 sice poslala domov, ale zvysok s prehladom porobil skusku
a preco ho poslala cau parky??? a jak ze nesu? BLIKY ty si daco rozpraval o externej pamati tak ju daj zdielat!
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
agree
Quote from: 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!
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 :) :) :)
jeb na to na trave sa aj tak zle lyzuje ;)
kto sa este uci? :D nikto? :D:D:D dufam ze to prinesie uspech ;)
:)