• Welcome to TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach.
 

Sémantika programovacích jazykov

Started by JackSparrow, 22.02.2010, 06:00:04

« predchdzajce - alie »

puq

#75
                     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

#76
Quote from: DeNaTuReMaN on  15.04.2010, 17: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

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 :)
80% mozgu človeka tvorí kvapalina, v mojom prípade brzdová..

CHCEM S5 :zuzka: STARY IS :zuzka: !!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/

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


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

Quote from: pepco on  16.04.2010, 04:21:56
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  :P

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?
80% mozgu človeka tvorí kvapalina, v mojom prípade brzdová..

CHCEM S5 :zuzka: STARY IS :zuzka: !!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/

ppt

#90
Tak asi uz neni co ;D
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
80% mozgu človeka tvorí kvapalina, v mojom prípade brzdová..

CHCEM S5 :zuzka: STARY IS :zuzka: !!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/

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*
"To obtain, something of equal value must be lost."

zuzanka

Quote from: ppt on  29.04.2010, 20:23:56
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
Byt mŕtvy, nebyť.....je sladké preto, že je to omnoho viac než spánok, je to mier, upokojenie, koniec bolesti a trampôt; ale túto vrcholnú slasť, akú možno ľudskému tvorovi dopriať, mŕtva bytosť už neprežíva, necíti.

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 :D

trek

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

ppt


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
Základom automatizácie tvorby jazykových procesorov je ekvivalencia reprezentácie jazyka generovaním a rozpoznávaním.

ApokalypS

nie, na prednaske nic blizsie povedane bohuzial nebolo.. len tolko, ze oficialny tahak bude a ziadne ine si robit nemame :D
80% mozgu človeka tvorí kvapalina, v mojom prípade brzdová..

CHCEM S5 :zuzka: STARY IS :zuzka: !!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/