Matematická logika

[Mao]

Aj ja mam zablokovane. Ono to je tusim stale tak ze uz aj cez vikend je blokovane prihlasenie. Ale ved mu napis mail, alebo prid len tak, ked uz si sa ucil. Podla mna ta vezme, nemas co stratit.

[kOsTi]

takze k tej separacii klauzul dostanem nejaku formulu a treba ju dat do pren. tvaru... potom urobit uzaver a potom z toho otvoreny skolemovsky variant v klauzularnom tvare a len z toho vybrat klauzuly s odlisenim znamienok bez axiom danej teorie?

[puq]

take nieco a hodnoti to vpohode som nemal ani napisane nic k tym axiomam rovnosti ani spomenute a som mal 8 bodov(plny pocet za to), a pritom to bola teoria pribuzenstva a ta ma pokial ma pamat neklame aj rovnost

[kOsTi]

no fajn... tak skusim priklady + metavety (overenia len jednu z kapitoly) a nejake definicie skusim zapamatat a uvidime co to da

ale zatial je to bieda, zajtra hadam dozeniem

[puq]

u mna to bolo rovnako jak si ty na tom, priklady som vedel a aj metavetu, a na dalsie otazky som nemal stastie tak len D ale neva

[Sooloni]

u mna to bolo rovnako jak si ty na tom, priklady som vedel a aj metavetu, a na dalsie otazky som nemal stastie tak len D ale neva

cize ku ostanym si mal prazdny papier a vobec nic nedzubal

[Havran]

u mna to bolo rovnako jak si ty na tom, priklady som vedel a aj metavetu, a na dalsie otazky som nemal stastie tak len D ale neva

cize ku ostanym si mal prazdny papier a vobec nic nedzubal

ano nic nedzubal nikoho ked si nic nemal, prazdny papier som sice nemal ale 0 bodov je skoro to iste

[puq]

ee preco by mal dzubat, som povedal ze mi nesadli otazky a jemu to bolo jedno, neje predsa hudak

[elektrikar]

mozno uplne primitivna otazka, ale predsa : Ked robim unifikaciu a narazim na premennu a na rovnakej pozicii v druhom disjunkte zaciatok zatvorky, tak nahradzam premennu celou tou zatvorkou Alebo ked mam konstantu a premennu, nahradzam premennu konstantou Spravne ? dakujem

[johnyo13]

skopirovane z archivu:
=============================
Priklad1 http://sms.tym.sk/priklad1.jpg
Priklad2 http://sms.tym.sk/priklad2.jpg
=============================
je to dobre?? bo ja cumim do tych prikladov, no a v zosite tomu ako tak rozumiem, aj v skriptach celkom, ale v tychto prikladov je par veci ktore mi vobec nic nehovoria!!

[puq]

mozno uplne primitivna otazka, ale predsa : Ked robim unifikaciu a narazim na premennu a na rovnakej pozicii v druhom disjunkte zaciatok zatvorky, tak nahradzam premennu celou tou zatvorkou Alebo ked mam konstantu a premennu, nahradzam premennu konstantou Spravne ? dakujem

ak mas niekde premennu a potom narazis napr na zatvorku, nahradzas ju termom, cize taky jednoduchy priklad:

(x+(y+0)) v (x+w)

tu narazis ze za + mas na v prvom zatvorku a v druhom w, cize tak nahradis za w/(y+0)...

a ked mas konstantu a premennu, tak nahradzas za premennu konstantu, lebo konstanta je vlastne term   

[buhehe]

mozno uplne primitivna otazka, ale predsa : Ked robim unifikaciu a narazim na premennu a na rovnakej pozicii v druhom disjunkte zaciatok zatvorky, tak nahradzam premennu celou tou zatvorkou Alebo ked mam konstantu a premennu, nahradzam premennu konstantou Spravne ? dakujem

presne taky bol priklad....ja som to nahradil celou zatvorokou a mal som dobre

[kOsTi]

niekomu moze byt lepsie prepisat si termy do ineho tvaru aby mal v tom prehlad... napr:

(x+y) prepises na +(x,y) atd... niekomu to potom robi menej problemov

presne taky bol priklad....ja som to nahradil celou zatvorokou a mal som dobre

ano nahradza sa celym minimalnym termom ktory obsahuje dany symbol v ktorom sa lisia...

[johnyo13]

ja mam v zosite naznacene x/t (moze byt aj t/x) len uz si nepamatam odkial to viem, ale asi to hovorila cviciaca!
a este jedna vec..ak budem mat (T)erm a (K)onstantu..jak by ste to nahradili T/K alebo K/T ??

[kOsTi]

ja mam v zosite naznacene x/t (moze byt aj t/x) len uz si nepamatam odkial to viem, ale asi to hovorila cviciaca!
a este jedna vec..ak budem mat (T)erm a (K)onstantu..jak by ste to nahradili T/K alebo K/T ??

ani tak ani tak... lebo nahradzaju sa len premenne

[johnyo13]

ahaa.thx

[Payne]

skopirovane z archivu:
=============================
Priklad1 http://sms.tym.sk/priklad1.jpg
Priklad2 http://sms.tym.sk/priklad2.jpg
=============================
je to dobre?? bo ja cumim do tych prikladov, no a v zosite tomu ako tak rozumiem, aj v skriptach celkom, ale v tychto prikladov je par veci ktore mi vobec nic nehovoria!!

ok tak povedz este ze o co tam ide a ja to mozem prepocitat...

priklad 2 zrejme bude unifikacia a priklad +1 ? asi nekompletny, ne?


hej a este pri tom procese unifikacie treba vsade davat tie zbytocne zatvorky, ci moze aj bez nich byt?

[johnyo13]

to su priklady zo vzorovej pisomky z min. roku...(najdes na FTP)!
cize ten isty typ, ako by mali byt zatra..ten druhy je v poriadku, tam som len nechapal tie posledne riadky..dajaka rezolventa ci co, ale myslim ze uz chapem!
ten prvy som len  tak zbezne pozrel a celkom mu nerozumiem

[dodo]

chlapi poprosim vas kde to vlastne mame zajtra skusku, na IS je len napisan ze 230, treba to chapat ze to je A230 alebo ako?

[hubertus]

keby si cital co tu pisalai ludia tesne pred tebou ...

To je v hlavnej budove, 2.poschodie, blok A.

[kOsTi]

inac... treba mat nejaky dvojharok abo co?

[Dragon]

jj staci cisty...meno a TE si dopises

[pepco]

neviete co treba spravit v tejto formule: (∃y)(P(x) & ¬P(y))  |-  (∃x)(∃y)(x 6= y)

s tym predikatom ci co to je, dokazatelnosti co je medzi tymito podformulami? aby som mohol pokracovat dalej v separacii

[Havran]

neviete co treba spravit v tejto formule: (∃y)(P(x) & ¬P(y))  |-  (∃x)(∃y)(x 6= y)

si to rozdelis na dve podformuly (∃y)(P(x) & ¬P(y)) a ¬((∃x)(∃y)(x 6= y))

inac co ma znamenat vyraz (x 6= y)

[pepco]

neviete co treba spravit v tejto formule: (∃y)(P(x) & ¬P(y))  |-  (∃x)(∃y)(x 6= y)

si to rozdelis na dve podformuly (∃y)(P(x) & ¬P(y)) a (∃x)(∃y)(x 6= y) ktoru najpr znegujes

a potom osobitne riesim a z prvej dostanem klauzuly aj z druhej?