Messages

cas na pripravu je relevantny ten kto ide prvy resp. druhy ma tazko povedat kolko casu...ale urcite dost sobota nikoho nebude nutit odpovedat ist...ak nebudes mat niekto ta ochotne nahradi a ked mas ist nejaky 3. ci 4. tak mas cas aj opisat

noa? mozno este mala uprava wp(spravit_skusku,E51+) = dobra_nalada & stastie

no ako tu sa jedna o hudaka ze aby rozdaval E51+ tak k tomu treba dobru naladu a aj stastie

Ahoj....neviete ci existuje nejaka sablona ako ma vyzerat ta prezentacia??......kde sa dozviem co tam mam vsetko mat??.....Dakujem

http://kpi.fei.tuke.sk/node/51

zacni dnes, lebo zajtra budes najebany a tak ta to najebanie aspon cez noc prejde

presne

ja verim ze hudak bude mat E51+ naladu

co som si pozeral otazky z pred dvoch rokov tak to moze byt pomerne pestre

hej ale vtedy kazdy mal ine otazky a o to ide...ci nam vyberu 2 skupiny alebo kazdy bude mat nieco ine

sak ja viem ze mam od teba to iste ale patri sa podakovat za ochotu no nie? ved on to nespravil len pre mna ale tym som podakoval aj za ostatnych

diky maros:)

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.

a ake bolo presne zadanie?

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

z coho sa ucite ? .... na tuke.mafo.sk ohladom FSS nic nieje.....na koreckovej stranke som nasiel daco take ze doplnkove ucebne texty (83 stran), ...a ma tam aj ine pdf-ka s mnohym poctom stran ..... a teraz neviem z coho sa mam ucit ... z coho sa ucite vy

http://www.uloz.to/4946538/fss2007.rar

prednasky a cvika z roku 2007...skoro je to rovnake ako toho roku...ako obsahovo je to to iste...len nieco je tam naviac, kedze oni to mali este ako povinny predmet

to su tie okruhy...len otazky tam chybaju...ale s tymi okruhmi, ze boli aj dalsie to bolo v roku 2007/2008 ked bol este tento predmet povinny...a vtedy studenti dostavali kazdy zvlast otazky aj priklady...teraz netusim jak to bude na skuske

ak medzi otazkami nie je napr problem deadlocku, pokrytia, reverzibility atd tak sa ich nemam ucit?

tie otazky nie su kompletne...to su otazky len pre externistov...pre nas je toho nachystaneho viac...cize vlastne vsetko co bolo na prednaskach...

tak to je cudne no...ze slodicak tahal ja som ho na predtermine popytal nech mi vytiahne ale nexcel ze nemoze ale nakoniec som mal happy hand

no povedal by som to ze to bude subjektivne kedze kazdy si taha otazky sam ak mate lucky hand tak to je potom pohodicka

to je cely dokaz a potom by si mal vediet co je strukturalna indukcia a ako to funguje

opakujem otazku: "je to niekde vypracovane? - prednaska alebo hocikde"

a ja opakujem odpoved: to je cely dokaz ale sa ta moze spytat co je je dokaz strukturalnou indukciou

to je cely dokaz a potom by si mal vediet co je strukturalna indukcia a ako to funguje

dudas, genci, schrotter

Dudas bude cimr-camr ozraty uz predobedom, schrotter bude fajcit pri kazdom tretom studentovi a denci nieje az taky k...t ako vyzera.aspon na statniciach

no pri mojich statniciach genci tak vyzeral...lebo sa pytal na kktiny nepodstatne...hluposti ale aspon nerobil problemy

ja som sklamany

preco? vela si sa ucil a nebolo potrebne?

ja som z archivu minuleho roku take nico vytiahol:

Code [Select] Expand



tak tahala som tri veci, jeden dokaz (NS - OS, while + postupnost prikazov), co som rozpisala na dve strany, dalej priklad (definovat semantiku + syntax osmickovych cisel) a jednu teoreticku (posledna prednaska nejake bludy)

