Author Topic: Matematicka logika (Read 78050 times)

yvory · « **Reply #325 on:** 07.01.2011, 23:44:10 »

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

filip27 · « **Reply #326 on:** 08.01.2011, 20:06:52 »

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 · « **Reply #327 on:** 09.01.2011, 02:08:49 »

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

dakujem

majod · « **Reply #328 on:** 09.01.2011, 22:39:01 »

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 · « **Reply #329 on:** 09.01.2011, 22:52:34 »

a ku komu ides na skusku ?

majod · « **Reply #330 on:** 09.01.2011, 23:04:09 »

myskova

revelc · « **Reply #331 on:** 09.01.2011, 23:45:19 »

tak potom staci

yvory · « **Reply #332 on:** 10.01.2011, 00:17:52 »

Quote from: revelc on 09.01.2011, 23:45:19

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 · « **Reply #333 on:** 10.01.2011, 01:13:38 »

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

smelyzajo · « **Reply #334 on:** 12.01.2011, 02:40:35 »

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

Alienson · « **Reply #335 on:** 12.01.2011, 02:50:49 »

o kolkej je vyhodtenie pri myskovej a kde ??

sulo · « **Reply #336 on:** 12.01.2011, 03:54:23 »

V stredu, o 14:00, v BN604.

m4recek · « **Reply #337 on:** 13.01.2011, 01:45:56 »

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

dotko · « **Reply #338 on:** 13.01.2011, 02:16:07 »

Quote from: m4recek on 13.01.2011, 01:45:56

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

B => A

m4recek · « **Reply #339 on:** 13.01.2011, 02:27:15 »

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 · « **Reply #340 on:** 13.01.2011, 08:35:48 »

Quote from: m4recek on 13.01.2011, 02:27:15

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 · « **Reply #341 on:** 14.01.2011, 00:08:20 »

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

majkyy · « **Reply #342 on:** 14.01.2011, 15:45:47 »

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 · « **Reply #343 on:** 14.01.2011, 20:44:57 »

vcera kto bol a mal skupinu B?

ghost · « **Reply #344 on:** 14.01.2011, 21:13:16 »

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

dakujem

smelyzajo · « **Reply #345 on:** 14.01.2011, 21:52:22 »

Quote from: ghost on 14.01.2011, 21:13:16

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 · « **Reply #346 on:** 15.01.2011, 16:05:24 »

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

Painkiller03 · « **Reply #347 on:** 16.01.2011, 19:12:41 »

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 · « **Reply #348 on:** 23.01.2011, 22:16:52 »

kedy je zajtra vyhodnotenie pri drazenskej a kde?

??

freshmakerik · « **Reply #349 on:** 24.01.2011, 00:26:43 »

Quote from: smelyzajo on 23.01.2011, 22:16:52

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

)

News:

Author Topic: Matematicka logika (Read 78050 times)

filip27