Author Topic: Sémantika programovacích jazykov  (Read 33062 times)

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #75 on: 24.05.2009, 17:08:04 »
a co je natom oficialnom tahaku ?
read my blog> www.codemazing.com <read my blog

BCAA

  • Hero Member
  • *****
  • Posts: 673
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #76 on: 24.05.2009, 17:33:28 »
hmm ta bude interesting skuska
« Last Edit: 24.05.2009, 17:57:11 by BCAA »

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #77 on: 24.05.2009, 19:54:49 »
a co je natom oficialnom tahaku ?
read my blog> www.codemazing.com <read my blog

Ing. nemtom

  • Global Moderator
  • Hero Member
  • *****
  • Posts: 7709
  • lofr dyslektik
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #78 on: 24.05.2009, 19:56:21 »
na tahaku su vsetky pravidla az po abstraktny syntakticky stroj a denotacne semantiky obidve, takze v pohode.. tusim aj tie funkcionaly su tam definovane k tym pravidlam..
...
kto chce vidiet tahak, mam info ze si ho moze prist prezriet k novitzkej alebo slodicakovi, ale na web ho dat nemozu
brix will be shat

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #79 on: 24.05.2009, 20:12:03 »
taze ked sa ucim dynamicku, staticku kombinovanu semantiku tak sami netreba ucit tie pravidla ? opisem ich z tahaku ze ? tak k teorii ,ze ? alebo ni ?
read my blog> www.codemazing.com <read my blog

mishelka

  • Hero Member
  • *****
  • Posts: 4269
  • Bacikova, nie Kreutzova. Bacikova!! :D
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #80 on: 25.05.2009, 04:51:15 »
taze ked sa ucim dynamicku, staticku kombinovanu semantiku tak sami netreba ucit tie pravidla ? opisem ich z tahaku ze ? tak k teorii ,ze ? alebo ni ?
a musis vediet co znamenaju, budu od teba chciet ak sa to tvojej otazky tyka (cize napr. dostanes: definujte naturalnu semantiku, co to je, blaboly okolo toho - tak si napises svoje a potom on bude od teba chciet aj pravidla naturalnej semantiky povedat ze o com su a co robia)
  

#define TRUE FALSE //Happy debugging suckers :D

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #81 on: 25.05.2009, 21:25:38 »
na tahaku su vsetky pravidla az po abstraktny syntakticky stroj a denotacne semantiky obidve, takze v pohode.. tusim aj tie funkcionaly su tam definovane k tym pravidlam..
...
kto chce vidiet tahak, mam info ze si ho moze prist prezriet k novitzkej alebo slodicakovi, ale na web ho dat nemozu


taze su tam aj tie funkcie na preklad programu do instrukcii abstraktneho stroja ?
read my blog> www.codemazing.com <read my blog

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #82 on: 25.05.2009, 22:36:45 »
jooj boze boze, a inak ako hodnotia ? mierne ? staci malo ku kazdemu a som presiel? alebo treba vela a itak som nepresiel ? :)
read my blog> www.codemazing.com <read my blog

paly-sk

  • Full Member
  • ***
  • Posts: 208
    • View Profile
    • Flexi Systems
Re: Sémantika programovacích jazykov
« Reply #83 on: 25.05.2009, 23:29:41 »
jooj boze boze, a inak ako hodnotia ? mierne ? staci malo ku kazdemu a som presiel? alebo treba vela a itak som nepresiel ? :)
Myslim, ze hodnotia v pohode vsetci (aspon minuly stvrtok, co bola Novitzka, Verbova aj Mihalyi). Ja som chcel ist ku Verbovej, ale furt ma niekto predbehol, tak som isiel ku Novitzkej a mozno hodnotila este lepsie ako ti dvaja. Este jedna vec - Novitzka sa nepozera na zapocet, ostatni hej, takze kazdy zacina akoby od nuly. Minule spravil asi kazdy, tak snad ta to potesi ;-)
Jabber: paly@jabbim.sk
Web: www.flexisystems.sk

LM

  • Hero Member
  • *****
  • Posts: 627
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #84 on: 25.05.2009, 23:32:54 »
kurna este aj dokazy su...
jooooj ja tak neznasam dokazy... slak aby to trafil...
NEZNASAM SPJ...

