« predchádzajúce ďalšie »
Pages: 1 ... 3 4 [5] 6 7 8

Author Topic: SPJ - Sémantika programovacích jazykov  (Read 54368 times)

domino3d

  • Full Member
  • ***
  • Posts: 161
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #100 on: 10.05.2011, 03:03:12 »
Logged
vivat academicus

plexisklo

  • Hero Member
  • *****
  • Posts: 629
  • "I have PhDr. in kicking your ass"
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #101 on: 10.05.2011, 03:06:07 »
Logged
I´ma kick open the door of the oval office an I´ma chop that motherfuckin desk in half - Byaaah!!
pwn

domino3d

  • Full Member
  • ***
  • Posts: 161
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #102 on: 10.05.2011, 03:15:05 »
Logged
vivat academicus

scream

  • Hero Member
  • *****
  • Posts: 534
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #103 on: 10.05.2011, 03:27:11 »
...na opravak poprosim este daco tazsie... a viac prikladov ked sa da... idealne daco co sme na cviku ani nemali...
Logged

jim-beam33

  • Jr. Member
  • **
  • Posts: 56
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #104 on: 10.05.2011, 20:56:15 »
ktore veci urcite NEBUDU na predtermine?
Logged

kilomassa

  • Sr. Member
  • ****
  • Posts: 289
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #105 on: 11.05.2011, 23:07:00 »
kto este chodi na forum a bol dnes na predtermine mohol by sa podelit ako to vyzeralo a co bolo
Logged

ivo261as

  • Sr. Member
  • ****
  • Posts: 315
  • lorem ipsum...
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #106 on: 15.05.2011, 01:07:56 »
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 :)
Logged
If you can't finish your work in 24 hours, work at night.
http://www.utfg.net/

ivo261as

  • Sr. Member
  • ****
  • Posts: 315
  • lorem ipsum...
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #107 on: 15.05.2011, 06:13:23 »
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...
Logged
If you can't finish your work in 24 hours, work at night.
http://www.utfg.net/

elvolcanoik

  • Jr. Member
  • **
  • Posts: 77
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #108 on: 15.05.2011, 20:26:11 »
niekto kto xce ist 18.5. ?? ... vymenim termin ... PM
Logged

Havran

  • Hero Member
  • *****
  • Posts: 2003
  • Here comes the fuzz
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #109 on: 15.05.2011, 20:59:34 »
WTF to si robia srandu ze dalsi termin po 8.6 je az 22
Logged
Achievement of your happiness is the only moral purpose of your life.

sandusky

  • Newbie
  • *
  • Posts: 18
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #110 on: 16.05.2011, 03:49:13 »
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 ...
Logged

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #111 on: 16.05.2011, 03:54:38 »
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
Logged

nezabudka88

  • Newbie
  • *
  • Posts: 19
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #112 on: 16.05.2011, 12:43:05 »
Moze niekto napisat ktore vsetky dokazy je treba vediet, z ktorych prednasok? Dakujem.
Logged

jim-beam33

  • Jr. Member
  • **
  • Posts: 56
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #113 on: 16.05.2011, 23:50:23 »
Moze sa na skuske vyskytnu priklad na AKCNU sematniku alebo moze byt teoria z Algebraickej semantiky???????????
Logged

ivo261as

  • Sr. Member
  • ****
  • Posts: 315
  • lorem ipsum...
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #114 on: 17.05.2011, 00:02:00 »
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...
Logged
If you can't finish your work in 24 hours, work at night.
http://www.utfg.net/

jardo

  • Sr. Member
  • ****
  • Posts: 288
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #115 on: 17.05.2011, 00:38:59 »
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
Logged

Matejus

  • Guest
Re: SPJ - Sémantika programovacích jazykov
« Reply #116 on: 17.05.2011, 03:59:13 »
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í.
« Last Edit: 17.05.2011, 04:14:14 by Domino3D »
Logged

drtic

  • Full Member
  • ***
  • Posts: 200
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #117 on: 17.05.2011, 14:22:26 »
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.
Logged

ivo261as

  • Sr. Member
  • ****
  • Posts: 315
  • lorem ipsum...
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #118 on: 17.05.2011, 21:40:09 »
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ď
Logged
If you can't finish your work in 24 hours, work at night.
http://www.utfg.net/

kilomassa

  • Sr. Member
  • ****
  • Posts: 289
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #119 on: 17.05.2011, 23:00:52 »
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?
Logged

drtic

  • Full Member
  • ***
  • Posts: 200
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #120 on: 17.05.2011, 23:18:25 »
Staci si to napisat v zachytnych bodoch a vysvetlis pri odpovedi.
Logged

ivo261as

  • Sr. Member
  • ****
  • Posts: 315
  • lorem ipsum...
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #121 on: 18.05.2011, 01:00:26 »
http://vlkodlak2.ic.cz/AAAAAAAAAAAAAAAAA/?mod=1 je tam čosi popísané o akčnej a naturálnej sémantike :)
Logged
If you can't finish your work in 24 hours, work at night.
http://www.utfg.net/

ownz

  • Newbie
  • *
  • Posts: 19
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #122 on: 18.05.2011, 19:42:51 »
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
Logged

kilomassa

  • Sr. Member
  • ****
  • Posts: 289
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #123 on: 18.05.2011, 20:13:17 »
T denotacia cyklu while
P case
D ak if(while) potom while
Logged

Achilus13

  • Jr. Member
  • **
  • Posts: 55
    • View Profile
Re: SPJ - Sémantika programovacích jazykov
« Reply #124 on: 18.05.2011, 20:22:58 »
dnes neurobil myslím že len jeden a skúšali už aj macko a ľaľová ale najlepší bol Slodičák!!!!! D(67) ;)
Logged
Pages: 1 ... 3 4 [5] 6 7 8
« predchádzajúce ďalšie »