Messages

U nas vravel ze ak je simulacia uspesna tak mame plny zapocet. Ak nie, tak za kazde nesplnene kriterium projektu (je ich 6) idu cca 3 body dole.

Oznam z Moodlu:
Server pada. Robi sa na tom. Bude tu oznam o obnove.

 

 V pondelok 18.10.2010 nebude prednáška z predmetu KaMS.
Zdroj-Moodle

[vytlačené ,,zvolené predmety štúdia v ak. roku 2010/2011" !!!]

Dám to tu keďže po minulé roky to nebolo treba.
V deň zápisu prineste so sebou pero, doklad o zaplatení zápisného
a vytlačené ,,zvolené predmety štúdia v ak. roku 2010/2011" !!!
V MAIS-e Predzapis a zapis/ zvolene predmety studia/Vsetky predmety/ Tlac

Su dve otazky, cas na pripravu neviem.

Mao - zapisal ti uz Hudak znamku do MAISu? Lebo nam este tie Fx stale nenahodil  , a to uz riadne dlhy cas a chcel by som sa pomaly prihlasit aj na ten dalsi termin.
Teraz neviem ci mam Hudakovi posielat email nech mi to zapise, alebo co (pouziva on vobec email? :-) ).

este mi nezapisal, takze mu radsej napis

Zadanie bolo, ze musi to byt nedeterministicke a nesmie zobrat dve vidlicky naraz. Teda bud vezme najprv pravu a potom lavu, alebo naopak
Tu je cast riesenia pre 1 filozofa http://i49.tinypic.com/mmy328.jpg

ti filozofi co ste mali mat ze po jednom beru vidlicku a moze dochadzat k deadlocku by mali vyzerat nejak takto:

http://img338.imageshack.us/img338/7171/filozofipojednomberulyz.jpg

Toto  nie je dobre, lebo naprv vezme pravu vidlicku, a potom lavu. Cize to nie je nedeterministicke.
Zajtra to nakreslim a hodim sem ako to ma byt.

Doplnim, ze priklady na  prepodmienky boli tie co boli na cviku, [PRE X>0 THEN y=y/xEND](y>1), [CHOICE SS:= SS U{xx} |||bb:=TRUE OR bb:=FALSE ](xx patri SS)
Teoria bola taka ako napisal Killian
Ja som odvzdal  prvy, Korecko mi hned opravil, 9.20 som uz mal vysledok->A 98

No tak na predtermine boli ako dozor Slodicak, Novitzka a Lalova. Skusali Slodicak s Novitzkou. Tahali sa tri otazky - priklad, teoreticka a jeden dokaz, vymenit sa neda. Ku kazdemu je potrebne mat aspon nieco. Nestaci mat dve na sto percent a tretiu vobec.
Ja som mal priklad odvodzovaci strom pre naturanulnu semantiku. Dokaz bol preukazat korektnost implementacia suctu a premennej pre aritmet.vyrazy a logickeho suctu a negacie. Teoria Denotacia cyklu a defincie monotonnej f-cie, spojitej, funkcional, fixny bod ...

zostrojis sekvencny stroj, ten ma na vstupe slova jazyka L1, a  na vystup bude na ich zaklade davat slova jazyka L2

algoritmy su asi na kazdej skuske, 4. otazka

2: neviem + metaalgebry

neviem = sekvencne zobrazenia 

Druha skupina mala sekvenvne zobrazenia a metalgebru, polynom zegalkina a ZA
Dozor bol attila

PC-Program counter
NL a NC registre kde sa ukladaju vstupne hodnoty a sluzia aj pri vypocte
SC - stav vypoctu, napr pretecenie a pod.
R1 posuv obsahu registra o 1 bit vpravo

(q0,[,Z,q0,[Z)
(q0,λ,Z,qf,Z)
Kvoli tomuto, lambda neznamena v tommto pripade, ze bol precitany prazdny vstup, ale to ze sa necital, teda automat sa moze rozhodnut ci bude citat vstup podla prvej instrukcie alebo nebude citat vstup a prejde do qf

Podla zakulisnych informacii druha skupina mala tieto otazky 
T1 Uzaverove operacie. Uzaverove operacie nad jazykom.
  Elementerne uzaverove operacie nad triedami jazykov

T2 Algebra: baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.

P1 Dokazte ze zobrazenie Fi je realizovatelne na nejakom KA
Fi = "a" ak N2(xi) mod 3 = 0
"n" inak.
Vstup je {0,1,2}* -> {a,n}*

P2 Zostrojte algoritmus Dijstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne
(tha alebo nieco v tom zmysle ak som neprepisal vsetko uplne presne)

to ze zacne bckom netreba osetrovat, to povodne pribinove riesenie OK
ak mate naprv vstup bc,  tak pri pohybe smerom vlavo sa dostane do konfiguracie $,Z,B a pre nu nie je definovany prechod, cize to neakceptuje,

je to sice starsia tema, ale ak este hladas, tak skus toto - http://www.bbbparts.cz/?p=productsMore&iProduct=506&sName=Sedlovka-BBB-BSP-20-SkyScraper
alebo si zozen redukciu z 27,2 na 29,2 sedlovku
EDIT: tu BBB sedlovku maju aj v JumpSporte http://www.jumpsport.sk/index.php?page=shop.product_details&flypage=shop.flypage&product_id=307&category_id=46&manufacturer_id=0&option=com_virtuemart&Itemid=281
sice nie ten priemer, ale skus tam skocit mozno by ti objednali

Zapoctovka sa pise az o tyzden, vraj aby vsetci pisali v jeden tyzden

nieco, co ti tie zaznamy  bude samo tahat z webov, ktore pouzijes ako zdroje dat pre tvoju databazu. Snad nebudes pre tie tisicky pisat inserty rucne

Urcite cez viacero tabuliek (cd shop)+nejake ciselniky, ved potom by to malo mnozstvo duplicitnych dat a aj praca s nimi by bola asi o hubu a tie selecty v jednej obrovskej tabulke by velmi rychle asi neboli. Neviem si vobec predstavit, ako to moze niekto chciet riesit cez 1 tabulku. 
A dufam ze aj ostatne skupiny to nebudu riesit len tak leda bolo, kedze ich databazy budu vyuzivane aj inymi skupinami a nebude v nich 5 zaznamov a pristupia k tomu aspon trochu seriozne.

Prvý týždeň cviká ani prednášky nebudú.
Zdroj http://kpi.fei.tuke.sk/node/37

uvolnil som jeden flek na SP stredu o 7.30, cize kto chce, moze skusit 

papier na rodinne pridavky tam nebude, to si treba doniest, tych 5 kusov je nieco ine