Messages

Ja mam tiez Martina Kapu, a este nemam zapisane.

Otazky ktore boli na predtermine s Drazenskou:
Teoria:
1.Definuj literal, elementarnu konjunkciu, elementarnu disjunkciu, DNT, KNT. Uved priklad na formulu v DNT a na formulu v KNT
2. Co je dokaz vo vyrokovej logike. Vysvetlite, kedy je formula G bezprostredným dosledkom F1,F2 .... Fn.
3. Napiste pravidlo rezolucie a rezolucny princip. Na priklade vysvetlite rezolucny uzaver mnoziny T.
4. Uvedte jazyk predikatovej logiky. Uvedte logicke a specialne symboly.
5. Co je term. Bola dana formula, a trebalo rozhodnut, ci je mozne uvedeny term t substituovat za premennu.
6. Vypiste axiomy a odvodzovacie pravidla predikatovej logiky v teorii bez rovnosti.

Priklady:
1. Dana boolovska funkcia, najst minDNT - vyrokova logika
2. Zistit, ci mnozina formul S je splnitelna. - vyrokova logika
3. K danym formulam predikatovej logiky priradit spravne vety (Boli uvedene formuly aj vety). - predikatova logika
4. Upravit formulu na klauzularny tvar. - predikatova logika
5. Zistit, ci formula fi je sematickym dolsedkom mnoziny formul S. - predikatova logika

Znenia su len priblizne, aby ste mali zhruba sajnu, co bolo. Bol este jeden priklad, ale neviem aky.

Hej, to prve je spravne, ten druhy strom je pre vyraz 3*4+2+1

1.ak bude operator bez asociativity, bude mat strom len jeden koren a dva listy
2.v pripade asociativity zlava bude vzdy na pravo list stromu a na lavo bude bud list alebo dalsi podstrom
3.v pripade asociativity sprava bude vzdy na lavo list stromu a na pravo list alebo podstrom

v tom vyraze f || f || t && t sa vytvori strom:    ||
                                                              f      f

ale celkovo je ten vyraz nespravny, lebo ked mas || bez asociativty, tak automaticky by ti pri druhom || vyhodilo chybu, ze sa ocakava operator &&. Cize tento vyraz nie je syntakticky spravny, a nam vravel, ze bude normalny syntakticky spravny vyraz.

Opravna je v 12. tyzdni na prednaske a predtermin v 13. na prednaske.

Skenoval som poznamky pre spoluziakov, tak mozno sa zidu aj niekomu z vas.
PS: Matiku mam z Drazenskou

http://www.ulozto.sk/6538449/matematika-rar

Mam zaujem. Kupim aj hned zajtra.

Ale to je hlavicka na skusku, nie na zapocet. Nam Džurina na prednaške vravel, ze si to mame vypisat a potom cviciaca vravela, ze je to na nete a treba to vytlacit, lenze upozornovala nas, ze nemame vytlacit tu hlavicku na skusku (na skusku a zapocet je ina hlavicka). Ale to, co povie prednasajuci urcite plati viac ako to, co povie cviciaci, cize ja to len vypisem, kedze hlavicku na zapocet som nikde nenasiel a asi tam ani nie je.