Sémantika programovacích jazykov

[Hunterko]

po 5tu prednasku vratane ci ako to bolo neviete ? )) nehovorim ze to idem citat len aby som mal prehlad

[Casso]

po 5tu prednasku vratane ci ako to bolo neviete ? )) nehovorim ze to idem citat len aby som mal prehlad

nn, lebo nieco bude aj zo 6. a 7ej, takze takto to brat nemozes, kedze bol spominany aj abstraktny stroj

[trek]

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)
5.program - naturalna semantika
6.program - operacna semantika
7.program - abstraktny strom

nic viac, nic menej

[ApokalypS]

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, takze asi nic tazke, ak tomu chapeme, co sa o mne povedat neda

este taka poznamka, ze na A4 bude nejaky ten oficialny tahak pre kazdeho..

[sandusky]

Staticka ani dynamicka nebude. Otazky su ine ako v minulom roku.

s kade vies ake budu otazky?

opytali sme sa po cviku

[sandusky]

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)
5.program - naturalna semantika
6.program - operacna semantika
7.program - abstraktny strom

nic viac, nic menej

k bodu 4 - tusim vravel, ze "aj" vyhodnotenie vyrazu, aj nejake volne premenne, aj neviem co este

[puq]

sak logicky ze nedaju tie iste cykly alebo tie iste prikazy pri SOS a NS...ale rosirenie semantiky algebraickych vyrazov a rozsirenie semantiky boolovskych vyrazov bude urcite rovnake...tam nemaju vela toho co vymyslat a neverim ze zarubu nejake nezmysly....semantika bin.cisel mas jedno aky priklad, abstraktny strom to iste...cize ked tak bude rovnake resp. mas jedno ci budu alebo ee

[roman5555]

nehodi sem niekto cvika popripade priklad na kazdy z tych 7 bodov ?? lebo som nebol na kazdom cviku a nemam vsetko . Dakujem

[Speedy2003]

nemoze niekto hodit na net nejaky priklad k 4. bodu, lebo neviem presne co sa tym myslim, ani sa mi nezda ze by sme nieco take brali na cvikach, pripadne nemame ten priklad dokonceny. K tomu 7 bodu ten abstraktny strom je myslene to co sme robili na prvom cviku(cize derivacny strom s e,n a s)?

[dalcasian]

- nj Mihalyi spominal, ze bude dake FV, ak si dobre spominam ... pozeram, ze v zosite mam k tomu velke pachnuce 
- pytal som sa ci bude ten strom z prveho cvicenia a ze nebude Vraj T1, T2...atd, ze to je strom len sme to zapisovali pod seba koli prehliadnosti ... 

[Casso]

nemoze niekto hodit na net nejaky priklad k 4. bodu, lebo neviem presne co sa tym myslim, ani sa mi nezda ze by sme nieco take brali na cvikach, pripadne nemame ten priklad dokonceny.

pod algrbraickym/boolovskym vyrazom sa mysli napr: B[[ (x<x+1) /\ (x=x) ]] , my sme to mali na 3. cviku.
Edit: ak velmi tuzis po nascanovanom priklade, mozem ho scannut, ale moj pisomny prejav nieje najkrajsi O:-)

K tomu 7 bodu ten abstraktny strom je myslene to co sme robili na prvom cviku(cize derivacny strom s e,n a s)?

7. bod aj ja to tak chapem, ze vlastne program ktory dostaneme ako zadanie k 5. 6. a 7. ulohe bude treba prekreslit na strom (jednoduche, preto su za to len dva body)

Este by som doplnil k tym 7im uloham bodove ohodnotenie: 3, 3, 2, 2, 4, 4, 2

[dalcasian]

-ja nemam 6 cvicenie...neoskenuje ho sem niekto? Dakujem 

[Casso]

-ja nemam 6 cvicenie...neoskenuje ho sem niekto? Dakujem 

6. cviko u nas bola staticka a dynamicka semantika, to na pisomke nebude

[dalcasian]

-ja nemam 6 cvicenie...neoskenuje ho sem niekto? Dakujem 

6. cviko u nas bola staticka a dynamicka semantika, to na pisomke nebude

-tak potom to co je pred tym ... lebo tuto hovadinu mam a cviko co bolo pred tym nemam

[Speedy2003]

ja som uz z toho debil co co znamena, napr. aky typ prikladu bol na cvikach na body
1.rosirenie semantiky algebraickych vyrazov
2.rozsirenie semantiky boolovskych vyrazov

[Casso]

ja som uz z toho debil co co znamena, napr. aky typ prikladu bol na cvikach na body
1.rosirenie semantiky algebraickych vyrazov

Rozsirte jednoduchy programovaci jazyk o exponent e₁^e₂ (riesenie bolo na prednaske)

2.rozsirenie semantiky boolovskych vyrazov

Rozsirte jednoduchy programovaci jazyk o operator implikácie (e₁->e₂) (taktiez bolo na prednaske)

[Speedy2003]

ja som uz z toho debil co co znamena, napr. aky typ prikladu bol na cvikach na body
1.rosirenie semantiky algebraickych vyrazov

Rozsirte jednoduchy programovaci jazyk o exponent e₁^e₂ (riesenie bolo na prednaske)

2.rozsirenie semantiky boolovskych vyrazov

Rozsirte jednoduchy programovaci jazyk o operator implikácie (e₁->e₂) (taktiez bolo na prednaske)

a nemohol by si to prosim ta naskenovat a niekde hodit?

[Casso]

a nemohol by si to prosim ta naskenovat a niekde hodit?

hadam z toho vyjdete...
http://casso.ic.cz/temp/spj12.bmp

[Speedy2003]

diky, a to bude staci takto napisat, nic viac?

[Casso]

diky, a to bude staci takto napisat, nic viac?

imho, toto je vsetko co k tomu prikladu bude treba. Aj Slodicak hovoril ze ta pisomka ma byt lahka, a s.o.s a n.s. budu kratke, tak na 5 riadkov resp. urovni stromu.

[puq]

potom ak ma niekto napady na dalsie rozsirenia syntaxe co by mohli byt na pisomke nech napise...minuleho roku bola napriklad absolutna hodnota, dalej pri boolovskych vyrazoch mozu byt lubovolne operacie(or,xor,nand,ekvivalencia atd...)

[Casso]

potom ak ma niekto napady na dalsie rozsirenia syntaxe co by mohli byt na pisomke nech napise...minuleho roku bola napriklad absolutna hodnota, dalej pri boolovskych vyrazoch mozu byt lubovolne operacie(or,xor,nand,ekvivalencia atd...)

dalsie aritmeticke vyrazy napriklad: min(e1 e2), max, sign (e) - vrati 1 ak e je kladne, 0 ak je nulove a -1 ak zaporne,

z boolovskych... pre jednu premennu su styri funkcie, pre dve je ich dokopy 16, vsetky sa robia prakticky rovnako

[Casso]

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)

[Speedy2003]

este pre doplnenie, tak 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.

[Freemenik]

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)

mohol by si prosim ta, tie priklady aj vzorovo vyrat, aby som vedel co vsetko k tomu treba napisat a hlavne ako  vdaka