Messages

nejdu...minuly rok sa to riesilo az niekedy v septembri

teraz je na fei stranke nieco take:
- predmety z rektorátnych katedier (KSV, KJ, KTV) budú prístupné študentom na podávanie požiadaviek pravdepodobne až 22.6.2010
tak mozno neskor

a ked uz som tu...neviete niekto nieco o samuelisovom predmete kvalita a manazment?

Sice som chodil na cvika (s Lalovou), ale v zosite mam nejaky chaos...

to je stabilna pravda?

nie su to Smizany?

a aby som nebol OT tak ma najebalo ze auto si poriadne zaplavalo

ja som schytal uplne z 1. prednasky a 1.cvika...neukamenujte ma
T: Struktura logickeho systemu (je to na jednom slide)
P: Dokazte ze dana formula je/nie je tautologia (stacilo tabulkovou metodou kedze tam boly len 3 atomy) :D

inac akym stylom sa skusa kedze skuska je v rovnakom case a na rovnakom mieste ako spj? novitzka skusa obidva predmety, ci...

nato ze minuly rok bola skuska z tohto predmetu totozna s nasim ppj su to teraz brutalne kktiny

otazky su asi zo vsetkych prednasok...ja som mal akcnu semantiku

jj 20.6. v neobvyklom case

vdaka...lebo uz som sa normalne zlakol kde je mojich 40b

co sa dialo na cvikach v 13tyzdni? aky mate zapocet v maise?

hej dal som to nakoniec...dokaz som vedel prave kvoli tomu ze bol podobny jak dokaz pre aritmeticke vyrazy...

ja som mal dokazat korektnost implementacie pre konjukciu boolovskych vyrazov, vztah mensi a rovny pre aritmeticke vyrazy a pre konstantu true...a boolovske vyrazy v prednaske nie su dokazane len je tam spomenute ze sa dokaz vykonava podobne jak pre artimeticke

njn...z coho sa vlastne ucit na skusku resp co ma byt na skuske?

prednaska bola klasicka (ibaze teraz bolo nejak viac ludi ) a nebola ani skratena...spomenul, ze si treba davat pozor na frontface a backface pri modelovani, ze 3 zadanie treba odovzdat vo video formate a ze vsetky zadania treba napalit na cd
povedal aj ze terminy budu do piatku vypisane a ze budu 2 otazky na skuske z tych 33 okruhov co su na hornade

mne to vygeneruje grammar.ebnf a vyzera ze je v poriadku ale takisto cervene more a exception hned na prvej vlastnosti

...ale ja mam zas taky problem ze ked robim 9. cviko a teda hladam tam pre entity referencie ziadne tam nikde niesu aj ked to mam zadefinovane v tom "model.el". Pozeral som cele 8. cviko viackrat a nezda sa mi zeby som nieco preskocil. Dal som si vyhladat usage pre metodu setFrom v triede Reference a niesu ziadne v celom projekte, treba tam este nieco doplnovat ci mi nieco unika?

SOLVED

mozem sa spytat jak si to vyriesil lebo asi mam ten isty problem

Moze byt to -e tak ze:

-e = e - (2 x e)?

Teda vysledok bude E[[e]] (-) N[[2]] (x) E[[e]]? Ci to ratam uplne inu vec?

Este jedna vec: FV(e1*e2) = FV(e1) U FV(e2) to staci ci sa s tym este cosi robi?
Dik

ja som dal tak:

E[[-e]] = 0 ak E[[e]] = 0
         = 0 - E[[e]] inak

daj mu!

nuz nechapem takych ludi... ked uz raz zacnem niekde chodit tak to aj dotiahnem do konca... rok, dva roky v piči... nuž ked maju vela penazi tak mozu aj kazdy rok menit skolu

vidis, ty si mozno povies ze "dva roky v pici" ale to je len vec pohladu, podla mna neni lepsi zivot jak studentsky, ked si nejako zarabas si king, casu po chuja, odvody neplatis, v podstate si financne sebestacny, ked si to porovnas s 8 hodinovou pracovnou dobou normalnou tak to je jasna volba, preco by som mal o dva roky skorej ist robit ked mozem proste si uzivat...

uz som sem dlho nepisal ale pod toto sa podpisem

http://www.youtube.com/watch?v=I5ALIL7T764

dobra otazka...jednoducho neprisli

hmm to uz su vsetci z dneska ozraty ze este nikto nedal report?
jedna skupina pre vsetkych, bolo nas na skuske 16!!! z prihlasenych 25

1. Metody konstrukcie TS: odpamatavanie do stavov - princip a priklad, m-stopove TS - princip a priklad
2. Dijkstrova algebra. Kriterium funkcionalnej uplnosti v Dijsktrovej algebre.

I. Urcit ci je sekvencne zobr. Fi: {0,1}* -> {o,1}* realizovatelne KSA yi = 1 ak N1(xi) = N0(xi), inak 0
II. Spravit polynom Zegalkina (uz si napamatam presne zadanie, snad dakto doplni)

Inac dnes bola vysoka uspesnost...predomnou vsetci (6 ci 7) spravili. Ujo mal dobru naladu a vyzeralo to ze chce dat prejst kazdemu.

tie pocitadla su tu a to druhe by som aj rad vedel

ja mu urcite vsetko nepoviem takze mu uz ostava iba zistit co neviem aby ma mohol vyrazit

no fakt...dik

[( TI-kniha.pdf )]

1. Pokročilé partie o regulárnych jazykoch a konečných automatoch ( TI-kniha.pdf )
2. Pokročilé partie o bezkontextových jazykoch , gramatikách a zásobníkových automatoch ( TI-kniha.pdf )
3. Turingove stroje a ich vlastnosti ( SHudak_TIuvod.pdf )
4. Modifikácie Turingových strojov  ( SHudak_TIuvod.pdf )
5. Turingove stroje a ich vlastnosti ( SHudak_TIuvod.pdf )
6. Uzáverové operácie nad jazykmi ( Hopcroft, Ullman - Formalne jazyky a automaty.pdf )
7. Algoritmické problémy jazykov, gramatík a automatov ( Hopcroft, Ullman - Formalne jazyky a automaty.pdf )
8. Algebry algoritmov ( SH_algAloritmov_final.pdf )
9. Problém funkcionálnej úplnosti a algebry algoritmov ( SH_algAloritmov_final.pdf )
10. Konštrukcia a klasifikácia algoritmov a stratégií spracovania symbolických objektov ( SH_algAloritmov_final.pdf )

to ste sa z toho ucili? ja akurat zacinam (ved najvyssi cas ne) a hned pri prvom okruhu neviem polovicu veci v TI-kniha.pdf najst...napr. vlastnosť monotonnosti sqz, Relácia nerozlíšiteľnosti sqz a u-pridružených zobrazení atdatd