mohol by tu dakto hodit nejaky egzampel ako ma vlastny jazyk vyzerat?
ja sa oh uz treti den snaizm od niekoho vymamit :))
ja nič nemám ale keby som mala tak to sem dám :)) sakra to je ale súvetie :D
Ako bolo tu niečo spomenuté že vzťahy na pracovisku už boli, tak vymýšľajte niečo podobné...
ta akoze vymysliet nejaky vztah neni problem, ale ako to treba napisat na skuske, ne napr:
a->b = a zmutuje do b
b<<a = b vzniklo zmutovanim a
a:tuke => a<|> = a je tuke a a patri viete kam
// skratka ci ide o taketo popisanie vztahov abo daco take
Quote from: nemtom on 12.06.2007, 20:32:33
ta akoze vymysliet nejaky vztah neni problem, ale ako to treba napisat na skuske, ne napr:
a->b = a zmutuje do b
b<<a = b vzniklo zmutovanim a
a:tuke => a<|> = a je tuke a a patri viete kam
// skratka ci ide o taketo popisanie vztahov abo daco take
myslim ze daco take... a mozno este nejake axiomy...
no akoze podstatne su vazne este tie axiomy... a potom este popisat, ze aky vztah je co....
no ale tak ked tak chcete mozem tu nieco zapotit, ale to bola len taka priprava pred skuskou, potom som o inom pisal:
x O y .... byt vzajomne vo vojne
x ! y ... x vyhralo nad y
H(x) ... x je vitaz
(pricom je DOLEZITE pri pisomke poznamenat akeho typu su tieto zadefinovane symboly... u mna su to vsetko predikaty... ale mozete mat aj funkcie (ked si dobre pamatam nazov))
axiomy (pricom V je vseobecny kvantifikator a E je existencny)
x O y <=> y O x
x ! y => neg (y ! x)
H(x) <=> (Vy) (x O y & x ! y)
neg H(x) <=> (Ey) (x O y & neg(x ! y))
(x ! y & y ! x) => x = y
(H(x) & H(y)) => x = y
ako ludia je tam toho niekedz mozno naviac ale tha stale dat viac... ale nieze teraz kazdy bude mat rovnake :D :D :D
Quote from: DeeL on 13.06.2007, 02:54:31
no akoze podstatne su vazne este tie axiomy... a potom este popisat, ze aky vztah je co....
no ale tak ked tak chcete mozem tu nieco zapotit, ale to bola len taka priprava pred skuskou, potom som o inom pisal:
x O y .... byt vzajomne vo vojne
x ! y ... x vyhralo nad y
H(x) ... x je vitaz
(pricom je DOLEZITE pri pisomke poznamenat akeho typu su tieto zadefinovane symboly... u mna su to vsetko predikaty... ale mozete mat aj funkcie (ked si dobre pamatam nazov))
axiomy (pricom V je vseobecny kvantifikator a E je existencny)
x O y <=> y O x
x ! y => neg (y ! x)
H(x) <=> (Vy) (x O y & x ! y)
neg H(x) <=> (Ey) (x O y & neg(x ! y))
(x ! y & y ! x) => x = y
(H(x) & H(y)) => x = y
ako ludia je tam toho niekedz mozno naviac ale tha stale dat viac... ale nieze teraz kazdy bude mat rovnake :D :D :D
diky! samozrejme ze presne tento nepouzijem ale uz mam na zaklade toho vymysleny vlastny... :bananadance:
nice
ale kedze nemas uvedena copyright, nieje zakazane to pouzit :D
no ja by som neskúšala, potom ti uberú bodíky ;)
inac to stym jazykm tolko staci napisat k plnemu poctu ?
bodik hore dole a este na zaciatku pripomenu e sa bude hodnotit originalita :)
originalita perfektna kto bol dnes na skuske tak vie ze kto vobec daco vymyslel v tom teple tak bolo dobre, tak som zvedavy na ohodnotenie mojho super ML jazyka
Potom napis, nech sa inspirujem, mam skusku 19.6. a nemam sajnu co napisat na ML jazyk :(
jazyk sa ti zijde este aj dalej do zivota, neposielaj ho nikomu ;)
Quote from: wlade on 16.06.2007, 01:49:43
Potom napis, nech sa inspirujem, mam skusku 19.6. a nemam sajnu co napisat na ML jazyk :(
ta nič, motorová píla to spraví a nejak ti ho doručím už :D
Akykolvek ML jazyk ma potesi. Nie preto aby som sa nabiflil a opisal aleb any som z viacerych roznych vedel prist na vlastny :j_undecided:
mishela: Si teraz dokukala Texasky masaker motorovou pilou ? :ropebanana:
neee, ten už som videla dávno :D mne také mobidiny napadajú bežne :D
UPDATE: v utorok sem hodím svoj jazyk, keď zistím čo som mala zle, ale nieže vás napadne copy paste :D
alebo to mas len dnes taky den... rozpolcovat osoby atd :D
Quote from: DeeL on 16.06.2007, 05:49:44
alebo to mas len dnes taky den... rozpolcovat osoby atd :D
ja stále, to len ty nevieš ;) :D
O copy paste nemam zaujem, len v skriptach nie je o vlastnom jazyku nic a kedze jazyk pribuzenstva mi skrtol cely na riadnom termine bo ze to nie je vlastna tvorba tak preto som z toho vynervovany. Hlavne ako robit axiomy a pouzivat ich, zvysopk uz dokope moj maly rozum :)
EDIT: v utorok bude uz neskoro kedze utorok mam skusku. Ale vdaka za ochotu aspon :lookaround:
aha.. no tak ok.. ja som len chcela aby to bolo skontrolované, ale dobre...
W(x) - byť ženou - un predikát
M(x) – byť zaľúbený/á - un predikát
L(x,y) – zaľúbiť sa (x do y) - bin fcia
V(x,y) – začať vzťah (x s y) - bin fcia
X(x,y) – rozísť sa (x s y) - bin fcia
x ♡ y – x miluje y - bin predikát
x cierneSrdce y – x nemiluje x - bin predikát
x + y – x a y majú vzťah - bin predikát
x - y – x a y nemajú vzťah - bin predikát
axiómy:
x ♡ y ekviv neg(x cierneSrdce y)
x cierneSrdce y ekviv neg(x ♡ y)
x + y ekviv neg(x - y)
x - y ekviv neg(x + y)
x + y ekviv y + x
x - y ekviv y - x
x + y ekviv (x ♡ y & y ♡ x)
x ♡ y implik M(x)
x cierneSrdce y implik neg(M(x))
(x ♡ y & y ♡ x) implik ([V(x,y) implik V(y,x)] implik x + y)
(x + y & x cierneSrdce y) implik (X(x,y) implik x - y)
(x + y & y cierneSrdce x) implik (X(y,x) implik x - y)
(PreVsetky x)(W(x))(y)(negW(y) & x ♡ y & y ♡ x)
(PreVsetky x) (negW(x))(y)(W(y) & x ♡ y & y ♡ x)
predikáty vyjadrujú vzťah medzi dvoma (alebo viacerými) premennými alebo stav jednej premennej. Vieš o nich povedať či sú pravdivé alebo nie.
Vdaka, uz som si to sejvol. :j_wink:
Skusim daco vlastne vydumat do utorka :bananawrite:
Quote from: wlade on 16.06.2007, 06:49:02
Vdaka, uz som si to sejvol. :j_wink:
Skusim daco vlastne vydumat do utorka :bananawrite:
nz, veľa šťastia ;)
robim podla mishelinho vzoru vlastny jazyk ale akosi mi stamat po upravach povypadavali svetky funkcie. Moze to byt dobre ked v jazyku budem mat len axiomy a predikaty ci nie ?
ahaaaaa, uz viem skade dostal pUf tote srdiecka vo svojom jazyku, vedel som ze som to uz dakde videl :D
Quote from: wlade on 21.06.2007, 21:29:18
robim podla mishelinho vzoru vlastny jazyk ale akosi mi stamat po upravach povypadavali svetky funkcie. Moze to byt dobre ked v jazyku budem mat len axiomy a predikaty ci nie ?
inak pozor, lebo na skúške mi to nezobral ako binárne funkcie, sú to skôr predikáty a tie sa píšu s ekvivalenciou nie s rovná sa... !!!
Aha tak preto mi vypadli vsetky funkcie a ostali len predikaty s axiomami, potom by som to mal mat dobre, vdaka aspon za to :)