ML - vlastny jazyk

[Ing. nemtom]

mohol by tu dakto hodit nejaky egzampel ako ma vlastny jazyk vyzerat?

[MKI]

ja sa oh uz treti den snaizm od niekoho vymamit )

[mishelka]

ja nič nemám ale keby som mala tak to sem dám ) sakra to je ale súvetie
Ako bolo tu niečo spomenuté že vzťahy na pracovisku už boli, tak vymýšľajte niečo podobné...

[Ing. nemtom]

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


 

[kane77]

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...

[DeeL]

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

[kane77]

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

diky! samozrejme ze presne tento nepouzijem ale uz mam na zaklade toho vymysleny  vlastny... 

[Ing. nemtom]

nice

[ApokalypS]

ale kedze nemas uvedena copyright, nieje zakazane to pouzit

[mishelka]

no ja by som neskúšala, potom ti uberú bodíky

[MKI]

inac to stym jazykm tolko staci napisat k plnemu poctu ?

[BCAA]

bodik hore dole         a este na zaciatku pripomenu e sa bude hodnotit originalita

[fanfo]

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

[wlade]

Potom napis, nech sa inspirujem, mam skusku 19.6. a nemam sajnu co napisat na ML jazyk

[DeeL]

jazyk sa ti zijde este aj dalej do zivota, neposielaj ho nikomu

[mishelka]

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ž

[wlade]

Akykolvek ML jazyk ma potesi. Nie preto aby som sa nabiflil a opisal aleb any som z viacerych roznych vedel prist na vlastny   

mishela: Si teraz dokukala Texasky masaker motorovou pilou ? 

[mishelka]

neee, ten už som videla dávno mne také mobidiny napadajú bežne
UPDATE: v utorok sem hodím svoj jazyk, keď zistím čo som mala zle, ale nieže vás napadne copy paste

[DeeL]

alebo to mas len dnes taky den... rozpolcovat osoby atd

[mishelka]

alebo to mas len dnes taky den... rozpolcovat osoby atd

ja stále, to len ty nevieš

[wlade]

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 

[mishelka]

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.

[wlade]

Vdaka, uz som si to sejvol.

Skusim daco vlastne vydumat do utorka 

[mishelka]

Vdaka, uz som si to sejvol.

Skusim daco vlastne vydumat do utorka 

nz, veľa šťastia

[wlade]

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 ?