Messages

  V pohode.

Takze dnes sme boli 4, z toho jednemu Korecko hned opravil = A. A my traja sme museli cakat asi do 11:00, potom si nas Hudak pozyval  . Dusil nas tam snad 10 minut kazdeho. Z toho sme dvaja nespravili a jeden spravil. Otazky neboli tazke, aj som mal zapisane tri strany, teoria v podstate komplet, jeden priklad s chybami a jeden som nevedel. Zacal sa pytat na uplne ine veci (matematicke definicie, okolo vektorov veci a kadeco)... Skoda no, lebo lahsie to uz nebude.
Otazky cca:
1. uvod FM, sucasnost, priklady, motivacia
2. zivost, RP
3. nakreslit PS pre obedujucich filozofov, s tym ze tam moze dochadzat k deadlocku a neberu sa obe vidlicky naraz....
4. nejake vyratanie pre-podmienok

No a mozem sa to zase ucit  .

Hodte prosim tie vypracovane otazky na FTP.
Ak mas PayPal tak prispejem  .

Na kane FTP boli materialy nejake na FSS, ale uz to nejde, nema ich niekto?
Alebo akekolvek ine materialy...

tohto roku budu len keksy..a kokotiny..

Melisko?
Tiez si myslim, ze asi len nejaka teoria to bude. A ked je kapacita tych terminov 64 tak to nemoze byt nejaka ustna cast. Snad bude stacit si popozerat tie prednasky z FTP (dakujem tomu clovekovi, ktory to nafotil).

To su akoze uz vsetky terminy?

Inac, nevie niekto akou formou prebieha skuska? Test? Teoria na papier? Ustne? Ako to bolo minuly rok?
Zalistoval som v archivoch z minuleho roka a ku skuske sa tam velmi nepisalo, akurat ma zarazila otazka zo skusky typu "napiste syntaktický analyzátor so zotavením"...

Zajtra je cvicenie s Forgacom v PC1 o 16:50? (som zo stvrtkovej skupiny, ale chcel by som to skor odovzdat).

Ale cital som niekde, ze su nejake urovne utajenia pri BP/DP... Samozrejme, ze ked robis pre nejaku firmu nieco vramci takej prace tak nemozes vsetko uverejnit. Ale nechcem ist velmi do off-topicu s tym. Skusim to pohladat niekde.

Nevie mi niekto poradit niekoho dobreho u koho by som mohol robit diplomovku ak by to bolo zamerane na ASP.NET MVC (vacsi projekt, ale potrebujem vediet ake su mozne utajenia diplomovky, velka cast by nemohla byt volne pristupna). Neviem ci to uz neskoro neriesim, ale teraz sa mi naskytla taka moznost.

Tak co si pametam tak som mal scitacku alebo nasobicku. A potom syntezu RC.
Priklad bola ta schema, jedna skupina mealy, druha moore.

Predane

Predam uplne novy (v krabicke) Sony Ericsson S312, so zarukou (faktura prilozena). Dostal som k pausalu, ale netreba mi. Je blokovany na t-mobile.
Cena 50 Euro.

Ja som tak olutoval, ze som nemal tahaky, poznamky so sebou alebo aspon to odvodenie na bombe  (potom som si stiahol cez mobil to PDF s poznamkami, ale kym som tam cosi nasiel, tak to trvalo  ).
Ale k ostatnym otazkam som napisal toho cosi ku kazdemu, tak na 3-4 strany v pohode. Myslim, ze ked donesieme semestralku tak nebude robit problemy.

keby som si mohol daco ine vybrat, hned by som menil, bohuzial vdaka skvlemu maisu, mam vsetky predmety ine jak som chcel (diagnostika & periferne zariadenia) vlastne cely tento rocnik mam prakticky same nevyuzitelne predmety , cest porubanovi ze aspon on vyberal studentov na WT podla priemeru

Ja tiez - teoria typov, modelovanie a simulacia, logika pre informatikov, formalne specifikacie systemov  .

Neviem co tym presne mysli, ale pozeral som teraz cely ten naskenovany zosit a moj zosit (mam vsetko napisane) a nevidim tam o nic menej, skor v tom preskenovanom su niektore veci podrobnejsie. Ale to len moj nazor...

