Matematická Logika

bEnd3r · 11.11.2011, 21:29:12

nejake blizsie info k zapoctu nemate?

xxx3 · 11.11.2011, 21:51:59

zevraj nebudu binarne relacie a ani to co bolo na poslednej prednaske

bEnd3r · 11.11.2011, 21:57:07

a dobre som pocul ze ma byt na prednaske v 10. tyzdni?
//s myskovou

Tren · 11.11.2011, 22:24:32

Ano v 10 tyzdni na prednaske

ppeess · 11.11.2011, 22:52:25

Sak kazdy rok byvaju tie iste typi prikladov .....

ultimate · 12.11.2011, 00:55:53

a to su ktore ?

Rajo · 12.11.2011, 02:53:58

chcelo by to prehrabať archív a skopčíť minuloročné zápočty

Cici · 12.11.2011, 03:02:13

alebo sa učiť

paloSK · 12.11.2011, 03:25:45

Quote from: Cici on 12.11.2011, 03:02:13
alebo sa učiť

Nesranduj

ppeess · 12.11.2011, 06:35:07

Quote from: Cici on 12.11.2011, 03:02:13
alebo sa učiť

Co sa chces na logiku ucit?

RiTChi · 12.11.2011, 17:36:02

Quote from: bEnd3r on 11.11.2011, 21:29:12
nejake blizsie info k zapoctu nemate?

Co sa týka Myškovej, nebudú binárne relácie, syntax výr. logiky, a rezolučná metóda v predikátovej logike. Nebudú ani žiadne teoretické otázky.

ultimate · 12.11.2011, 18:17:19

cize tam vlastne dokopy nic nebude

orsi · 12.11.2011, 18:37:26

Quote from: ultimate on 12.11.2011, 18:17:19
cize tam vlastne dokopy nic nebude

tak dačo tam byť musí, ale myslím si, že dať zápočet z tohto bude oveľa jednoduchšie ako zápočet z matiky I.

RiTChi · 13.11.2011, 04:29:20

tak co tam moze dat..... tie uplne tvary, potom minimalizovat, potom tu rezolucnu metodu, potom prepis do predikatovej logiky (alebo z), no a tu substituciu. Asi vsetko nie?

xxx3 · 16.11.2011, 21:27:34

hovorila nieco dnes Myskova na prednaske o zapocte, ze co tam bude ? .. alebo nieco ine dolezite, organizacne a tak ?

luko · 16.11.2011, 23:16:25

Quote from: xxx3 on 16.11.2011, 21:27:34
hovorila nieco dnes Myskova na prednaske o zapocte, ze co tam bude ? .. alebo nieco ine dolezite, organizacne a tak ?

najprv pisu ti co maju cviko vo stvrtok, potom ti co v piatok

Cici · 17.11.2011, 02:55:13

na doplnenie: ti co maju cvika vo stvrtok pisu o 10 a piatkajsi o 11

xxx3 · 17.11.2011, 02:59:51

a nepovedala, co tam bude ?

darkoooooo · 17.11.2011, 19:52:18

Dobry den,
na zap. pisomke bude od zac. vyrokovej logiky az po semantiku predikatovej
logiky.
S pozdravom
E. Drazenska

takze mam to chapat ze bude aj semantika predikatovej logiky?

Tren · 17.11.2011, 19:55:16

Quote from: RiTChi on 12.11.2011, 17:36:02
Quote from: bEnd3r on 11.11.2011, 21:29:12
nejake blizsie info k zapoctu nemate?

Co sa týka Myškovej, nebudú binárne relácie, syntax výr. logiky, a rezolučná metóda v predikátovej logike. Nebudú ani žiadne teoretické otázky.

potom co vlastne bude

xxx3 · 17.11.2011, 21:54:13

Quote from: Tren on 17.11.2011, 19:55:16
potom co vlastne bude

tiez by som rad vedel

RiTChi · 18.11.2011, 04:45:38

Quote from: xxx3 on 17.11.2011, 21:54:13
Quote from: Tren on 17.11.2011, 19:55:16
potom co vlastne bude

tiez by som rad vedel

ta citam poradne...

Quote from: RiTChi on 13.11.2011, 04:29:20
tak co tam moze dat..... tie uplne tvary, potom minimalizovat, potom tu rezolucnu metodu, potom prepis do predikatovej logiky (alebo z), no a tu substituciu. Asi vsetko nie?

Foxina · 19.11.2011, 03:56:14

Quote from: darkoooooo on 17.11.2011, 19:52:18
Dobry den,
na zap. pisomke bude od zac. vyrokovej logiky az po semantiku predikatovej
logiky.
S pozdravom
E. Drazenska

takze mam to chapat ze bude aj semantika predikatovej logiky?

semantika uz nebude

BlackBerry · 19.11.2011, 18:12:48

Co presne potom bude na zapocte (Myskova)??

veteran · 19.11.2011, 21:37:37

Quote from: BlackBerry on 19.11.2011, 18:12:48
Co presne potom bude na zapocte (Myskova)??

Povedala, čo nebude

Binárne relácie a syntax VL (modus ponens, tranzitívnosť implikácie, zákon DS, dôkaz sporom atď.).

Na písomke ešte bude úvod do predikátovej logiky (v učebnici kapitola 3.1 - t. j. po stranu 67). Zvyšok už nie.

Matematická Logika

ppeess

ppeess

darkoooooo