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