Author Topic: Matematická Logika (Read 57528 times)

M4D4 · « **Reply #225 on:** 11.12.2011, 02:16:46 »

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

Wolfdale · « **Reply #226 on:** 11.12.2011, 14:53:28 »

bez toho si nemohol mat, zapoctovka bola 24 bodova

M4D4 · « **Reply #227 on:** 11.12.2011, 15:37:39 »

Quote from: Tux on 11.12.2011, 14:53:28

bez toho si nemohol mat, zapoctovka bola 24 bodova

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

Cici · « **Reply #228 on:** 12.12.2011, 19:21:03 »

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 · « **Reply #229 on:** 12.12.2011, 21:23:25 »

zdar, ma niekto vypocitane tieto priklady?

http://www.uloz.to/11714346/d-jpg

xxx3 · « **Reply #230 on:** 12.12.2011, 22:02:53 »

to je minulorocna skuska?

matotv · « **Reply #231 on:** 12.12.2011, 22:36:18 »

Quote from: xxx3 on 12.12.2011, 22:02:53

to je minulorocna skuska?

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

ppeess · « **Reply #232 on:** 13.12.2011, 01:58:32 »

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 · « **Reply #233 on:** 13.12.2011, 15:18:19 »

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

veteran · « **Reply #234 on:** 13.12.2011, 15:24:53 »

Quote from: Fanky on 13.12.2011, 15:18:19

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 · « **Reply #235 on:** 13.12.2011, 18:08:10 »

Quote from: ppeess on 13.12.2011, 01:58:32

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 · « **Reply #236 on:** 13.12.2011, 19:26:06 »

Quote from: veteran on 13.12.2011, 15:24:53

Quote from: Fanky on 13.12.2011, 15:18:19
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 · « **Reply #237 on:** 13.12.2011, 22:04:46 »

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 · « **Reply #238 on:** 14.12.2011, 00:06:37 »

kolko bodov prilepsuje Myskova na predtermine?

xxx3 · « **Reply #239 on:** 14.12.2011, 00:29:35 »

Quote from: Tren on 14.12.2011, 00:06:37

kolko bodov prilepsuje Myskova na predtermine?

dobra otazka

btw. idete v obleku ?

esperian · « **Reply #240 on:** 14.12.2011, 00:31:36 »

Quote from: xxx3 on 14.12.2011, 00:29:35

Quote from: Tren on 14.12.2011, 00:06:37
kolko bodov prilepsuje Myskova na predtermine?

dobra otazka

btw. idete v obleku ?

ja neidem v obleku..

Tren · « **Reply #241 on:** 14.12.2011, 00:33:30 »

ani ja, nemam ho na intraku este

xxx3 · « **Reply #242 on:** 14.12.2011, 00:40:26 »

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

Tren · « **Reply #243 on:** 14.12.2011, 00:47:00 »

Quote from: xxx3 on 14.12.2011, 00:40:26

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

to je jedno teraz, mozno na vyhodnoteni by uz bodlo

esperian · « **Reply #244 on:** 14.12.2011, 00:59:26 »

a to vyhodnotenie bude hned v stredu ?

Tren · « **Reply #245 on:** 14.12.2011, 01:04:17 »

nemyslim, potom by som tiez nemal oblek

45 pisomiek neopravy za den si myslim, mozno o den neskor alebo neviem

xxx3 · « **Reply #246 on:** 14.12.2011, 01:12:28 »

uloha: pouzite vetu o dedukcii na nasledovne:

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

ako to bude?

ppeess · « **Reply #247 on:** 14.12.2011, 03:29:32 »

Quote from: esperian on 14.12.2011, 00:59:26

a to vyhodnotenie bude hned v stredu ?

Ti sibe

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

Quote from: esperian on 13.12.2011, 18:08:10

Quote from: ppeess on 13.12.2011, 01:58:32
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 · « **Reply #248 on:** 14.12.2011, 03:47:05 »

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

Tren · « **Reply #249 on:** 15.12.2011, 03:54:15 »

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

News:

Author Topic: Matematická Logika (Read 57528 times)

ppeess

ppeess