Author Topic: Matematická Logika (Read 57824 times)

bEnd3r · « **Reply #100 on:** 11.11.2011, 20:29:12 »

nejake blizsie info k zapoctu nemate?

xxx3 · « **Reply #101 on:** 11.11.2011, 20:51:59 »

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

bEnd3r · « **Reply #102 on:** 11.11.2011, 20:57:07 »

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

Tren · « **Reply #103 on:** 11.11.2011, 21:24:32 »

Ano v 10 tyzdni na prednaske

ppeess · « **Reply #104 on:** 11.11.2011, 21:52:25 »

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

ultimate · « **Reply #105 on:** 11.11.2011, 23:55:53 »

a to su ktore ?

Rajo · « **Reply #106 on:** 12.11.2011, 01:53:58 »

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

Cici · « **Reply #107 on:** 12.11.2011, 02:02:13 »

alebo sa učiť

paloSK · « **Reply #108 on:** 12.11.2011, 02:25:45 »

Quote from: Cici on 12.11.2011, 02:02:13

alebo sa učiť

Nesranduj

ppeess · « **Reply #109 on:** 12.11.2011, 05:35:07 »

Quote from: Cici on 12.11.2011, 02:02:13

alebo sa učiť

Co sa chces na logiku ucit?

RiTChi · « **Reply #110 on:** 12.11.2011, 16:36:02 »

Quote from: bEnd3r on 11.11.2011, 20: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 · « **Reply #111 on:** 12.11.2011, 17:17:19 »

cize tam vlastne dokopy nic nebude

orsi · « **Reply #112 on:** 12.11.2011, 17:37:26 »

Quote from: ultimate on 12.11.2011, 17: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 · « **Reply #113 on:** 13.11.2011, 03: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 · « **Reply #114 on:** 16.11.2011, 20:27:34 »

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

luko · « **Reply #115 on:** 16.11.2011, 22:16:25 »

Quote from: xxx3 on 16.11.2011, 20: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 · « **Reply #116 on:** 17.11.2011, 01:55:13 »

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

xxx3 · « **Reply #117 on:** 17.11.2011, 01:59:51 »

a nepovedala, co tam bude ?

darkoooooo · « **Reply #118 on:** 17.11.2011, 18: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 · « **Reply #119 on:** 17.11.2011, 18:55:16 »

Quote from: RiTChi on 12.11.2011, 16:36:02

Quote from: bEnd3r on 11.11.2011, 20: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 · « **Reply #120 on:** 17.11.2011, 20:54:13 »

Quote from: Tren on 17.11.2011, 18:55:16

potom co vlastne bude

tiez by som rad vedel

RiTChi · « **Reply #121 on:** 18.11.2011, 03:45:38 »

Quote from: xxx3 on 17.11.2011, 20:54:13

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

tiez by som rad vedel

ta citam poradne...

Quote from: RiTChi on 13.11.2011, 03: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 · « **Reply #122 on:** 19.11.2011, 02:56:14 »

Quote from: darkoooooo on 17.11.2011, 18: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 · « **Reply #123 on:** 19.11.2011, 17:12:48 »

Co presne potom bude na zapocte (Myskova)??

veteran · « **Reply #124 on:** 19.11.2011, 20:37:37 »

Quote from: BlackBerry on 19.11.2011, 17: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.

News:

Author Topic: Matematická Logika (Read 57824 times)

ppeess

ppeess

darkoooooo