Zhrnutie príspevkov z minulého roka
meno/heslo na hornad spj/Semantika
----------------------------------------------------------------------------------------------------
04.05.2010, 23:13:49 neviem ci viete ale prednasky boli dost inspirovane touto knizkou http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html, (http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html,) (si pamatam ze som bol dost debil z denotacnej semantiky a tam je to pekne vysvetlene)
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
09.04.2010, 12:28:05 NEJDE naskenovany priklad zo 7.tyzdna : http://stargate.cnl.tuke.sk/~tanka/SPJ/ (http://stargate.cnl.tuke.sk/~tanka/SPJ/)
11.04.2010, 14:09:11 ako tak pozeram otazky z minulych rokov, pisomka bude pomerne jednoducha
11.04.2010, 15:28:09 na poslednej prednaske to bolo niekolko krat zopakovane ze ani staticka ani dynamicka semantika nebude (cize ziadne bloky, lokalne a globalne premenne...)
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
co bude na zapocovke
----------------------------------------------------------------------------------------------------
13.04.2010, 09:29:35
slodicak vravel ze bude presne toto:
1.rosirenie semantiky algebraickych vyrazov
2.rozsirenie semantiky boolovskych vyrazov
3.semantika cisel
4.vyhodnotit nejaky vyraz (algebraicky, bolovsky) ("aj" vyhodnotenie vyrazu, aj nejake volne premenne, aj neviem co este)
5.program - naturalna semantika
6.program - operacna semantika
7.program - abstraktny strom
nic viac, nic menej
13.04.2010, 13:44:26 pod algrbraickym/boolovskym vyrazom sa mysli napr: B[[ (x<x+1) /\ (x=x) ]] , my sme to mali na 3. cviku.
13.04.2010, 10:57:26
nam diktoval mihalyi toto:
1 rozsirenie syntaxe aritmetickych vyrazov
2 rozsirenie syntaxe boolovskych vyrazov
3 semantika binarneho cisla
4 semantika vyrazov
5 naturalna semantika
6 strukturalna operacna semantika
7 derivacne stromy abstraktnej syntaxe
vraj to bude tak na 30-45 minut
na A4 bude nejaky ten oficialny tahak pre kazdeho..
13.04.2010, 13:44:26 bodove ohodnotenie: 3, 3, 2, 2, 4, 4, 2
----------------------------------------------------------------------------------------------------
13.04.2010, 13:37:59 pytal som sa ci bude ten strom z prveho cvicenia a ze nebude
13.04.2010, 14:31:01
1.rosirenie semantiky algebraickych vyrazov
Rozsirte jednoduchy programovaci jazyk o exponent e1e2 (riesenie bolo na prednaske)
2.rozsirenie semantiky boolovskych vyrazov
Rozsirte jednoduchy programovaci jazyk o operator implikácie (e1->e2) (taktiez bolo na prednaske)
13.04.2010, 15:53:30
dalsie rozsirenia syntaxe
minuleho roku bola napriklad absolutna hodnota, dalej pri boolovskych vyrazoch mozu byt lubovolne operacie(or,xor,nand,ekvivalencia atd...)
z boolovskych... pre jednu premennu su styri funkcie, pre dve je ich dokopy 16, vsetky sa robia prakticky rovnako
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
Tu som teraz vypocital tych 7 typov prikladov
----------------------------------------------------------------------------------------------------
15.04.2010, 10:52:13 Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle . http://denature.netkosice.sk/sk/spj.jpg (http://denature.netkosice.sk/sk/spj.jpg)
15.04.2010, 11:32:57 tam v druhom priklade by asi mal byt vsade znak B(bool) namiesto E(epsilonu) a zvysok by som rovnako riesil...
15.04.2010, 12:14:08 pri SOS ti chyba na zaciatku este sekvencia 3os1 pravidlo lebo nemas nikde napisane podla coho si dostal <x:=x+2;y:=y+1,s0>
15.04.2010, 12:35:41
tt
---------------------------------(4ostt)
<S,s0> => <x:=x+2,s0>
---------------------------------(3os1)
ALFA1 => <x:=x+2;y:=y+1,s0>
S je celz prikay if
este doplnene uplne
15.04.2010, 13:28:54 no este ako tak pozeram blizsie tak tie stavy v NS su kus zle ..s2 tam nema byt vobec
15.04.2010, 13:48:27 takto by to malo byt:
<x:= x+2,s0> -> s1
______________________________________
<if(x<=5) then x:=x+2 else x:=x+y, s0> -> s1 , <y:=x+1, s1> -> s
________________________________________________________
<if(x<=5) then x:=x+2 else x:=x+y; y=x+1, s0> -> s
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
zapocovka
----------------------------------------------------------------------------------------------------
14.04.2010, 07:47:48
Takze zapoctovka uspesne za mnou, bolo na to 45 minut, oficialny tahak dostal kazdy (obsahuje ns a os pravidla)
priklady v skutku jednoduche.
Skupina A:
1. abs(e)
2. e1 nand e2
3. 11100
4. FV(e1*e2)
5., 6. 7. if (x<=5) then x:=x+2 else x:=x+y;y=x+1
Skupina F:
1. -e
2. implikacia
3. 10011
4. FV (e1*e2+e3)
5. 6. 7. x:=2; if(y<=5) then x:=x+y else x:=x-y
GL (thx to kakan7)
----------------------------------------------------------------------------------------------------
14.04.2010, 08:19:40 7. uloha bola nakoniec derivacny strom(to co sa robilo na 1.cviku) a davajte si pozor kde je bodkociarka a kde zatvorka, pretoze sa mozte pomylit a tym padom mate 5.,6.,7. ulohu zle, konkretne v skupine A.
14.04.2010, 12:43:16 k tym FV, ja som napisal len FV(e1*e2) = FV(e1) U FV(e2)
14.04.2010, 13:23:27 som sa pytal ci to tak staci, a povedala ze ano
14.04.2010, 15:23:27 -e = e - (2 x e)? E[|-e|] = 0 - E[|e|] toto staci..lebo aj ked e bude nula tak to bude fungovat
14.04.2010, 16:46:00 abs(e) musis to riesit cez podmienky, ak je vyraz mensi alebo rovny nule tak je to 0-E[[e]]s inak E[[e]]s
14.04.2010, 17:23:20 moje vydenie prikladu z if v naturalnej semantike na http://www.megaupload.com/?d=L87QLICM (http://www.megaupload.com/?d=L87QLICM) Prezentácia1.jpg
14.04.2010, 17:42:22 oficialny tahak - pravidla naturalnej a štrukturalnej operacnej semantiky, prakticky vsetky pravidla ktore trebalo (sekvencia, skip, while, if..)
----------------------------------------------------------------------------------------------------
test K
1 max (e1,e2)
2 bsucc (b)
3 11011 = 27
4 FV (true V b1)
5, 6 a 7 if neg(x<=3) then y := y - 1 else y:= y + 1;
okrem toho, ze nam povedal cely druhy a stvrty priklad a v miestnosti bol hluk, tak to bolo v pohode
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
otazky z archivu minuleho roku
----------------------------------------------------------------------------------------------------
24.05.2010, 14:57:11
ja som z archivu minuleho roku take nico vytiahol:
1) Denotacia cyklu a definicie: monotonej a spojitej f-cie, funkcionalu, fixny bod
2) Definicia formalneho jazyka (abstraktna syntax a semantika jazyka)
3) Akcna semantika
4) Semantika aritmetickych vyrazov a booolovskych vyrazov
5) Denotacna semantika pre blok prikazov (medzi begin a end)
6) nejaka otazka z poslednej prednasky - take bludy
----------------------------------------------------------------------------------------------------
24.05.2010, 15:08:46
ja som z archivu minuleho roku take nico vytiahol:
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(nezvyraznuj :))]] = 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?
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
predtermin
----------------------------------------------------------------------------------------------------
12.05.2010, 17:58:55 predtermin
Tahali sa tri otazky - priklad, teoreticka a jeden dokaz, vymenit sa neda. Ku kazdemu je potrebne mat aspon nieco.
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 ...
12.05.2010, 20:39:49 ja som bol pri novitzkej a ja som si vytiahol otazku na
Teoria definiciu formalneho jazky(def. abstraktnej syntaxe a semantiky jazyka),
dokaz pre podmienku v abstraktrom stroji a dokazat jej korektnost a
priklad som mal odvodzovaci strom pre NS
prof.novitzka bola super, pytala sa normalne otazky ani nie na presne definicie, ci je dokaz dobry ale ci tomu chapem a ci to viem vysvetlit...
priklad ani nepozrela, len videla ze tam mam strom, tak sa pytala ako funguje vlastne NS pre prikaz a som jej to mal vysvetlit...
13.05.2010, 17:01:04 nic viac ako prednasky ti netreba...plus cvika priklady pre lepsie pochopenie a vyskusanie si prikladov
13.05.2010, 17:22:42
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
22.05.2010, 17:24:02 ja som mal akcnu semantiku
22.05.2010, 19:22:25 co vseko je obsahom toho povoleneho tahaka - su tam aj instrukcie abstraktneho stroja a aj prekladove instrukcie AM
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
skuska
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
09.06.2010, 12:56:06 a ucit sa staci cisto z prednasok? - jj + nejake priklady z cvik tiez neuskodia
----------------------------------------------------------------------------------------------------
24.05.2010, 15:19:40 Priklad na akcnu urcite nebude - to povedal aj na prednaske ...
----------------------------------------------------------------------------------------------------
08.06.2010, 18:14:10 prekladove funkcie pre AM boli na tahaku
----------------------------------------------------------------------------------------------------
09.06.2010, 13:49:40 dokaz ekvivalencie SOS a DS..(strany 27-41 v 8 prednaske) - ja mam v zosite napisane, ze tento dokaz nebude, takze to asi hovoril na cviku...
----------------------------------------------------------------------------------------------------
15.06.2010, 16:23:57
ako sa riesi rozsirenie pre Fib(n)...nty clen fibonaciho postupnosti
e := ... | fib(n)
E[fib(0)]s=0 (s je index)
E[fib(1)]s=1
E[fib(n)]s= E[fib(n-2)]s + E[fib(n-1)]s
----------------------------------------------------------------------------------------------------
euklidov algoritmus v operacnej semantike
s0[x->96, y->24]
P=
z:=0;
while(neg(x=y)) do
if (x =< y) then y:=y-x else x:=x-y;
z:=x;
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
26.05.2010, 11:58:42
----------------------------------------------------------------------------------------------------
skuska bola spolu s dalsim predmetom novitzkej.
rozsadzali podla abecedy do radov. Kazdy dostal papier aj zadania do ruky.
ustna cast bola najma u soldicaka, ktory chcel, aby bola kazda uloha spravena aspon na polovicu.
Siel som ako prvy, bez pripravy, k prof. Novitzkej. K teorii som jej povedal svoje. Nepytala sa ma nic extra. P a D - chcela vediet akym postupom by som ich riesil. Z toho ako som reagoval videla, ci rozumiem tematike alebo nie. Na papieri som mozno mal 3 - 4 vztahy.
----------------------------------------------------------------------------------------------------
26.05.2010, 12:32:12
Co sa tika otazok mal som:
T: Druhy entit v akcnej semantike, definovat akcie, ake vysledky akcie pozname, a ake druhy
informacii akcie mozu spracovat a popisat jednotlive druhy informacii
D: Dokazat korektnost implementacie pre prikaz while (v oboch smeroch)
P: Vytvorit syntax a semantiku jazika Hexadecimalnych cisel
Ja som mal :
Priklad: zaviest pravidla pre prikaz"for x:=e1 to e2 do S" pre NS,OS a DS
otazka: Denotacna semantika prikazu cyklu a vsetky pojmy s tym suvisiace
dokaz: ekvivalencia sekvencie a if v NS a OS
01.06.2010, 12:28:35
pr1 prepises na x:=e1;while(x<=e2)do(S;x:=x+1)
pr2 prepises na S;while(neg b) do S
v tomto tvare to uz snad vies prepisat do ns os a ds
1. teoria: Denotacna semantika - definovat prikazy JPJ (okrem prikazu while) plus popisat pojmy.
2. dokaz: ekvivalencia medzi NS a OS pre prikazy postupnosti a cyklu.
3. priklad: Odvodzovaci strom pre dynamicku NS (taky priklad medzi begin end s deklaraciou var)
26.05.2010, 14:34:56
ja som mal
priklad: repeat S until b -urobte ns os ds
teoria: v skratke ... vysvetlite os
dokaz: dokazte ekvivalenciu ns os (priradenie, podmienka)
Ja som nastastie vystihol Novitzku
1. elementarna fazeta
2. euklidovym algoritmom vypocitat najvacsi spolocny delitel cisel 96 a 24 v operacnej semantike
3. dokazat korektnost implementacie v abstraktnom stroji z oper. sémantiky pre priradovaci prikaz a príkaz vetvenia Sos[]=Sam[]
T: denotacna semantika vyrazov, zakl. pojmy: semanticka funckia, sem. rovnice, pomocna fcia, sem. oblast
P: program prepisat do AM a vykonat : while neg(y=1) do (x:=y; y:=z; z:=x) ///alebo tak nejak, nevim presne
D: ci je naturalna semantika JPJ deterministicka
26.05.2010, 22:10:06
Ja som mal priklad a dokaz taky isty ako zuzanka, len teoriu som mal definovat štrukturalnu operačnu semantiku + zakladne pojmy abo daco take.
----------------------------------------------------------------------------------------------------
02.06.2010, 10:12:56
----------------------------------------------------------------------------------------------------
Dnesna skuska (2.6):
- hned na zaciatku Slodicak povedal, ze budu skusat inym systemom -> naraz iba 5 boli v miestnosti na spj a 5 na log.inf, ostatni cakali vonku
- nemuseli sme mat pripravu
- Slodicak za radom vytahoval otazky
T - syntax a sem. abstr. stroja
D - korrektonost impl. cyklu v abs. stroji
P - Denotacia prikazu if (?dajaka podmienka?) then (x:=?,y:=?,z:=?) else skip pre s0= [x=?,y=?,z=?]
- samozrejme namiesto ? boli nejake premenne
02.06.2010, 11:07:04
P: Definovat syntax a semantiku desiatkovej sustavy, kladne a zaporne cisla
D: Dokazat korektnost implementacie na AM - priradenie a skip (operacna semantika)
Teoria: Bloky, procedury, volania, deklaracia, (staticka, dynamicka...)
P: Vypocitaj denotaciu pre x:=z;z:=y;y:=x; s0=[z->1;y->6] (nepamatam presne cisla) a vysledok overit na abstraktnom stroji.
D: Dokazat korektnost pre b1^b1, e1<=e2 a pre true
T: Nepriama denotacna semantika - popisat princip
T:Zakladne pojmy strukturalnej operacnej semantiky
D:Dokazte ze naturalna semantika JPJ je deterministicka
P:Jednoduchy while prepisat do instrukcii abstraktneho stroja a urcit vysledny stav vykonavania
P: urcite volne viazane FV premenne
T: jazyk definicia + vysvetlit pojmy
D: ekvivalencia cyklu v OS a na AM
P: Euklidov algoritmus pre vypocet najvacsieho spolocneho delitela cisel x a y.
T: Semantika aritmetickych a boolovskych vyrazov v JPJ.
D: Dokazte korektnost implementacie aritmetickych vyrazov na abstraktnom stroji.
----------------------------------------------------------------------------------------------------
09.06.2010, 11:09:16
----------------------------------------------------------------------------------------------------
T: Definovat semantiku bool a exp vyrazov JPJ
P: Napisat dynamicku naturalnu semantiku pre program (boli tam dva bloky vnorene s deklaraciami premennych)
D: Dokazat korektnost implementacie na abstraktnom stroji pre priradovaci prikaz a skip
T: Definovat NS prikazov JPJ a vysvetlit
D: Dokazat pre postupnost a priradenie, ci ekvivalentne NS OS
P: case x of e1:S1;e2:S2 else S3 NS OS DS
T: Nepriama denotacna semantika + zakl. pojmy.
P: Rozsirenie JPJ (Syntax aj semantika) o nasledovnika prirodzeneho cisla, Fib(n) - nty clen Fibbonachiho postupnosti a o nonekvivalenciu bool. vyrazov.
D: Korektnost implementacie komutativnosti a asociativnosti nasobenia vyrazov pomocou AM.
T: Akcna semantika, fazety, atd...
D: Ekvivalencia prikazov priradenia a podmienky pre NS a SOS
P: Odvodzovaci strom v SOS pre taky priklad ze boli v podstate sekvencia S1(priradovaci prikaz), S2(cyklus while), S3(priradovaci prikaz)
P: rozsirit syntax o b1=b2, b1=>b2, e1>e2
T: typy vykonavania akcii, definovat zberace, typy udajov v akcnej semantike = proste dajake haluze z akcnej
D: korektnost podm. prikazu, cize Sos[|if b then S1 else S2|] pomocou AM
----------------------------------------------------------------------------------------------------
16.06.2010, 11:24:32
----------------------------------------------------------------------------------------------------
T: akcna semantika a veci okolo toho
D: Dokázať korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM.
P: repeat S until b - urobte NS OS DS
T ŠOS //pohoda, jahoda
D komutativnost scitania a nasobenia na abstraktnom stroji //easy
P NS, OS a DS pre for //staci previest na while a po pomoci od Ľaľovej som o uz vedel vyriesit
T: Definovat semantiku aritmetickych vyrazov JPJ
D: Korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM
P: Syntax a semantika kladnych a zapornych desiatkovych cisel
T: Nepriama denotacna semantika
D: Korektnosť implementácie komutatívnosti a asociatívnosti scitania výrazov pomocou AM
P: case x of e1:S1;e2:S2 else S3 - pravidla pre NS, SOS, DS
T: naturalna, setko k nej
D: podmienovaci prikaz v NS a AM
P: AM, cyklus while
ty uz na skusku mozes ist :)
si nas novy hero
skripta k predmetu
http://rapidshare.com/files/448824373/SEMANTICS_WITH_APPLICATIONS_-_A_Formal_Introduction_-_Hanne_Riis_Nielson_-_Flemming_Nielson.pdf (http://rapidshare.com/files/448824373/SEMANTICS_WITH_APPLICATIONS_-_A_Formal_Introduction_-_Hanne_Riis_Nielson_-_Flemming_Nielson.pdf)
prip. aj sem:
http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html (http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html)
ste mali dat na ftp rovno
aky je login a pass na hornade????
login: spj
password: Semantika
nema niekto materialy z cvik z minuleho roku ???
Quote from: elvolcanoik on 09.03.2011, 03:28:18
nema niekto materialy z cvik z minuleho roku ???
Sú ti zbytočné, ževraj je tam veľa chýb (Slodičák vravel).
lepsie jak dratom do oka
no, tak dneska sme fasli pisomku za tych +-5 bodov :)
Quote from: Havran on 11.03.2011, 00:04:45
no, tak dneska sme fasli pisomku za tych +-5 bodov :)
slodi?
Quote from: Havran on 11.03.2011, 00:04:45
no, tak dneska sme fasli pisomku za tych +-5 bodov :)
s kym a v ktorom case?
slodicak, 15:55
Quote from: Havran on 11.03.2011, 00:04:45
no, tak dneska sme fasli pisomku za tych +-5 bodov :)
neze by si bol rad :D vo stvrtom tyzdni tam este nic nieje :D casom sa to bude len a len nabalovat :D
co bolo v pondelok na cviku so slodicakom o 14 15
Nemohol by tu niekto postnut ofotene cviko u slodicka zo stvrtka o 14:15 (resp.15:00 kedze bolo prelozene)? :)
Quote from: Havran on 11.03.2011, 00:04:45
no, tak dneska sme fasli pisomku za tych +-5 bodov :)
tazky ste mali priklad ? alebo dva ?
2 skupony jeden priklad
Quote from: t0Mi on 13.03.2011, 18:00:48
Quote from: Havran on 11.03.2011, 00:04:45
no, tak dneska sme fasli pisomku za tych +-5 bodov :)
tazky ste mali priklad ? alebo dva ?
presne toto co sme na minulom cviku s nim robili a priklad nebol tazky sak to su zatial suche veci, ale ta ked sa do toho ani nepozres tak syntakticke chyby tam budu minimalne
Dnes sme aj my mali "prepadovku" (skupina 10:40 - utorok). Príklad: naturálna sémantika 3 príkazy (priradenie, if, priradenie)
Quote from: Matejus on 15.03.2011, 22:01:05
Dnes sme aj my mali "prepadovku" (skupina 10:40 - utorok). Príklad: naturálna sémantika 3 príkazy (priradenie, if, priradenie)
s kym? kto vas uci?
[hide]slodicak[/hide]
z coho sa da ucit?
tak dnes bola prepadovka na cviku o 7:30 ...
..neviete ci existuju niekde tie odvodzovacie a ine pravidla na stiahnutie ? ...alebo su len v prednaskach ?
Quote from: timwood on 09.04.2011, 23:09:55
..neviete ci existuju niekde tie odvodzovacie a ine pravidla na stiahnutie ? ...alebo su len v prednaskach ?
pracujem na tom ... pani prof.Novitzká ich nechce zverejniť, chce ich rozdať až na skúške ako oficiálny ťahák, ale mne to nedá a spisujem si ich do latexu, takže pdfko bude s pravidlami hotové hádam v priebehu dnešného a zajtrajšieho dňa.
ake priklady su na prepadovke
doteraz bolo prevazne naturalne /operacna semantika. neviem ci bolo niekde aj nieco ine
Su nejake prepocitane priklady na zapocet - alebo kniha? - lebo z cvika toho vela neporiesim :metal:
Quote from: jim-beam33 on 26.04.2011, 19:49:38
Su nejake prepocitane priklady na zapocet - alebo kniha? - lebo z cvika toho vela neporiesim :metal:
a to s kym si mal cvika pre boha ?
Nespominal(a) :) nahodou na prednaske ake priklady sa mozu vyskytnut na zapocte? Odpoved v style to co bolo na cviceni velmi nepomoze... Lebo ak by to bolo tak ako minuly rok, tak je to dost easy, az podozrivo ???
z coho sa ucite?
a co NEBUDE na pisomke?
jedno je iste, ze nebude na pisomke to co nebolo na cviku :D aaa to co sa robilo tento tyzden
Quote from: Domino3D on 02.05.2011, 02:28:47
z coho sa ucite?
a co NEBUDE na pisomke?
Ucim sa s kamosom z cviceni aj ked nie su uplne ze najlepsie. Zatial sa ucime dvaja ak by si sa chcel pridat zajtra niekedy po 10:30 daj vediet. Viac hlav viac rozumu. Co sa tyka toho co bude/nebude nebude to co bolo na poslednom cviku a "mozno" nebudu pomenovane procedury resp tie priklady s prostredim procedur, ale to len mozno. Este neico Macko spominale ze nejaky typ prikaldov urcite nebude cely, ze ked bude tak iba doplnit jeden dva kroky ale uz nepamtam coho sa to tykalo. Co hovoril tak sa mame zamerat na
Natur / oper semantiku, vycislovanie arit vyrzov + strom, automat, + este neico tusim spominal ale nemam to zapisane.
No co vravel Slodicak, tak nebude urcite to co bolo na 11 cviku a inac moze byt hocico, vyjadril sa ze da 5-6 prikladov nejakych kratsich
Quote from: Dulus on 02.05.2011, 17:04:34
Natur / oper semantiku, vycislovanie arit vyrzov + strom, automat, + este neico tusim spominal ale nemam to zapisane.
este aj booleovske vyrazy tam spominal
ten strom to patri k tym aritmetickym/boolovskym vyrazom alebo je to ten strom co bol na 1. cviku ?
no dnesne cviko o 10.50 mozte potom nahlasit co bolo :D a hlavne ci ste dostali tahaky oficialne :)
Quote from: markus on 03.05.2011, 05:01:58
Quote from: Dulus on 02.05.2011, 17:04:34
Natur / oper semantiku, vycislovanie arit vyrzov + strom, automat, + este neico tusim spominal ale nemam to zapisane.
este aj booleovske vyrazy tam spominal
pomenovane procedury netreba, vraj
a z 8. cvika tie divne veci treba?
Quote from: Domino3D on 03.05.2011, 19:15:08
Quote from: markus on 03.05.2011, 05:01:58
Quote from: Dulus on 02.05.2011, 17:04:34
Natur / oper semantiku, vycislovanie arit vyrzov + strom, automat, + este neico tusim spominal ale nemam to zapisane.
este aj booleovske vyrazy tam spominal
pomenovane procedury netreba, vraj
a z 8. cvika tie divne veci treba?
Ak myslis abstraktny stroj tak ten treba, hovoril ze bude
Moze mi niekto ofotit a niekde zavesit tie priklady s procedurami a denotacnu semantiku?
zo statickej / dynamickej nebude cely priklad ? ci ?
co vlastne treba robit pri identifikacii FV?
napr. FV (e1*e2+e3) ?
uz mate niekto zapisane ?
dali vam oficialne tahaky?
Quote from: Faust on 03.05.2011, 23:11:56
co vlastne treba robit pri identifikacii FV?
napr. FV (e1*e2+e3) ?
odkial mas taky priklad ? celkovo zadanie daj lebo neviem o com pises..
more to tu nikto nenapise co bolo dneska na zapoctovke !!!!!!!!!!
Quote from: Michall on 04.05.2011, 05:06:58
more to tu nikto nenapise co bolo dneska na zapoctovke !!!!!!!!!!
Príklady boli napísané ale dakto ich zmazal :-D
sila toto potom
potom mi moze niekto kto uz pisal napisat aspon typy prikladov do pm pls? :-*
edit: tomi,prednaska 2 slide 23
pri abstraktnom stroji, ked vyhodnocujem prikaz while tak to robim cez if?
nestaci jednoducho cez LOOP ? (pr 6 sl 21)
je odvas pekne ze nenapisete co bolo, aspon druhy
kedy by mali byt vysledky zo zapoctovky? :metal: :metal:
Quote from: plexisklo on 04.05.2011, 15:58:37
nestaci jednoducho cez LOOP ? (pr 6 sl 21)
no ale ked to das cez lup tak len vyhodnotis podmienku a potom prikaz ale nikde tam nie je naznacene ze ak je podmienka pravdiva opakujes cyklus nie?
myslim ze je to dane z podstaty prikazu (loop->slucka) a teda stroj vykonava prikaz TS[*S] kym je TB[*b]=tt ni? az ked TB[*b]=ff tak slucka-loop konci
edit:hviezdicky zanedbat,su tam kvoli tagom :p
cize nerobit to cez if? a treba tam dat aj niekde prikaz skip (emptyop)?
takto,mam to v zosite z cviceni spravene aj cez if,ale myslim si ze je to len na ukazanie sposobu spracovania tohoto prikazu,kedze while je cez LOOP popisany v skriptach.
mam priklad for x:=e1 to e2 do S ,ktory sa robil rozlozenim na x:=e1; while (x<=e2) do (S;x:=x+1) , tu je z cviceni na while pouzity LOOP
Quote from: plexisklo on 04.05.2011, 17:49:59
takto,mam to v zosite z cviceni spravene aj cez if,ale myslim si ze je to len na ukazanie sposobu spracovania tohoto prikazu,kedze while je cez LOOP popisany v skriptach.
mam priklad for x:=e1 to e2 do S ,ktory sa robil rozlozenim na x:=e1; while (x<=e2) do (S;x:=x+1) , tu je z cviceni na while pouzity LOOP
no hej, ked to prekladas do abstraktneho stroja tak cez LOOP, ale mas to aj vyhodnotene cez LOOP?
co bolo na zapoctovke:
1.a. denotacna semantika
1.b. abstraktna implementacia
2. napisat pravidlo pre FOR, REPEAT,...
3.a. naturalna semantika
3.b. strukturalna operacna semantika
dik moc kvetinka )
jardo:sorry mas pravdu,takto to ide cez if
Moze tu niekto ukazat ako sa tie pravidla pisu ? dik moc bu
Quote from: Brock on 04.05.2011, 23:45:22
Moze tu niekto ukazat ako sa tie pravidla pisu ? dik moc bu
Ktore pravidla ?
pravidlo REPEAT:
S; while b do S
cize
<S,s> -> s,,,<while b do S,s,,> -> s,
________________________________
<repeat S until b,s> -> s,
je to dobre?
hej
Quote from: Faust on 03.05.2011, 23:11:56
co vlastne treba robit pri identifikacii FV?
napr. FV (e1*e2+e3) ?
FV(e)=FV(e1) U FV(e2) U FV(e3)
Quote from: Brock on 05.05.2011, 02:54:24
pravidlo REPEAT:
S; while b do S
cize
<S,s> -> s,,,<while b do S,s,,> -> s,
________________________________
<repeat S until b,s> -> s,
je to dobre?
to je naturalna semantika?
no to ked sa taku otazku pytas tak to good luck ti zajtra zelam :D
:D
no ved si v tom robim poriadky :)
a vy namiesto toho aby ste napisali hej je to NS, tak si tu davate smajliky.
Radsej vam vela stastia poprajem
aky bol priklad na denotacnu?
Takze na dnesnej zapoctovke, pri mojom stasti ma to ani neprekvapuje, pribudla dalsia novinka, dopisat v druhom priklade , neboli to pravidla pre for a while ale dopisat pravidlo pre Switch , boli tam dva case a jeden default. a potom to odvodit pomocou naturalnej ... >:(
my sme mali -e a b1 nand b2
a na abstraktny stroj sme mali priradenie a if v ife ... dost hardcore... ani nie tak tazke ale len na stranu a pol som mal tento priklad ledva som stihal.
skupina 14M (41M alebo tak nejako) podskupina IY
priklady su len priblizne ako si pamatam, snad su spravne
1. x:=1;if (x = 5) then if (x <= 5) then (y:=x+y) else skip else skip; s0=[y->4]
1.a denotacna
1.b abstraktny stroj
2. rozsirit semantiku prog jazyka vyrazov o
I:opacnu hodnotu vyrazu
II:negative and {NAND}
3 y:=x+y;while (y-x<15) do y:=y+x;y:=y-x s0=[x->4,y->8]
3.a najst vyznam pomocou naturalnej semantiky
3.b najst vyznam pomocou operacnej semantiky
-----------------------------------------------------------------------------------------
podla mna prvy prikald bol zbytocne obsiahly, ked viec clovek spravit 8-10 riadkov vie spravit aj 40 len mu to dlhsie trva nic sa tym nedokaze, uplna zbytocnost taky dlhy prikald, 2 celkom lahka i ked neviem co som tam vlastne mal vsetko napisat ci stacilo teda ten jeden riadok resp jeden zobacik .... 3 priklad celkom pohoda akurat tam bol chytak s tymi dvoma prikazmu po while co nie su v zatvorkach teda ten posledny uz nepatri do while-u .... denotacnu som vobec ani nestihal kedze som si ju nechal na koniec .. a myslim ze som nebol sam co hovoril ze bolo toho az prilis vela a sa nestihalo ... ked clovek nerobil ako stroj alebo sa niekde pomylil alebo potreboval viac casu na rozmyslenie tazko stihal ... tak asi cielom predmetu je sa to naucit robit rychlo a nevediet co robim :D......bodovanie bolo 1a-6B 1b-6B 2-6B 3a-6B 3b-6B
-kedze pisomky uz skoncili mzoem to tu bez starosti dat si myslim.
ak by niekto vedel spravit tu denotacnu pls zaveste to tu niekde ... vdaka
Dulus -> Uplne s Tebou suhlasim, tiez som nestihal a ratal som od zaciatku do konca. Tiez som mal pocit ze priklady su zbytocne rozsiahle a ked niekto nevedel nespravil ani prve kroky cize podla mna uplne stacilo dat strucnejsie priklady. Presne ako pises, ak chcel niekto rozmyslat nad niecim tak nebolo casu... o Kontrole nehovoriac. :ringsmiley:
na aku mariu sme mali 6 prikladov? ...to mame max 15 minut na priklad, cize max 15 minut na pol strany ...to uz ked clovek aj stihne nejakym zazrakom napisat, tak si to nestihne ani skontrolovat a nieto este opravit... ja som operacnu proste nestihol... je to kokotina, ze ak nedostanem zapocet tak preto ze som to nestihol napisat nie preto zeby som nevedel...
ma uz niekto vysledky zo stvrtka?
Mne zatial ziaden mail nedosiel v MAIS-e prazdno (co aj hovoril ze do MAIS-u nebude zapisovat). Predpokladam ze este opravuju a zapisovat budu potom naraz vsetkym. A kedze zachvilu hokej ani sa uz dnes asi nedockame :D . SLOVENSKOOOO!
Mohol by niekto spravit pre case x of e1:S1,e:S2 else S3 ns a os a kebyze nahodou vedel aj ds plus aj unless a fakt, by bolo fajn, keby niekto nahodil vypocitany prvy priklad denotacnej na ten if naj clovek vie, ci dobre postupoval, kto to ovlada 8)
vysledky budu do konca tyzdna... :ohmygod:
Quote from: gabikke on 08.05.2011, 15:37:36
vysledky budu do konca tyzdna... :ohmygod:
cize dnes?
ja ocakavam ze v utorok vecer aby tam bolo este uvedene ze na druhy den v case prednasky bude opravna :D :D
po vcerajsom hokeji ajtak kazdy dostane rovno fx :P
uz dakto mate vysledok?
Quote from: Domino3D on 08.05.2011, 23:02:07
uz dakto mate vysledok?
Nada ani mail ani mais.... ale nič pozitívne ani neočakávam vzhľadom k tom že som ti to prepočítal a úplné hovadiny som tam popísal :D :D
20 bodov..... mal som vsetko okrem denotacnej.....
Quote from: Melkor on 08.05.2011, 23:35:07
20 bodov..... mal som vsetko okrem denotacnej.....
kedy si mal cvika ???
v utorok... 10:50 ale napisal som mail na pisomku aby mi poslal vysledky
tak mne uz dosli na mail vysledky zo zapoctu co bol vo stvrtok
mne stale nie
slodicakove skupiny dajak zacinaju dostavat maily... od macka zatial nic co viem
Kedy a kde bude opravna pisomka? Bude cez prednasku v stredu, ci bude na cviceni?
Quote from: MackoZlesa on 09.05.2011, 17:22:41
Kedy a kde bude opravna pisomka? Bude cez prednasku v stredu, ci bude na cviceni?
na prednaske
mackovci furt nic
ja uz mam od macka zapich v maise
už sú zapísané aj od macka :D :D ale že 10% ppc :D
kde mas? mail ci mais?
mais od macka uz su ... 22 z 30 :(( :ohmigod:
39/40! Yeah! :D
...na opravak poprosim este daco tazsie... a viac prikladov ked sa da... idealne daco co sme na cviku ani nemali...
ktore veci urcite NEBUDU na predtermine?
kto este chodi na forum a bol dnes na predtermine mohol by sa podelit ako to vyzeralo a co bolo
Kamoš bol na predtermíne:
- ťahal si teoretickú otázku, príklad, dôkaz
- teória - toky riadenia a informácií
- príklad na denotačnú sémantiku, nejaký priraďovací príkaz a while
- dôkaz - if v op. štr. sémantike vs. naturálna
stačilo ku každému niečo povedať, do prípravy sa Slodičák veľmi nepozeral, stačilo hovoriť k veci
Výsledok: 60b :)
robil sa na prednáške dôkaz na determinizmus jednoduchého programovacieho jazyka? Prednáška 3 slajd 25. Na prednáške som nebol a tam je dôkaz iba jednou vetou...
niekto kto xce ist 18.5. ?? ... vymenim termin ... PM
WTF to si robia srandu ze dalsi termin po 8.6 je az 22
Quote from: Havran on 15.05.2011, 20:59:34
WTF to si robia srandu ze dalsi termin po 8.6 je az 22
podla vsetkeho tam su bc. statnice (14. a 15.), tak asi preto, neviem ...
Quote from: elvolcanoik on 15.05.2011, 20:26:11
niekto kto xce ist 18.5. ?? ... vymenim termin ... PM
sak sa odhlas a niekto sa uz nahlasi
Moze niekto napisat ktore vsetky dokazy je treba vediet, z ktorych prednasok? Dakujem.
Moze sa na skuske vyskytnu priklad na AKCNU sematniku alebo moze byt teoria z Algebraickej semantiky???????????
Príklad na akčnú nebude a algebraická sémantika bola na prednáške takže asi môže byť otázka aj z toho...
Quote from: nezabudka88 on 16.05.2011, 12:43:05
Moze niekto napisat ktore vsetky dokazy je treba vediet, z ktorych prednasok? Dakujem.
pripajam sa k prosbe
Dôkazy stačí vedieť tie ktoré sú v prvých 4 prednášok.
Otázky z teórie sú od prvého slajdu prvej prednášky až po posledný slajd poslednej prednášky.
Príklady sú nejako okresané, tuším že z akčnej sémantiky nie je príklad, z nepriamej denotačnej nie je (len tie skupiny, ktoré to nepočítali na cvikach) a ani z algebraickej nie je, tak sa mi marí.
V 6.prednaske su dokazy Korektnost abstraktnej implementacie,
treba vediet:
- pre artimeticke vyrazy JPJ
- pre boolovske vyrazy JPJ
netreba vediet:
- pre prikazy JPJ
V 8. prednaske je este dokaz Ekvivalencia denotacnej a operacnej semantiky ale tento netreba vediet.
Nemôže niekto pls naskenovať príklad čo sa robil na statickú sémantiku? je tam taká tabuľka s pamäťou, prostredia premenných atď
taka otazka ...dostanem dokaz a teraz musim pisat vsetko z prednasky? alebo staci ak sa z toho vykecam nejak? trosku nwm co presne tam treba pisat ci uplne vsetko abo co myslite?
Staci si to napisat v zachytnych bodoch a vysvetlis pri odpovedi.
http://vlkodlak2.ic.cz/AAAAAAAAAAAAAAAAA/?mod=1 (http://vlkodlak2.ic.cz/AAAAAAAAAAAAAAAAA/?mod=1) je tam čosi popísané o akčnej a naturálnej sémantike :)
18.5 skuska v pohode, prof.Novitzka trošku nahnevaná ale veľmi príjemna
T: VLASTNOSTI NS
P: Spravit graf danych fcii
D: Strukturalna I. pre postupnost prikazov
Cudoval by som sa keby dneska niekto nedal
T denotacia cyklu while
P case
D ak if(while) potom while
dnes neurobil myslím že len jeden a skúšali už aj macko a ľaľová ale najlepší bol Slodičák!!!!! D(67) ;)
T: základné vlastnosti štrukturálnej operačnej sémantiky, popísať odvodzovacie pravidlá
P: denotácia príkazu if v tvare: if(podmienka)then prikaz else if (podmienka) then skip else prikaz; (prikaz a podmienka boli reálne podmienky a priraďovacie príkazy)
D: postupnosť príkazov v NS a OS
T: syntax a semantika deklaracii v naturalnej semantike
D: S1=while b do S,s S2=if...(while),s dokazte semanticku ekvivalenciu
P: rozsirte syntax a semantiku vyrazov o celociselne delenie, pripadne div, mod
Nechce si niekto vymenit termin z 8. na 1.? cize odhlasit sa z 8.6 a prihlasit na 1.6? ....PM
ved chod bez prihlasenia...
spytas sa na mieste a uvidis,vela skusajucich ti to povoli
rovnako u mna, nechce ist niekto na termin o tyzden skor 1.??? rad vymenim za 8. :-*
Ako bolo dnes na SPJ? :trestac:
Quote from: bubo on 01.06.2011, 20:45:58
Ako bolo dnes na SPJ? :trestac:
teplo
PS: a dusno, a nikomu sa nechcelo ist na ustnu cast
a ako dlho sa caka na ustnu? idu podla mien alebo mozem prist az okolo obeda?
Quote from: Domino3D on 01.06.2011, 21:00:10
Quote from: bubo on 01.06.2011, 20:45:58
Ako bolo dnes na SPJ? :trestac:
teplo
PS: a dusno, a nikomu sa nechcelo ist na ustnu cast
hehe no hej som si vsimol ze kazdy len cakal kym sa slodicak uvolni bo nikto nechcel ist k novitzkej :-D
Quote from: navarro on 01.06.2011, 21:05:16
Quote from: Domino3D on 01.06.2011, 21:00:10
Quote from: bubo on 01.06.2011, 20:45:58
Ako bolo dnes na SPJ? :trestac:
teplo
PS: a dusno, a nikomu sa nechcelo ist na ustnu cast
hehe no hej som si vsimol ze kazdy len cakal kym sa slodicak uvolni bo nikto nechcel ist k novitzkej :-D
a pri tom novitzka viac pomoze pri ustnej, a nepozera az tak na detaily jak slodicak
Quote from: jardo on 01.06.2011, 21:24:06
Quote from: navarro on 01.06.2011, 21:05:16
Quote from: Domino3D on 01.06.2011, 21:00:10
Quote from: bubo on 01.06.2011, 20:45:58
Ako bolo dnes na SPJ? :trestac:
teplo
PS: a dusno, a nikomu sa nechcelo ist na ustnu cast
hehe no hej som si vsimol ze kazdy len cakal kym sa slodicak uvolni bo nikto nechcel ist k novitzkej :-D
a pri tom novitzka viac pomoze pri ustnej, a nepozera az tak na detaily jak slodicak
nemal som dnes taky pocit
Quote from: navarro on 01.06.2011, 21:25:55
Quote from: jardo on 01.06.2011, 21:24:06
Quote from: navarro on 01.06.2011, 21:05:16
Quote from: Domino3D on 01.06.2011, 21:00:10
Quote from: bubo on 01.06.2011, 20:45:58
Ako bolo dnes na SPJ? :trestac:
teplo
PS: a dusno, a nikomu sa nechcelo ist na ustnu cast
hehe no hej som si vsimol ze kazdy len cakal kym sa slodicak uvolni bo nikto nechcel ist k novitzkej :-D
a pri tom novitzka viac pomoze pri ustnej, a nepozera az tak na detaily jak slodicak
nemal som dnes taky pocit
popravde som cakal na macka, len ked som videl ze slodicak vybavi 2-3 pokial macik jedneho...
Quote from: bubo on 01.06.2011, 21:04:36
a ako dlho sa caka na ustnu? idu podla mien alebo mozem prist az okolo obeda?
mozes kedy chces ist dnu a kedy chces na ustnu, podla toho jak sa citis, ja okolo 12 som isiel het, dnu som sedel 2 hodiny :D z toho pol pisal
a ludia mali tahaky jak som videl, dokonca aj ujo videl ale ta mf
Novitzka uplne v pohode... prijemne sme si pokecali, vedel som velmi malo ....Bcko :D
plati take ze potrebujes nadpolovicnu vacsinu zo vsetkeho?
hlupost... aj ked ku kazdej otazke (priklad mozno nie) by sa patrilo aspon ten uplny zaklad v podobe 2-3 viet prehodit... ale ziadne salene definicie.
no som si presiel prednasky a nasiel som tam tieto dokazy
pr3- dokaz, ze prikaz while je semanticky ekvivalentny s prikazom if
pr4- dokaz ekvivalencie naturalnej a strukt operacnej semantiky
pr6- dokaz korektnosti abstraktnej implementacie (pre jednotlive prikazy)
pr8- dokaz ekvivalencie denotacnej a operacnej semantiky
vie mi niekot povedat ktore treba a ktore nie, resp. ktore som este prehliadol?
Quote from: jardo on 03.06.2011, 15:15:33
no som si presiel prednasky a nasiel som tam tieto dokazy
pr3- dokaz, ze prikaz while je semanticky ekvivalentny s prikazom if
pr4- dokaz ekvivalencie naturalnej a strukt operacnej semantiky
pr6- dokaz korektnosti abstraktnej implementacie (pre jednotlive prikazy)
pr8- dokaz ekvivalencie denotacnej a operacnej semantiky
vie mi niekot povedat ktore treba a ktore nie, resp. ktore som este prehliadol?
ja som sa ucil tieto, ale zda sa mi ze ste su neeake
D dokazat ekvivalenciu prikaziv IF b then (S ;While b do S) else skip a while b do S v naturalnej 3/20
D: Dokazat pre postupnost a priradenie, ci ekvivalentne NS OS 4/16,17,18...
D: Dokázať korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM. 6/27
D: korektnost podm. prikazu, cize Sos[|if b then S1 else S2|] pomocou AM 6/31
Ja by som to zhrnul takto:
--------------------------------------------------------------------------------------------------------------------------------------------------
P2: Dokaz strukturalnou indukciou uplnej definovanosti semantickej funkcie pre binarne cisla(+ treba vediet co je to strukturalna indukcia).
P3: Dokaz semantickej ekvivalencie prikazov while(b) do S; a if (b) then (while(b) do S);.
P4: Dokaz ekvivalencie naturalnej a strukturalnej operacnej semantiky.
P6: Dokaz korektnosti abstraktnej implementaci JPJ na abstraktnom stroji pre:
- artimeticke vyrazy JPJ,
- boolovske vyrazy JPJ,
- prikazy JPJ.
P8: Dokaz ekvivalencie denotacnej a operacnej semantiky.
--------------------------------------------------------------------------------------------------------------------------------------------------
Co nie je oznacene hrubym pismom netreba na skusku.
Ak som nieco vynechal, mozte ma doplnit.
ja som pocul zevraj len z prvych styroch predn asok :D nechapem preco proste nemozu vyvesit zoznam vsetkych otazok dakde na net
Quote from: markus on 03.06.2011, 16:25:02
ja som pocul zevraj len z prvych styroch predn asok :D nechapem preco proste nemozu vyvesit zoznam vsetkych otazok dakde na net
jedna pani povedala? tak sa uc prve 4 ;)
Quote from: markus on 03.06.2011, 16:25:02
ja som pocul zevraj len z prvych styroch predn asok :D nechapem preco proste nemozu vyvesit zoznam vsetkych otazok dakde na net
a nemas to jedno? aj tak sa pytaju, co ich napadne ...
více méne
akoze ok jedno to je :D lenze radsej by som bol keby dali zoznam 50tich otazok kde je zahnute vsetko ak ked ti povedia ze nauc sa proste vsetko :D
vyzera to tak ze nestihnem ist 8-eho, nechce si niekto z 22-eho prehodit termin ?
nemas to jedno? aj tak nieje dost terminov na opravne ... ved ak nahodou das na A95 tak si mozes ist potom opravit 22ho na A99
suhlas
95? IBA?
v utorok mam magsu, neviem sa ucit na 2 skusky naraz..
jop, uč sa ;)
stiahol som z netu prednasky (hornadu) a 7. a 12. prednaska s uuplne rovnkae. Aj u vas?
presiel niekto tak ze napr. mal priklad a dokaz a nevedel teoriu?
Quote from: markus on 05.06.2011, 18:51:08
presiel niekto tak ze napr. mal priklad a dokaz a nevedel teoriu?
ja som presiel tak, ze som v podstate nic nemal uplne na 100%. dokaz som nejak dokazal, ale mal som zle :) priklad som nejak vyratal, ale tiez nebol uplne dobre :) a teoriu som dost rozpisoval okolo, lebo som tiez nevedel co tam mam pisat. len potom je tam nebezpecenstvo, ze ked tam napises nieco naviac, tak sa moze toho chytit a zacat ta skusat toto... ale v celku netreba vediet ziadne sialene detaily. aspon co to napisat a snazit sa reagovat. (bol som pri Novitzkej, vysledok = C) ;)
Quote from: jardo on 04.06.2011, 16:09:15
stiahol som z netu prednasky (hornadu) a 7. a 12. prednaska s uuplne rovnkae. Aj u vas?
doteraz som si to neuvedomil.. ale je to tak.. hmm ???
Quote from: andy on 05.06.2011, 20:22:16
Quote from: jardo on 04.06.2011, 16:09:15
stiahol som z netu prednasky (hornadu) a 7. a 12. prednaska s uuplne rovnkae. Aj u vas?
doteraz som si to neuvedomil.. ale je to tak.. hmm ???
vie niekto, že čo sa preberalo 12.týždeň na prednáške? ???
akcna semantika
Quote from: JankoHrasko on 06.06.2011, 04:58:34
Quote from: andy on 05.06.2011, 20:22:16
Quote from: jardo on 04.06.2011, 16:09:15
stiahol som z netu prednasky (hornadu) a 7. a 12. prednaska s uuplne rovnkae. Aj u vas?
doteraz som si to neuvedomil.. ale je to tak.. hmm ???
vie niekto, že čo sa preberalo 12.týždeň na prednáške? ???
a na cviku, teda v 11. myslim, lebo 12. bola zapoctovka nie
v 11. na cviku to bola nepriama denotacia
Quote from: radix on 06.06.2011, 23:08:57
v 11. na cviku to bola nepriama denotacia
a akcna sa na cvikach nebrala?
ee
a niekto by tu vedel hodit cvika z tej nepriamej denotacnej, lebo nam to cviko odpadlo?
mam otazku k nepomenovanym blokom... ak mame nepr.
.....
Begin x:=1
z:=1
End
.....
a vchadzam do tohto bloku (nech je to blok S2) zo stavu napr. s2
<S2,s2> -> s3'
a potom dalsi krok nad tym bude
<x:=1,s2> -> s4 <z:=1, s4> -> {tu ma byt s3 alebo s3'} ?
asi iba s3.
k akcnej semantike som mal otazku :
"Typy udajov v akcnej semantike" Cize tam az tak vela netreba
Viete neikto povedat ako presne prebieha skuska? Otazky uz dostaneme alebo sa tahaju alebo akym systemom ? a ked sa tahaju vsetky naraz alebo ako ?
3 kopy otazok a z kazdej tahas jednu. Potom si ides sadnut a mas lubovolny cas na pripravu na papier. Ked zhodnotis, ze to co mas na papieri staci, tak ak je niektori zo skusajucich volny ides k nemu a zacnes rozpravat k jednotlivym otazkam. Popritom dostavas este dalsie otazky, vacsinou k teme tych vytiahnutych otazok.
vcerajsi... mate uz znamky zapisane?
jj uz mam :bannana_guitar: :ropebanana:
dufam ze kazdy spravil vcera
taka otazka, tie prednasky na hornade su len po 7 prednasku z toho roka, ostatne su minulorocne, to je v pohode ?
vsimol si to dakto okrem teba? lebo ja nie :D
Quote from: Domino3D on 09.06.2011, 23:43:45
vsimol si to dakto okrem teba? lebo ja nie :D
sak nam este slodicak na cviku vravel, ze na chuja sme si stahovali secky na zaciatku, ze oni ich budu postupne updatovat, ale dajak s tym skoncili po 7 prednaske... ja len zato sa pytam, ci to su potom tam tie iste jak na co boli na prednaskach
Quote from: Havran on 09.06.2011, 23:49:06
Quote from: Domino3D on 09.06.2011, 23:43:45
vsimol si to dakto okrem teba? lebo ja nie :D
sak nam este slodicak na cviku vravel, ze na chuja sme si stahovali secky na zaciatku, ze oni ich budu postupne updatovat, ale dajak s tym skoncili po 7 prednaske... ja len zato sa pytam, ci to su potom tam tie iste jak na co boli na prednaskach
preto neboli uploudnute, lebo slodicak povedla na prednaskach, ze to je jeho majetok a tento rok ich nebude zverejnovat
nice, a vie mi niekto povedat nakolko su relevantne tie z minulych rokov ?
V prednaske o akcnej semantike bolo viacero zmien, ostatne su priblizne rovnake.
Quote from: drtic on 10.06.2011, 01:45:38
V prednaske o akcnej semantike bolo viacero zmien, ostatne su priblizne rovnake.
ja som mal na skuske otazku z akcnej, a ucil som sa len z tych neaktualnych, a dal som to vpohode ;)
Quote from: Cheiftan on 09.06.2011, 15:02:45
dufam ze kazdy spravil vcera
vraj bolo jedno FX aspon kym som ja siel dovnutra a to vraj typek Slodicakovi rovno povedal ze teoriu som sa neucil tak mu povedal nieco v style tak potom sa nemame o com bavit.
Inac co sa tyka skusky tak celkom da sa, videl som par ludi aj externu pamat pouzivat ale nespoliehal by som sa vylucne na to. Inac u mna skusajuci Slodicak a na to kolko som vedel som dostal az prehnane vela bodov takze z mojho pohladu pohoda. Inac moje otazky:
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokazte ekvivalenciu cyklu while pre naturalnu a operacnu(??? denotacnu uz nepamatam) pomocou strukturalnej indukcie
T: Typy udajov v akcnej semantike
p.s. otazky su v obalkach pomiesane takze akekolvek kalkulovanie s tahanim odpada.
moje boli
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokaz v druhej prednaske pre binarne cisla
T: Paradigmy programovania prva prednaska
s tym ze otazky sa po vypracovani vratia spat do obalok cize sa mozu aj opakovat :)
T: principy nepriamej denotacnej semantiky
D: semanticka ekvivalencia while b do S; a if b then (S; while b do S) else skip;
P: pravidla pre cyklus for pre naturalnu, strukturalnu operacnu a denotacnu semantiku
Tých pár otázok čo sem dali dotera:
18.05.2011, 12:42:51
T: VLASTNOSTI NS
P: Spravit graf danych fcii
D: Strukturalna I. pre postupnost prikazov
18.05.2011, 13:13:17
T denotacia cyklu while
P case
D ak if(while) potom while
18.05.2011, 16:37:27
T: základné vlastnosti štrukturálnej operačnej sémantiky, popísať odvodzovacie pravidlá
P: denotácia príkazu if v tvare: if(podmienka)then prikaz else if (podmienka) then skip else prikaz; (prikaz a podmienka boli reálne podmienky a priraďovacie príkazy)
D: postupnosť príkazov v NS a OS
18.05.2011, 17:13:54
T: syntax a semantika deklaracii v naturalnej semantike
D: S1=while b do S,s S2=if...(while),s dokazte semanticku ekvivalenciu
P: rozsirte syntax a semantiku vyrazov o celociselne delenie, pripadne div, mod
03.06.2011, 09:07:49
Ja by som to zhrnul takto:
--------------------------------------------------------------------------------------------------------------------------------------------------
P2: Dokaz strukturalnou indukciou uplnej definovanosti semantickej funkcie pre binarne cisla(+ treba vediet co je to strukturalna indukcia).
P3: Dokaz semantickej ekvivalencie prikazov while(b) do S; a if (b) then (while(b) do S);.
P4: Dokaz ekvivalencie naturalnej a strukturalnej operacnej semantiky.
P6: Dokaz korektnosti abstraktnej implementaci JPJ na abstraktnom stroji pre:
- artimeticke vyrazy JPJ,
- boolovske vyrazy JPJ,
- prikazy JPJ.
P8: Dokaz ekvivalencie denotacnej a operacnej semantiky.
--------------------------------------------------------------------------------------------------------------------------------------------------
12.06.2011, 12:02:54
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokazte ekvivalenciu cyklu while pre naturalnu a operacnu(Huh denotacnu uz nepamatam) pomocou strukturalnej indukcie
T: Typy udajov v akcnej semantike
12.06.2011, 12:17:34
P: Rozsirte jazyk o prikaz cyklu repeat a napiste k nemu naturalnu, operacnu a denotacnu semantiku
D: dokaz v druhej prednaske pre binarne cisla
T: Paradigmy programovania prva prednaska
13.06.2011, 06:53:36
T: principy nepriamej denotacnej semantiky
D: semanticka ekvivalencia while b do S; a if b then (S; while b do S) else skip;
P: pravidla pre cyklus for pre naturalnu, strukturalnu operacnu a denotacnu semantiku
22.06.2011, 12:37:03
D: dokaz pre while v smere z Operacnej -> Naturalnej semantiky
P: zrobte denotaciu prikazu while ¬(x=3) then x:=x+1
T: definicia funkcie, vlastnosti fcie a graf funkcie pri pouziti v denotacnej semantike prikazu while
29.06.2011
P: n++ - syntax,semantika, b1<>b2 - syntax,semantika
D: dokaz ekvivalencie strukturalnej a naturalnej semantiky pre sekvenciu prikazov
T: prikaz while v akcnej semantike
rozsirte syntax a semantiku vyrazov o celociselne delenie, pripadne div, mod
to akoze rekurzivne za pomoci prirastku a porovnavania, alebo ako ?
D: dokaz pre while v smere z Operacnej -> Naturalnej semantiky
P: zrobte denotaciu prikazu while ¬(x=3) then x:=x+1
T: definicia funkcie, vlastnosti fcie a graf funkcie pri pouziti v denotacnej semantike
Quote from: Havran on 22.06.2011, 19:29:37
D: dokaz pre while v smere z Operacnej -> Naturalnej semantiky
P: zrobte denotaciu prikazu while ¬(x=3) then x:=x+1
T: definicia funkcie, vlastnosti fcie a graf funkcie pri pouziti v denotacnej semantike prikazu while
takto...
Quote from: t0Mi on 22.06.2011, 19:37:03
Quote from: Havran on 22.06.2011, 19:29:37
D: dokaz pre while v smere z Operacnej -> Naturalnej semantiky
P: zrobte denotaciu prikazu while ¬(x=3) then x:=x+1
T: definicia funkcie, vlastnosti fcie a graf funkcie pri pouziti v denotacnej semantike prikazu while
takto...
jj, este ze su tu ti spravny ludia :)
dufam ze dnes vsetciu spravili a maju prazdniny
aki boli dnes? ako skusali?
Novitzska a Lalova skusali
a co ja viem, ja som bol u Novitzskej a velmi v pohode bolo, dobre na nej je, ze ked mas priklad, v podstate ho ani nemusis vyriesit, len jej musis vediet povedat ako sa ma riesit
pri Lalovej uplne v pohode,ale zase som mal ku vsetkemu nieco :p otazky som mal z tych co tu uz su postnute
btw kto mi zmazl fffffffuuuuuuu obrazok? ma to umelecku hodnotu :pusta: