Matematická logika

[TradeMark]

Nevedel by mi niekto odporucit nejake kratke metavety, ktore sa lahko ucia (ak uz to ma niekto za sebou)... z prvej casti som si vybral metavetu 8 ale zo zvysnych vobec neviem...

[BossZ]

Nevedel by mi niekto odporucit nejake kratke metavety, ktore sa lahko ucia (ak uz to ma niekto za sebou)... z prvej casti som si vybral metavetu 8 ale zo zvysnych vobec neviem...

podla mna su jednoduche tieto: 8,25,52,99

[Padres]

tak ja som sa ucil aj o tranzitivnosti implikacie ("logicky" jednoducha), potom o prenexnom tvare a o kompaktnosti.

Btw, nevie niekto poradit, v unifikacii:
majme

neg( nieco ) V neg( nieco ) V nieco

ako sa postupuje v tomto pripade, ak je na zaciatku zatvorky negacia a v niektorej formule nie je??? 

a dalej ak substituujeme x / F(a) a mame uz niekde dnu F(x), tak moze sa z toho zrobit F(F(a)) ? a potom je dnu nejaka y a tu substituujeme y / F(F(a)) ?? je to mozne?? 

[TradeMark]

Nevedel by mi niekto odporucit nejake kratke metavety, ktore sa lahko ucia (ak uz to ma niekto za sebou)... z prvej casti som si vybral metavetu 8 ale zo zvysnych vobec neviem...

podla mna su jednoduche tieto: 8,25,52,99

Jak tak pozeram tak 25ka nie je metaveta

[kOsTi]

ja som sa ucil 8, 25, 52, 81

25 je metaveta o tranzitivnosti implikacie

[TradeMark]

ja som sa ucil 8, 25, 52, 81

25 je metaveta o tranzitivnosti implikacie

ja ju mam v skriptach ako Metavetu 26 ... a 52 tiez mam nejaky problem a nie metavetu...zeby stare vidanie?
 

[kOsTi]

kde si ich nasiel? na FTP niekde?

[Padres]

ja ju mam tiez jak 26, vydanie FTP

[kOsTi]

tha treba staihnut nove z toho portalu co posielal Skrivanek v maile

[Padres]

no dpc , tak to dost skoro som sa dozvedel

[BossZ]

tha treba staihnut nove z toho portalu co posielal Skrivanek v maile

jj, teraz  je aktualna verzia 08, nie 07

[BossZ]

ja som sa ucil 8, 25, 52, 81

25 je metaveta o tranzitivnosti implikacie

metavetu 8 myslis tuto:
Relácia výrokovej ekvivalencie je metamatematickou ekvivalenciou
na systéme všetkých formúl výrokovej logiky.
Overenie. Pre lubovolné ohodnotenie π je
valπ(A) = valπ(A) (reflexívnost,),
valπ(A) = valπ(B) práve vtedy, ked valπ(B) = valπ(A) (symetria),
ak valπ(A) = valπ(B) a valπ(B) = valπ(C), potom valπ(A) = valπ(C) (tranzitívnost,). 

[Padres]

bohuzial to neni ta, pozeram nove skripta a tato co pises bola vymazana... , a ucil som sa prave tu,
teraz je 8-cka: Metaveta o nahradeni

[BossZ]

bohuzial to neni ta, pozeram nove skripta a tato co pises bola vymazana... , a ucil som sa prave tu,
teraz je 8-cka: Metaveta o nahradeni

ale ta povodna sa mi paci viacej, bude mu vadit ked mu napisem tu povodnu?

[kOsTi]

ak je niekde v novych skriptach tak mozes... ak nie tak nie

[Hero]

bohuzial to neni ta, pozeram nove skripta a tato co pises bola vymazana... , a ucil som sa prave tu,
teraz je 8-cka: Metaveta o nahradeni

ale ta povodna sa mi paci viacej, bude mu vadit ked mu napisem tu povodnu?

ja som mu ju napisal a pravdepodobne mi za nu dal nulu. Preto vravim pravdepodobne lebo som nevidel svoju pisomku, ale tak mi to vychadza. 

[Padres]

pre istotu sa naucit aj tu novu metavetu... a popripade sa ho tam spytat ci mozes... (inak ak ti za to dal nulu tak to je imho totalna blbost - ved, neni ta metaveta o ekvivalencii stale sucastou semantiky VL? ze ju vyhodil zo skript tak to znamena ze proste prestala existovat? - to len take filozoficke zamyslenie sa )

[BossZ]

nema niekto novu verziu skript? ja uz ten mail co poslal skrivanek nemam a neviem odkial ich zohnat... moze mi niekto poslat na maila aktualne skripta? vdaka!

tomas.mihok@hotmail.com

alebo hodte na ftp

mas to na hypnose,

ps. ktore metavety si vybral?

[TradeMark]

Ja som zil s neaktualnou verziou skript takze musim vyberat na novo .

Inac taky napad: zajtra po ML pivo - kto je za?

[BossZ]

kolko bodov dava za priklady?

V tom vzorovom zadani pise za separaciu 18 a za unifikaciu 10?

Ako hodnotil?

[Pribina]

No hodnoti vselijak...ja som mal priklady po 8 a problem za 14 , ale predosly termin mali za jeden priklad 10 a za druhy 8 a za problem 12.

[TradeMark]

Cize kolko bodov je vlastne dokopy za tie 2 priklady + tu metavetu z konkretneho celku?

EDIT: uz som zistil... 30
EDIT2: dnes som mal za priklady + metavetu dokopy 32 bodov moznost ziskat taze asi zavisi...

[lada]

ked nekto bude mat vysledky, ta nech sa ozve, thx

[BossZ]

uz by mali byt zapisane

[Padres]

Neviem, ja nevidim nijaku zmenu, vy uz mate???