Author Topic: Matematicka logika - predtermin (Read 53953 times)

MKI · « **Reply #50 on:** 11.06.2007, 04:30:30 »

cital som si to tu a nikde sa nepsie kolko skupin bolo

a nechapem tomu vasmu tvrdeniu ze z kazdej casti jedna metaveta staci
ok jednu vyberiem si sam tu spravim
ale sak druhu mi vyberie on a to moze byt hocijaka....

BCAA · « **Reply #51 on:** 11.06.2007, 04:45:33 »

no hej tak to je

paly-sk · « **Reply #52 on:** 11.06.2007, 04:47:45 »

Quote from: MKI on 11.06.2007, 04:30:30

cital som si to tu a nikde sa nepsie kolko skupin bolo

a nechapem tomu vasmu tvrdeniu ze z kazdej casti jedna metaveta staci
ok jednu vyberiem si sam tu spravim
ale sak druhu mi vyberie on a to moze byt hocijaka....

Ked sa naucis tie 4 metavety s dokazmi (z kazdej studijnej jednotky po jednej), tak mas jednu teoreticku otazku v suchu. Ked chces mat aj dalsie teoreticke spravene, tak sa uc vsetky metavety. Ja som nato nemal nervy ani cas, takze jedna teoreticka mi bohato stacila. Este som dostal ten problem so Sefferovou operaciou (vyjadrite minimalny postacujuci system logickych spojok pomocou Shefferevej operacie) cize aj to som spravil, hoci som nikdy tie problemy nevidel

A k tym skupinam len tolko, ze sam netusim, ze kolko ich bolo

mishelka · « **Reply #53 on:** 11.06.2007, 04:55:03 »

a nebola aj Pierceova operácia?

MKI · « **Reply #54 on:** 11.06.2007, 05:29:09 »

no hej chapeme sa uz konecne seci a nato som robil tahak aby sme mali dve otazky iste :DDD

psicho · « **Reply #55 on:** 11.06.2007, 16:46:26 »

treba vediet aj definicie

a metavety treba sa ucit len tie pri ktorych je nazov

taze ako priklad Metaveta 15(princip duality) << tak takyto druh treba vediet a potom ked mam take ze Metaveta 45 <<tak take netreba ,fsaaak ?

MKI · « **Reply #56 on:** 11.06.2007, 17:38:25 »

psicho tam mas tahak z metaviet na ftp

psicho · « **Reply #57 on:** 11.06.2007, 17:49:02 »

thanx ,ale mnesatu ajtak daco nezdaaaaaa , musi tu byt dakde dajaky zadrhel v tom celom ...
To mi chcete tvrdit ze ked napriklad dostanem ze napis lub. metavetu z Syntaxe vyrokovej logiky a ja napisem napr metavetu o Uplnosti co je aj s dokazom dokopi na 3 riadky tak ja zato dostanem 10 bodov

a a take jednoduche to byt nemoze !!

a coje v pripade ked dostanem daco take ze napis metavetu XY a + dokaz a prave k tejto metavete neje v scriptach uvedeni dokaz tak co ? mam si ho vymysliet??

a priklady skadial sa mam naucit , ked jedna pojebana zbierka neje dostupna ?

MKI · « **Reply #58 on:** 11.06.2007, 18:27:52 »

no hlavne by tu niekto mohol napisat ten jazyk pribuzenstva niekto kto mal zanho 10 bodov

kane77 · « **Reply #59 on:** 11.06.2007, 18:43:38 »

Quote from: MKI on 11.06.2007, 18:27:52

no hlavne by tu niekto mohol napisat ten jazyk pribuzenstva niekto kto mal zanho 10 bodov

to prave nema byt jazyk pribuzenstva... mas nieco vlastne spravit..

ale spravne, mohol by tu niekto dat nejaky spraveny...

psicho · « **Reply #60 on:** 11.06.2007, 20:59:52 »