ja to asi prvykrat vidim na dalsi termin, lebo sa mi to nejako nechce natlacit do hlavy.
Ved staticky semantiku jednoducheho jazyka s blokmi som sa ucil cca 2 hodiny...
ved to je na hlavu...
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

LM

  • Hero Member
  • *****
  • Posts: 627
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #85 on: 26.05.2009, 00:09:37 »
sakra, preco sa neaplikuje pristup kollara, alebo sobotu...
ved to by som bol ako rad :)

kurna more, ale tak som presiel zhruba 7 prednasok, a idem mi puknut hlava, a o tom ze mam dokazat ze nieco je deterministicke som nevidel ani ciarku, hoci predpokladam ze by som to asi nejako dokazoval, ale v prednaskach je napisane az:
Ak alfa => alfa` a alfa=> alfa`` potom alfa`=alfa``
akoze fakt, veta je, ale dokaz vsetho vsudi chybi  :)

to aby som zajtra a v stredu este pekne dlho posedel nad tymi vecami, ale zatim co som videl tak priklady by som asi dal ak by som mal pravidla :).
Inaksie ten tahaj je robeny tak ze vsetky pravidla co tam su, idu presne tak ako su v prednaskach, takze ked ma niekto chut tak nech spravi taky tahacik :) ...

slak aby do rana vsetko trafil, vecer si asi spravim tahak aby som si to odskusal v stredu aj s tahakom a chcem si prejst aj priklady a dokazy co su v prednaskach ci by som s tahakom vedel...


Inaksie akeho somara napadlo spravit z tohto povinny predmet, doteraz som si myslel ze silny odpor pocitujem iba voci predmentom doc. Havliceho, ale zistujem ze predmety prof. Novitzkej mi zacinaju byt akosi tiez proti srti :)
to este aj predmety od prof. Hudaka boli asi lepsie :)
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

mishelka

  • Hero Member
  • *****
  • Posts: 4269
  • Bacikova, nie Kreutzova. Bacikova!! :D
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #86 on: 26.05.2009, 03:23:45 »
dokazy sa ucte, jedna samostatna otazka je cast dokazu... odporucam to vediet, aspon cosi mate iste ak sa ostatne netrafite...

LM tento predmet je podla mna absolutne jednoduchucky, (ok, ked nepocitam slodicakove prednasky, tie su killer) oproti havlicemu alebo hudakovi uplna lahoda. Da sa to naucit, len tomu treba chapat.. Uc sa tak, aby si to vedel s tych pravidiel vsetko odvodit (teda napr. definiciu naturalnej semantiky odvodis z pravidiel lahucko)... ostatok sa, bohuzial, uz len biflit...
« Last Edit: 26.05.2009, 03:26:46 by mishelka »
  

#define TRUE FALSE //Happy debugging suckers :D

BCAA

  • Hero Member
  • *****
  • Posts: 673
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #87 on: 26.05.2009, 04:34:11 »
hmm ta ta posledna veta ze sa bilflit   to neni velmo vysokoskolska veta :D  a sa mi vobec nelubi

teda ja som zasadny odporca biflenia    biflovanie este nikdy nikomu nepomohlo :D  (a biflovanie je zabijak kreativity :))

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #88 on: 26.05.2009, 05:16:44 »
inak tahakovat sa da ?
read my blog> www.codemazing.com <read my blog

paly-sk

  • Full Member
  • ***
  • Posts: 208
    • View Profile
    • Flexi Systems
Re: Sémantika programovacích jazykov
« Reply #89 on: 26.05.2009, 06:46:22 »
inak tahakovat sa da ?
da sa tahakovat a aj radit sa da, niekedy tam bol dost velky hluk, ked si novitzka odskocila, ale tym dvom skusajucim to ocividne nevadilo :D
Jabber: paly@jabbim.sk
Web: www.flexisystems.sk

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #90 on: 26.05.2009, 16:51:23 »
este taka strasne podstatna otazka, pisem na vlastny papier alebo na ich dajaky gadzi papier ?
read my blog> www.codemazing.com <read my blog

