Matematicka logika

[yvory]

takze ku kazdej vete treba aj to overenie co je v prednaskach za kazdou vetou? to nieje myslene vazne preboha

[filip27]

mam jednu vetu ktoru som si neni vobec isty, ako byt o malo byt spravne?

Dovolenkari Alfonz, Blazena, Cecilia, Dionyz a Emilia sa rozhoduju ci pojdu na vylet. Podmienky od ktorych zavisy ucast jednotlivych dovolenkarov.

- Aspon jeden z panov Dionyz a Emil si vylet nenechaju ujst.

(E /\ D) V (neg. E /\ D) V (E /\ neg. D)

alebo iba
E v D

[ghost]

prosim vas mohol by niekto napisat otazky + priklady skupiny A ktore boli na skuske 05.01. s drazenskou
dakujem

[majod]

chcem sa opytat, niekde tu bolo PDF s otazkami vola sa
Teória.pdf

je tam dokopy 16 + 19 otazok z vyrokovej a predikatovej logiky,staci ak sa na skusku naucim tuto teoriu? vdaka
edit:skusajuca myskova

[revelc]

a ku komu ides na skusku ?

[majod]

myskova

[revelc]

tak potom staci

[yvory]

tak potom staci

tak co pisali ludia co boli na skuske aj u drazenskej to staci samozrejme ak nechces mat plny pocet kedze sa moze vyskytnut nieco co tam nieje,zatial som si to teoria.pdf doplnil len o jednu otazku a to - Napiste pravidlo rezolucie a rezolucny princip.

[Daron]

Kedy ma byt zajtra to vyhodnotenie u drazenskej a kde? Nejak som si to zabudol poznacit.

[smelyzajo]

nesupne tu niekto otazky z teorky co bol pri drazenskej a bol A skupina???

[Alienson]

o kolkej je vyhodtenie pri myskovej a kde ??

[sulo]

V stredu, o 14:00, v BN604.

[m4recek]

v druhom priklade ma byt prva veta A => B alebo B => A?

[dotko]

v druhom priklade ma byt prva veta A => B alebo B => A?

B => A

[m4recek]

Dakujem tak podla rovnakej logiky mi vychadzaju vety ze
1. B => A
2 (A a D) => E
3. B v C
4. C <=> D
5. D v E

A na konci vysledok ze nejde nikto nikam...    spravne?

[Mattias777]

Dakujem tak podla rovnakej logiky mi vychadzaju vety ze
1. B => A
2 (A a D) => E
3. B v C
4. C <=> D
5. D v E

A na konci vysledok ze nejde nikto nikam...    spravne?

riesil som to a spravne, pozri si moj posledny prispevok trosku dozadu... ja to spravne mam, ide o to urobit taku kombinaciu 0 a 1, ze kazdy a jeden vyrok ti vyde pravdivy, teda 1....mam tam aj "dokaz"

[ursus]

ked pojdem na opravny a spravim na horsie alebo nespravim, co sa deje ?

[majkyy]

tak u drazenskej aspon co si pamatam boli otazky
prenexny tvar, literal, klauzula - vsetko v PL
co je uplny system logickych spojok + bolo zadane daco a urcit ci tvori uplny system log. spojok
dalej ten zakon rezu a rezolucny princip ci ako to je
definovat strukturu jazyka
a este 1 otazka z terie ale nespomeniem si
a priklady karnaughova mapa pre 5 prvkov
prepisat vyroky (v jazyku pribuzenstva) do viet
rezolucna metoda v predikatovej logike
este nejake 2 priklady, jeden z VL lahky nieco trebalo dokazat tam cez tu tabulku ci je semanticky ekvivalentne
a ten druhy nemam sajnu

[dotko]

vcera kto bol a mal skupinu B?

[ghost]

ludkovia, ti ktori ste boli 13.01. na skuske pri drazenskej ,
mohli by ste prispiet otazkami ktore sa tam objavili

dakujem

[smelyzajo]

ludkovia, ti ktori ste boli 13.01. na skuske pri drazenskej ,
mohli by ste prispiet otazkami ktore sa tam objavili

dakujem

z teorie co si pametam:
veta o dedukcii uplnosti
PL definovat abecedu rozdelit na specialne a logicke
dalej co je tautologia  kedy je formula sponitelna kedy splnena co je literal co DNT KNT min KNT minDNT
tak dalej co je formula v PL alebo vo VL uz prestne neviem dalej definovat co je dokaz vo VL
priklady rezolucna metoda
rezolucna met.v PL
klauzularny tvar
k.mapa o 5 premennych a napisat aj mkt a aj mdt do jednej otazky ako wtf.
dalej vl prepisat formuly do VL
viac si nepametam....

[majkyy]

preco sme my 5ho nemali take otazky to by som vsetko vedel

[Painkiller03]

Zdravím,neviete ako ma vyzerat riesenie na priklady 2,4,5? resp.nemate ich niekto vyriesene?Su to otazky zo skuzky(skupina Myšková)
http://img819.imageshack.us/img819/9605/fotografia681.jpg
http://img692.imageshack.us/img692/4254/fotografia680.jpg

[smelyzajo]

kedy je zajtra vyhodnotenie pri drazenskej a kde???

[freshmakerik]

kedy je zajtra vyhodnotenie pri drazenskej a kde???

vyhodnotenie uz bolo na maise toto bude len konzultacia 
a.. v BN32 niekde na siestom poschodi.. dakde tam ma kancl..
a.. tusim od osmej do dvanastej, ale to uz neviem presne..
(tiez tam idem sa kuknut jak to opravovala   )