a este taka vec ze dokaz treba vediet len pre tu metavetu ktoru si mi vyberame, pre tie ktore su urcene pretie netreba vediet dokaz

MKI · « **Reply #61 on:** 11.06.2007, 21:08:29 »

nasvete je dalsi tahak s definiciami

)

psicho · « **Reply #62 on:** 11.06.2007, 21:27:31 »

MKI da tahak machine

Mar0sh · « **Reply #63 on:** 11.06.2007, 21:28:56 »

ja Vam jazyky urobim kazdemu vlastny...staci zaplatit

mimochodom vztahy na pracovisku nie je vlastny jazyk...za to sa uz dostava max. 5 bodov

MKI · « **Reply #64 on:** 11.06.2007, 21:47:20 »

no yoo o tom to tu je niekto robi tahak dva dni a da ho volne do obehu a niekto moze pomoct spravit jeden priklad a pyta zato money......

mishelka · « **Reply #65 on:** 11.06.2007, 22:47:50 »

Quote from: MKI on 11.06.2007, 21:08:29

nasvete je dalsi tahak s definiciami )

ta to si mohol aj skôr povedať že to spisuješ, a ja sa tu s tým trápim...

inak veľké ĎAKUJEM ti ide

kane77 · « **Reply #66 on:** 11.06.2007, 23:34:07 »

Quote from: MKI on 11.06.2007, 21:47:20

no yoo o tom to tu je niekto robi tahak dva dni a da ho volne do obehu a niekto moze pomoct spravit jeden priklad a pyta zato money......

aj ja dakujem, aj ked ja tahaky nepouzivam...

mishelka · « **Reply #67 on:** 11.06.2007, 23:42:02 »

no veď ani ja, (ok len také pomocné, čo mi potom aj tak nikdy netreba

) ale dobre sa z toho učí keď to máš všetko pokope

kane77 · « **Reply #68 on:** 12.06.2007, 03:07:58 »

Quote from: mishela on 11.06.2007, 23:42:02

no veď ani ja, (ok len také pomocné, čo mi potom aj tak nikdy netreba ) ale dobre sa z toho učí keď to máš všetko pokope

to hej asi aj ja maximalne tak ze si to zvacsim a ucim sa.. ale v reali $:-\$
(ale asi by som mal zacat)

MKI · « **Reply #69 on:** 12.06.2007, 03:25:33 »

zato by ste mohli napisat tu ulohu o pribuzenstve ten priklad

mishelka · « **Reply #70 on:** 12.06.2007, 19:21:47 »

keby som ju mala ta by som aj, ale ešte nemám nič ani vymyslené

)

UPDATE: už nič

psicho · « **Reply #71 on:** 12.06.2007, 21:32:27 »

mishela is a true samouk and post saver

Ing. nemtom · « **Reply #72 on:** 12.06.2007, 21:54:46 »

skopirovany termin z IS:

19-jun-2007 07:30:00 9 999 ZP1 Pozor ! Začiatok už o 7:30 !

BTW: ako treba spravit ten sheffer stuff? myslim vyjadrit system setkych postacujucich spojok abo take daco

MKI · « **Reply #73 on:** 12.06.2007, 23:07:05 »

inac ja by som poprosil ak niekto ma prepocitatne priklady an tie dve ulohy

Separujte klauzuly pre pouµzitie rezoluµcnej metódy pri odvodení

Nájdite optimálny unikátor disjunkcie základných formúl a unikáciu pouµzite na odvodenie rezolventy z klauzúl

tak ci by nepreskenol a nehodil na ftp
thanks

mishelka · « **Reply #74 on:** 12.06.2007, 23:27:55 »

Quote from: nemtom on 12.06.2007, 21:54:46

BTW: ako treba spravit ten sheffer stuff? myslim vyjadrit system setkych postacujucich spojok abo take daco

A sheffer A = negacia A

News:

Author Topic: Matematicka logika - predtermin (Read 53953 times)