paly-sk

  • Full Member
  • ***
  • Posts: 208
    • View Profile
    • Flexi Systems
Re: Sémantika programovacích jazykov
« Reply #91 on: 26.05.2009, 18:08:59 »
este taka strasne podstatna otazka, pisem na vlastny papier alebo na ich dajaky gadzi papier ?
papier dostanes - taky velky :)
Jabber: paly@jabbim.sk
Web: www.flexisystems.sk

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #92 on: 26.05.2009, 19:39:26 »
inak to take Ecko sa eni neda ziskat ni? ked vsecko treba mat ne ? ale toto je jaka kktina, nemoze byt kazdy vsevediaci pice
read my blog> www.codemazing.com <read my blog

rolin21

  • Full Member
  • ***
  • Posts: 110
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #93 on: 26.05.2009, 19:53:24 »
za aky cas (kolko dni) sa to da vsetko naucit ?? :)

Ing. nemtom

  • Global Moderator
  • Hero Member
  • *****
  • Posts: 7709
  • lofr dyslektik
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #94 on: 26.05.2009, 20:21:40 »
fakt by sa mohol este dakto podelit ake mal otazky
brix will be shat

paly-sk

  • Full Member
  • ***
  • Posts: 208
    • View Profile
    • Flexi Systems
Re: Sémantika programovacích jazykov
« Reply #95 on: 26.05.2009, 22:19:30 »
fakt by sa mohol este dakto podelit ake mal otazky
ja som mal nenormalne stastie pri tahani - vsetky otazky som mal ohladom naturalnej semantiky:

Priklad: Cyklus s 3 iteraciami a z toho konstruovat odvodzovaci strom.

Dokaz: Dokazat semanticku ekvivalentnost S1 a S2.
    S1 = while b do S
    S2 = if b then (S; while b do S) else skip

Teoria: Semantika aritmetickych vyrazov a boolovskych vyrazov.
Jabber: paly@jabbim.sk
Web: www.flexisystems.sk

LM

  • Hero Member
  • *****
  • Posts: 627
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #96 on: 26.05.2009, 23:26:33 »
ako oblubena veta odteraz:
pouzitie semantickych rovnic pre dodanie induktivnych definicii kompozicnych semantickych funkcii zobrazujucich streomy do semantickych entit.

Vedel by mi niekto vysvetlit co tato veta znamena ?
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #97 on: 27.05.2009, 00:43:55 »
ako oblubena veta odteraz:
pouzitie semantickych rovnic pre dodanie induktivnych definicii kompozicnych semantickych funkcii zobrazujucich streomy do semantickych entit.

Vedel by mi niekto vysvetlit co tato veta znamena ?


hej ta veta sa aj mne lubi, zrejme clovek ktory vyrabal tie slajdy ,velke znalosti o pedagogii nemaa , ale zato dokonale ukazal aku ma slovnu zasobu cudzich slov
read my blog> www.codemazing.com <read my blog

LM

  • Hero Member
  • *****
  • Posts: 627
    • View Profile
Re: Sémantika programovacích jazykov
« Reply #98 on: 27.05.2009, 00:52:27 »
ako keby napisali polopate:
ma t orovnice co definuju nejake funckie.
tie funkcie nejako zobrazuju stromy do entit.

ale i tak je to zlozite :)
Hardware: the parts of a computer that can be kicked.
- Jeff Pesis

   Who's General Failure and why's he reading my disk?
- Anonymous

   Internet is so big, so powerful and pointless that for some people it is a complete substitute for life.
- Andrew Brown

psicho

  • VIP
  • Hero Member
  • *****
  • Posts: 3173
  • Markus[pSicho]Fesi
    • View Profile
    • codemazing
Re: Sémantika programovacích jazykov
« Reply #99 on: 27.05.2009, 02:05:13 »
dakde som cital alebo od dakoho pocul uz neviem, ze clovek ftedy chape dajakej problematike ked tu vec vie vysvetlit aj uplne polopasticky , hocjakemu na ulici

a potom ked clovek precita taketo prezentacie.........tak potom sa ja nepostupam k zaverom :D respektive k zaverom som dospel , len ich tu nenapisem :D
read my blog> www.codemazing.com <read my blog