TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2006/2007 => 2. ročník => Topic started by: Ing. nemtom on 12.06.2007, 19:50:23
-
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
-
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
-
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 ;)
-
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
-
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:
-
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
-
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 :)