Neviete nieco k tomuto? (SS) Odvodenie základného algoritmu riešenia a Eulerovej metódy
Ten zakladny algoritmus je asi tych 5 krokov (inicializacia, generatory...blabla). A ta Eulerova metoda? Co tam chce? Ja viem len, ze to Eulerov == RK1  .

a nemohol by niekto tie prednasky oskenovat a podelit sa o ne?
ja som sice chodil na prednasky, no pisat sa mi nechcelo..

Na pistone FTP su nejake poznamky, ked som to tak preletel tak presne to iste co tohto roku.
ftp://pistone.dreamhost.com/FEI/4%20roc/VTI/MaS/MaS.pdf  (tuke/dpcdpc)

Ja som mal predmet Modelovanie a Simulacia v Ziline. Dost rozdiel, tam to bolo viac prakticke, ten clovek co to prednasal aj realne robil nejake simulacie pre firmy. Na cviceniach sme robili zadania a semestralky v Arene (taky soft na simulovanie, napr. obsluha v obchode, vyrobna linka... take viac prakticke ako teoreticky Matlab a CPN Tools). Co sa tyka teorie tak kus sa to zhoduje, ale vlastne to ze som ten predmet mal, mi nijako extra nepomohlo.

Preco su len dva terminy? Planuje viac? Vsetko sa mi kryje, tento semester ako keby sa vsetci dohodli s terminami na rovnake datumy  . Idem toho 20.1., den na to mam stavbu pocitacov.
Na prednaskach spominal nieco, ze by bol rad keby sme to spravili na prvykrat - tak neviem teraz ci to znamena, ze nebude mat az take naroky?
Neviem co sa ucit poriadne, aj ked som bol na kazdej prednaske.

No takze ludia co dnes neboli na termine si mozu bit hlavu o stenu  . Vobec sa neskusalo ustne, Korecko s Hudakom opravoval a potom povedali kto co dostal. Spravili pokial viem vsetci. Hudak sa niekde ponahlal prec.

Takze jedna skupina mala presne to iste co posledny termin - univerzalny TS, halting problem, dijkstra, priklad na counter machine a na ten sekvencny stroj.
Strazil nas iba jeden (nie Korecko, nejaky druhy) .

Nejake prognozy otazok na zajtra?

Mne este jeden predmet chyba a teraz to nejde vobec.
Do pekla, potrebujem sa ucit TI a nie tu hodinu refreshovat stranku. Idioti, jedno posrane prihlasovanie nevedia spravit. Vsak uz ked nic ine, tak mohli casovo rozdelit rocniky, ze nie je taky napor. Ale asi MAIS nieco take pokrocile nedokaze.

Okej, dalsia taka otazka:

dokazat ze jazyk  L = {a0ⁿ1ⁿ} U {0ⁿ1²ⁿ} je deterministicky bezkontextovy

Treba tu ratat s tym, ze moze prist prve slovo z prveho jazyka a druhe slovo za nim z druheho jazyka a rozpozna to? Alebo len, ze bud pride na zaciatku a a podla toho sa rozhodnut, ako to budeme rozpoznavat? Lebo v eminkinych je to spravene tak, ze ma aj pre pripad ze idu oba po sebe...

Mam otazku k zatvorkovym vyrazom, konkretne tu je z minuleho roku aj s pokecom:

ten zatvorkovy priklad bol na 4 riadky, myslim... je to aj v tej zbierke prikladov na ZI, co sme mali.... tam, kde su priklady na zasobnikove automaty...
nedeterministicky by to vyzeralo takto:
(q0,[,Z,q0,[Z)
(q0,[,[,q0,[[)
(q0,],[,q0,λ)
(q0,λ,Z,qf,Z)
no a prvy a posledny riadok hovoria, ze sa moze rozhodnut, ze ci bude akceptovat alebo nebude, no a v determinizme ide hlavne o to, ze stale ma jednoznacne urcene, co dalej..., takze aby to bolo deterministicke, je potrebne zmenit stav... to je cele, takze:
(q0,[,Z,q1,[Z)
(q1,[,[,q1,[[)
(q1,],[,q1,λ)
(q1,λ,Z,qf,Z)

To prve je preco nedeterministicke? Ved ziadne dve instrukcie nemaju rovnaky stav a necitaju rovnaky vstup - teda automat sa nikde nerozhoduje. To je podla mna deterministicke?

Tak ta druha bola podla mna ovela tazsia, aspon ze to uz asi neda na dalsom termine  .