#########################################################################################################################################

Ale nie všetky otázky sú také v pohode. Aspoň pre mne sa to zdalo dosť hard. Moja písomka:
1)Príklad: Naturálna, operačná a denotačná sémantika pre rozšírenie S:=...l for c1 to c2 do S;

naturalna:
pre B[[b]] = tt

<S;s>->s` <c1:=c1+1, s`> -> s`` <for c1 to c2 do S, s``> -> s```
______________________
<for c1 to c2 do S,s> -> s```

b:= c1<=c2

pre B[[b]] = ff pises ze sa nevykona nic z cyklu

pre strutruralnu pises:
<for c1 to c2 do S, s> => <if B[[b]] then S;c1:=c1+1;for... else skip, s>

pre denotacnu pises:
<for c1 to C2 do S> = fix F
F g = cond(B[[b]], S ° c1:=c1+1 ° g, id)


2)Teória: Denotačná sémantika pre blok prikazov(to je toto medzi begin a end,neviem ci sa to vola blok prikazov).
3)Dôkaz: Dokáž že jednoduchý programovací jazyk je deterministický.

strukturalnou indukciou na pravidla NS

#########################################################################################################################################


Priklad: Cyklus s 3 iteraciami a z toho konstruovat odvodzovaci strom.

Dokaz: Dokazat semanticku ekvivalentnost S1 a S2.
   S1 = while b do S
   S2 = if b then (S; while b do S) else skip

Teoria: Semantika aritmetickych vyrazov a boolovskych vyrazov.

#########################################################################################################################################

Ako je vyjadrena denotacia cyklu? Co je to monotonna fcia? Spojita fcia? Funkcional? A co je to fixny bod?



mam taketo technicke otazky ...
1. to akoze treba vediet vsetky vzorce pri kazdej semantike ? ( na zapoctovke boli na tahaku a to iba z dvoch )
2. to sa taha jeden papier s ( teoretickou, dokaz, priklad ), alebo kazdy samostatne ? ( aku mam sancu vytiahnut 3 krat denotacnu )
3. z poslednych prednasok, - akcna semantika - tam treba presne slovosled vediet v anglicstine definovat postupnost vykonavania programu ? alebo ked napisem po svojom bude stacit ?
4. ti co sa ucite, nemate pocit ze vsetko je skoro stejne, az na par detailov ? ci to len mne pripada ?

PS : ked budem vediet iba uplne ze zbezne, co asi mozno pravdepodobne by tam malo byt, a na ustnej skuske jej to nejak tak vysvetlim, dostanem aspon "D" ?

1/ake vzorce? ved mas oficialny tahak na ktorom mas vsetky odvodzovacie pravidla...kazde jedno pravidlo kde je NS,OS alebo DS v zatvorkac a pri tom cislo plus este pravidla pre abstract machine a aj prekladove funkcie
2/tahaju sa po jednom papieri z kazdej kopky...cize zvlast teoria,priklad,dokaz...ak by si 3x vytiahol denotacnu tak si riadny "lucker" btw ku kazdej otazke je potrebne mat aspon nieco, resp. nico vediet, lebo to co si napisete je len priprava vasa k ustnej odpovedi
3/akcna nebola na oficialnom tahaku tak predpokladam ze nebude na to priklad jedine teoria

je to len obhajoba..spravis si prezentaciu a odpovies na otazky ktore ti polozi oponent vo svojom posudku

alebo ak budes mat v komisii sobotu tak ta bude dojebovat kym nebudes potit krv a bude ta chciet rozdrvit v zuboch

sobota ta tak nicil? az sa mi nexce verit

Kollar rules 4ever 

a aj forgac

otazky su casti prednasok...cize podkapitol by sa dalo povedat...cize ak v tom vycuce obsiahnes celu prednasku tak aj hej...lebo vacsinou mas zakladne definicie, pre syntax, semantiku a popripade dalsie definicie a potom su nejake pravidla a dokazy

to si este nedosiel na 8. asi