Matematická Logika

[M4D4]

no, pochybujem, že som mal 25 bodov zo zápočtu, takže asi áno, s bleskovkami ;-)

[Wolfdale]

bez toho si nemohol mat, zapoctovka bola 24 bodova

[M4D4]

bez toho si nemohol mat, zapoctovka bola 24 bodova

veď preto som napísal, že pochybujem ;-)

[Cici]

Dobry den,
posielam Vam nejake mozne otazky. Samozrejme, nemusia byt presne rovnake
otazky, su to skor nejake typy otazok. Body si nevsimajte.
H. Myšková

http://oktava.revuca.net/B2/ZS2/ml/Teoria.pdf

[matotv]

zdar, ma niekto vypocitane tieto priklady?
http://www.uloz.to/11714346/d-jpg

[xxx3]

to je minulorocna skuska?

[matotv]

to je minulorocna skuska?

neviem ci minulorocna, ale niekde v archive som to nasiel...

[ppeess]

Nie to nie je minulorocna  ........... tento obrazok je uz X rokov stary .... ale nieco taketo sa moze vyskytnut ale my sme mali z toho tak asi ten prvy priklad .... ale predtermin je jednoduchy

[Fanky]

netreban a skusku vytlacit nieco na dvojharok ako pri MAT 1 ?

[veteran]

netreban a skusku vytlacit nieco na dvojharok ako pri MAT 1 ?

Áno, treba: http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Skuska-ML-%28A3%29.pdf

[esperian]

Nie to nie je minulorocna  ........... tento obrazok je uz X rokov stary .... ale nieco taketo sa moze vyskytnut ale my sme mali z toho tak asi ten prvy priklad .... ale predtermin je jednoduchy

asi si uz nepamatas ze co cca ste mali, ci ? alebo nemas nejaky obrazok z min. roka  ?

[Fanky]

netreban a skusku vytlacit nieco na dvojharok ako pri MAT 1 ?

Áno, treba: http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Skuska-ML-%28A3%29.pdf

diky

[Jason Bourne]

Otazky ktore boli na predtermine s Drazenskou minuly rok:
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.

[Tren]

kolko bodov prilepsuje Myskova na predtermine? 

[xxx3]

kolko bodov prilepsuje Myskova na predtermine? 

dobra otazka

btw. idete v obleku ?

[esperian]

kolko bodov prilepsuje Myskova na predtermine? 

dobra otazka

btw. idete v obleku ?

ja neidem v obleku..

[Tren]

ani ja, nemam ho na intraku este 

[xxx3]

ani sa som sa nechystal, len ci nehcete zaposobit na Myskovu

[Tren]

ani sa som sa nechystal, len ci nehcete zaposobit na Myskovu

to je jedno teraz, mozno na vyhodnoteni by uz bodlo 

[esperian]

a to vyhodnotenie bude hned v stredu ?

[Tren]

nemyslim, potom by som tiez nemal oblek 45 pisomiek neopravy za den si myslim, mozno o den neskor alebo neviem

[xxx3]

uloha: pouzite vetu o dedukcii na nasledovne:

Bude pršat.
Zoberiem si dáždnik.
Nezmoknem.

ako to bude?

[ppeess]

a to vyhodnotenie bude hned v stredu ?

Ti sibe ..... tusim sa to dozviete asi az cez prazdniny

Nie to nie je minulorocna  ........... tento obrazok je uz X rokov stary .... ale nieco taketo sa moze vyskytnut ale my sme mali z toho tak asi ten prvy priklad .... ale predtermin je jednoduchy

asi si uz nepamatas ze co cca ste mali, ci ? alebo nemas nejaky obrazok z min. roka  ?

nemam nic ...... ale co si mate pamatam tusim ze chalani hovorili ze to bolo o nieco tahsia zapoctovka ci tak neak

[Tren]

takze nieco take ze vyhodnotenie nebude? nejake prilepsenia ked chyba nam malo bodov k lepsej znamke? 

[Tren]

este nemate na Maise vysledky? kto bol na predtermine a cviko ma s Myskovou vo stvrtok?