Matematicka logika - predtermin

[Ing. nemtom]

myslel som tie z tych 4 co kvoli tomu aby jedna otazka bola urcite dobre

[mishelka]

myslel som tie z tych 4 co kvoli tomu aby jedna otazka bola urcite dobre

neviem, ja sa učím všetky, aj keď asi sa z toho mierne zblbnem potom..
UPDATE: ja sa skôr bojím, že dajú aj definície, lebo v PL je toho po prdel... 
UPDATE2: a vedieť čo bolo na predošlých termínoch by tiež nebolo od veci aby som vedela čo sa nemusím učiť

[psicho]

podla mna to iste nam da co uz bolo, vsak tam neje tolko pomenovanych metaviet aby pokazdom termine dal inuuuu

[joker]

.. jaaaa som sa do toho este nemrkol.... 

[psicho]

aj tak sa daaa

[kane77]

ani ja... a ani tak skoro nemienim...

[psicho]

kurnik aj ja xem byt taky mudry

[mishelka]

ani ja... a ani tak skoro nemienim...

a ty máš tiež v piatok skúšku? Neblbnii

[kane77]

ani ja... a ani tak skoro nemienim...

a ty máš tiež v piatok skúšku? Neblbnii

ee az 19-teho... ale zajtra mam PT... takze preto

[mishelka]

ee az 19-teho... ale zajtra mam PT... takze preto

tak držím prsty

[joker]

mno tak ja mam v piatok skusku... 

[trek]

boha krista..neviem sa tie dva blbe typy prikladov naucit ...vobec nerozumiem ako to funguje..no v piatok sa kazdopadne fajne  a este aj 

[Raleon]

boha krista..neviem sa tie dva blbe typy prikladov naucit ...vobec nerozumiem ako to funguje..no v piatok sa kazdopadne fajne  a este aj 

ake typy prikladov? 

[trek]

ake typy prikladov? 

tie ake su na vzore http://www.tuke.sk/skrivanek/Logika/Vzor.pdf ...priklady 6 a 7 

EDIT: neviete niekto ako sa z diferencnej fcie urci co cim nahradim?...ci prve druhym alebo druhe prvym?

[psicho]

diferencnej rovnice omg asi totu nepatri alebo heeeej ?

[trek]

diferencnej rovnice omg asi totu nepatri alebo heeeej ?

ked hladas optimalny unifikator, tak v kazdom kroku hladas diferencnu funkciu (Dk)..aspon tak to mam v zosite...no a neviemako to je ci prvy prvok nahradzas druhym alebo druhy prvym

[joker]

diferencnej rovnice omg asi totu nepatri alebo heeeej ?

jaaa ti nepoviem....

[psicho]

no jasom pocital obydva druhi prikladov a z takym pojmom som sa nestretol , mozno ze som mal ale ta to potom nedobre

[trek]

psicho...no to je vlastne jedno ako sa to nazyva  ...a v tomto type prikladu: http://sms.tym.sk/priklad2.jpg je to ten stlpec uplne napravo...neviem teraz ako to je co cim mam nahradit v dalsom kroku

no a este celkom neviem ako mam pomocou unifikacie odvodit rezolventu..shit

[psicho]

vsak toje easy ides z lava do prava potych formulach ktore mas zadane a hned jak natrafis na dajake miesto kde sa odlisuju tak zamenis to prve tym druhim aby sa potom rovnaly

a tu rezolventu odvodis tak ze najprv na zadane formuly aplikujes ten mega ultimate unifikator a potom to co sa bude zhodovat s faktorom ,tak to das prec a co ne to nechas a co ti zostane to bude ta odvodena rezolventa

[Frankie]

Ľudia, a ako to bolo na predošlých termínoch so zapisovaním? Boli výsledky hneď v ten deň dakedy poobede alebo inokedy?

[psicho]

lol mna toto trapi najmenej


viacej ma trapiiiii ci nema dakto tahak s DEFINICIAMI ?

[trek]

psicho...ok dik je to celkom easy ..len mi nie je jasne ci vzdy zamenim prve s druhym lebo v skriptach je aj naopak...ale mozno to je jedno


...a na dreamhoste je tahak s metavetami

[fanfo]

psicho...ok dik je to celkom easy ..len mi nie je jasne ci vzdy zamenim prve s druhym lebo v skriptach je aj naopak...ale mozno to je jedno


...a na dreamhoste je tahak s metavetami

ta my sme na cvikach s skrivanekom, ked si mal D_k: {y,y,a} -> y/a ; {x,F(y),F(a)} -> x/F(y)
a na dreamhoste je aj tahak s defin. od MKI "da tahak machine"

[trek]

fanfo...thx got it )))))