Sémantika programovacích jazykov

[puq]

                     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

[trek]

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

no este ako tak pozeram blizsie tak tie stavy v NS su kus zle ..s2 tam nema byt vobec

edit: dik puq uz to vidim

[johnyo13]

v NS je zle len ta najvyssia uroven, ci aj ta pod nou?  konkretne tie indexy pri "s"

[trek]

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

[ApokalypS]

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;

tolko si pamätam..
okrem toho, ze nam povedal cely druhy a stvrty priklad a v miestnosti bol hluk, tak to bolo v pohode

[provasik]

Fibonaci sa mi krvi napil dpc ...

[pepco]

neviem, zrejme uz nema nikto zajtra cviko... ale podarilo sa mi odfotit skupiny co sme mali na pisomke (tusim jedna je v horsiej viditelnosti, neviem ako to bude vidno na kompe, este som nepozeral)... tak neviem ci to niekoho trapi a chce vidiet alebo nie, kedze uz je po vsetkom

[trek]

este je tu opravna pisomka

[pepco]

podla mna nebude opravna, ved 20b budu mat vsetci a z 20b co je za pisomku snad uz len nieco chytite

[trek]

aj ked niekto nebol na prezencke tak bude 20 b?

[pepco]

jj tak bolo povedane na prvej prednaske, ved tu prezencku robil Slodicak, keby nahodou, ved nevedel, ze netreba...

[sandusky]

jj tak bolo povedane na prvej prednaske, ved tu prezencku robil Slodicak, keby nahodou, ved nevedel, ze netreba...

aku prezencku zas robil? a co netreba?

[SSPPYY]

Prezencky uz su oficialne. Dokopy budu 3, teda este 2.
Slubenych je len 9b za prednasky, ale skuste porozmyslat za co asi tak bude 11b za aktivitu 

[ppt]

Cvicenie v 12tom tyzdni nebude v ziadnej skupine! V 13tom tyzdni budu cvicenia len konzultacne-takze nie je potreba prist.

[ApokalypS]

nice a to z akeho dovodu? nemame co pocitat? ved na skuske nebudu priklady?

a do indexu bude zapisovat? ci nato mozem zabudnut?

[ppt]

Tak asi uz neni co
Na dverach budu buduci tyzden papieriky, ze "cvicenie sa kona v nahradnom termine", pricom na nahradny termin sa nam zahadne nikde nenajde miesto, takze buduci tyzden nemame.

[ApokalypS]

aha, fajn aspon sa pojde skor domov

[FrozenX]

Cvicenia buduci tyzden nebudu, ale prednaska bude... takze keby niekomu chybalo cviko stale si moze ist vypocut, co to o semantike na prednasku  *Uz vidim tie zastupy*

[zuzanka]

Cvicenie v 12tom tyzdni nebude v ziadnej skupine! V 13tom tyzdni budu cvicenia len konzultacne-takze nie je potreba prist.

to aj pre cviko so slecnou Lalovou plati? lebo vraj to vravel pan Slodicak

[Speedy2003]

taktiez by ma zaujimalo ci sa mam rano vstavat na cviko 7.30 alebo nie, tak ak mate nejake info o cviceniach so slecnou Lalovou, tak budeme urcite viacery vdacny

[trek]

ee netreba vstavat ..slodicak vravel ze to plati pre vsetkych

[ppt]

Jop, cvika nema ziadna skupina.

[BCAA]

neviem ci viete   ale prednasky boli dost inspirovane touto knizkou  http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html

kto vie po anglicky vie ta kniha vysvetlit vela (si pamatam ze som bol dost debil z denotacnej semantiky  a tam je to pekne vysvetlene)

[dungeo]

hellou, peoplesaci, mam otazocku pre tych, co sa chystaju na predtermin - boli na prednaske nejake typy, co by sa tam asi tak mohlo vyskytnut? prip. ak mate niekto kompletne poznamky z posledneho cvika alebo aj ostatnych cvik, mohli by ste ich vyshareovat aj pre tych, ktori ich nemaju kompletne? A su niekde minulorocne skusky? Diks

[ApokalypS]

nie, na prednaske nic blizsie povedane bohuzial nebolo.. len tolko, ze oficialny tahak bude a ziadne ine si robit nemame