Matematická Logika

[esperian]

nem nemam este

[bEnd3r]

nestresuj ... na zaciatku hovorila ze mozno ked bude stihat tak bude mat stvrtok vecer, a najpravdepodobnejsie je, ze da az v piatok..

[m4recek]

Ahoj, je tu niekto kto ma cvicenie v piatok o 9:10 s Drazenskou? potreboval by som opisat alebo prefotit cvicenie z minuleho tyzdna. Najlepsie na Jedlikovej 9 ale prisposobim sa

[Rajo]

čo to spomínala minule Draženská ? že tento týždeň nemusíme prísť na cviko ? že nebude robiť prezenčku ? dačo take si pamätám, že nech prídu len tí, čo majú nejaké nejasnosti...

[Wolfdale]

stvrtkove skupiny este stale nic na MAISe?    skupiny Drazenskej uz maju.

[xxx3]

stale nic

[Wolfdale]

shit...

na cvika doniesla testy? (na stvrtkove...)

[Wolfdale]

Mysková dala na MAIS vysledky z predterminu

[esperian]

sakra som myslel ze bude lepsie 

[xxx3]

co mas ?

[luko]

neviete co hovorila o tom preskusani? kedy mozme prist? a hovorila iba o tom ze si ich mozme prist pozriet alebo nam da moznost si aj prilepsit nejaky bodik?

[esperian]

co mas ?

D ako debil xDD  a ty ako ? ci si nebol ?

[ultimate]

neviete co hovorila o tom preskusani? kedy mozme prist? a hovorila iba o tom ze si ich mozme prist pozriet alebo nam da moznost si aj prilepsit nejaky bodik?

čo máš B 90% a chceš A ?

mne sa zdá, že nehovorila nič o doskúšaní, len hovorila, že keby sme boli nespokojní a chceli by sme vidieť písomku, tak že môžme prísť ... nepamätám sa síce kedy, ale myslím, že utorok spomínala ... ale neverím, žeby bola taká, žeby nedala možnosť prilepšiť si 1-2 body .. možno aj viac   .. však mne minulý rok Buša až 6 bodov pridal po dodatočnej úlohe, podla mňa aj Myšková by bola toho schopná

[PaliP]

Ma A 91 a chce ciste A

[luko]

D a chcel som B

[Rajo]

čo ste mali na predtermíne? ešte si to niekto pamätá? Ak hej, napíšte

[Tren]

teoria co si pametam : veta o dedukcii, abeceda predikatovej logiky, odvodzovacie pravidla a axiomy vo vyrokovej logike, nejaky priklad + definicia modus ponens, priklady na zakon dunsa scota, nejake take zakladne veci..otazky skor z vyrokovej logiky, z predikatovej bola len ta na abecedu nic ine..
priklady: len zakladne ale uz ani neviem co bolo ked si spomeniem tak dopisem, alebo niekto iny

[Cici]

 Vysvetlite, čo rozumieme pod pojmom formula A vyplýva zo systému formúl T (T |= A). Z definície (nie pomocou rezolučnej metódy) rozhodnite, či platí p => q, p v q |= p ^ q.
Uveďte axiómy a odvodzovacie pravidlá výrokovej logiky. Uveďte príklad na aplikáciu odvodzovacieho pravidla.
Vyslovte vetu o tranzitívnosti implikácie a zákon Dunsa Scotta. Ku každej vete uveďte príklad z bežného života, kde bude správne použitá.
Definujte abecedu jazyka predikátovej logiky, rozdeľte symboly na logické a špeciálne.
Vyslovte vetu o dedukcii v predikátovej logike.
Definujte viazaný a voľný výskyt premennej, uzavretú a otvorenú formulu predikátovej logiky. Napíšte príklady troch formúl s aspoň tromi premennými: uzavretej, otvorenej a formuly, ktorá nie je uzavretá ani otvorená.

Definujte pojmy z výrokovej logiky: literál, elementárna konjunkcia a disjunkcia, disjunktívny normálny tvar (DNT) a konjunktívny normálny tvar (KNT). Napíšte úplný konjunktívny normálny tvar foolovskej funkcie F(x,y,z), ktorá nadobúda hodnotu 0 v argumentoch 010, 001, 110, 100.
Vysvetlite pojmy: formula dokázateľná zo systému predpokladov T, formula vyvrátiteľná zo systému predpokladov T, sporný systém formúl, konzistentný systém formúl.
Vyslovte vetu o neutrálnej formule a vetu o dôkaze rozborom prípadov. Ku každej vete uveďte príklad z bežného života, kde bude správne použitá.
Uveďte axiómy a odvodzovacie pravidlá predikátovej logiky v jazyku bez rovnosti.
Vyslovte vetu o úplnosti v predikátovej logike.
Vysvetlite, čo rozumieme pod pojmom: formula je splnená v štruktúre M. Napíšte príklady formuly s dvomi premennými, ktorá je splnená a formuly, ktorá nie je splnená v štruktúre M pre jazyk príbuzenstva, ak univerzom je rodina pozostávajúca z matky, otca, dcéry a syna. Napíšte interpretácie predikátových symbolov v danej štruktúre.

[SteLa]

mnoze mi tu niekto PROSIIIM oskenovat cviko u Myskovej z 24.11. a posledne cviko?^^ budte taki dobriii^^

[selli1235]

Dobrá duša, ktorá by vedela povedať všetky okruhy, kt. sa prebrali u Draženskej na prednáške a budú určite na skúške?

[Rajo]

a čo sa vyskytlo z príkladov na predtermíne? čo môžeme očakávať ? niečo podobne ako na zápočte+predikátová logika ?

[xxx3]

u Myskovej na predtermine bolo z definicie urcit, ci jeden system je semantickym dosledkom druheho (spravis tabulku), pomocou rezoluznej metody urcit tiez, ci je semantickym dosledkom, potom nejake tie zapisy pomocou jazyka pribuzenstva a take tie, ze hudobnici, maliari a podobne veci, z predikatovej logiky este tam bolo napisat klauzularny tvar (spravit prenexny tvar, skolemizaciu a tie veci ..)

.. len co sa pocitalo na cvikach ...

[Rajo]

žiadna mapa, NKT, ÚNDT, MDT, ... ?

[xxx3]

hej, este aj to ... bolo take, kde bolo 5 premennych

[Rajo]

3.26 e,f ... vie niekto hodiť postup ?