Messages

asi myslis Jožku, tak o nej nebolo pochýb

ee ona isla az po mne

no neviem ja som isel druhy a ta co bola predo mnou tiez spravila

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  

uz mate zapisane v maise?...ja este nic

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...

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

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

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

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

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

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

Odovzdaval uz niekto zadanie pri ING. Bratruovi? V pohode? Co sa pytal?

vraj sa aj nieco pyta, ja som chcel odovzdat dnes rano, cakali sme tam na nho asi 45 minut a nedosiel...

no asi mu napisem mail kedy buduci tyzden budem moct odovzdat zadanie...typujem ze jeho mail je [email protected]

odovzdaval dnes niekto zadanie pri ing.Bratru-ovi? ako to prebiehalo?

jj tak nejak aj mne vyslo na pisomke ...malo sa ti zredukovat na 3 stavy urcite

jj ja viem ja len ze kolega myslel 4.5...tak aby neboli nedorozumenia

nie je to 4.5 ten priklad ? L(M) = {x ∈ {a, b}∗,Na(x) = Nb(x)}. ?


a neviem ci je to spravne....som si skusil tvoje riesenie pre aaabbb a ked prejdem celym retazcom (teda nacitam posledne b) cez instrukciu (q1, b, a, q1, lambda) tak som v stave q1 a nemam to ako ukoncit ked nacitam lambdu, teda som za koncom vstupneho retazca..to tam asi treba este osetrit s (q1, lambda, Z, qF, Z)

ee to by mal byt priklad  L(M) = {x ∈ {a, b}∗,Na(x) = 2Nb(x)}...funguje to aspon co som skusal

tie triedy proste musis zistit...ak mas napr (pocet 1)mod2 = 0, tak v jednej triede vypises priklady takych zobrazeni, kde po deleni dostanes zvysok 0 a v druhej triede vypises tie zobrazenia kde dostanes zvysok 1...tie triedy su potom aj nasledne stavy v konecnom automate 

cooooooooooooooooool :D:D:D:D:D:D:D:D:D:D

dakujeme za povzbudenie ....a keby nieco taktika bude taka: ...ak nebudem vediet zostrojit ZA alebo turingov stroj tak tam nahadzem co najviac stavov a instrukcii a prekombinujem to tak, aby sa v tom opravujuci zamotal

nam korecko vravel ze da vsetko od zaciatku semestra...ale ked sa to zmenilo tak ze hudak vymysli vsetky priklady a bude len z poslednych cvik, tak neviem neviem...cakal som ze body nazbieram na tych lahsich temach

jj su to programovatelne logicke obvody ....to iste mam aj ja

generator doplnk. kodu? kua, taky som este ani nevidel

8.cviko 2. priklad

aspon sa pobavime cez skuskove

ten vyvojak bude dany a podla toho mas spravit mikroprogram pre riadiacu cast a operacnu cast...ked si stiahnes tie cvika o ktorych sa tu hovori tak je to v tretom cviku prvy a druhy priklad

tento tyzden co bude je 10ty ..takze este nie