• Welcome to TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach.
 

Matematicka logika - predtermin

Started by wlade, 19.05.2007, 21:39:32

« predchdzajce - alie »

MKI

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....
www.mki.sk Kvalitne a lacne TONERY :)

BCAA


paly-sk

#52
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 :D

mishelka

a nebola aj Pierceova operácia?
  

#define TRUE FALSE //Happy debugging suckers :D

MKI

no hej chapeme sa uz konecne seci a nato som robil tahak aby sme mali dve otazky iste :DDD
www.mki.sk Kvalitne a lacne TONERY :)

psicho

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 ?:D
read my blog> www.codemazing.com <read my blog

MKI

psicho tam mas tahak z metaviet na ftp :D
www.mki.sk Kvalitne a lacne TONERY :)

psicho

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 ?
read my blog> www.codemazing.com <read my blog

MKI

no hlavne by tu niekto mohol napisat ten jazyk pribuzenstva niekto kto mal zanho 10 bodov :)
www.mki.sk Kvalitne a lacne TONERY :)

kane77

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...
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?

psicho

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 ???
read my blog> www.codemazing.com <read my blog

MKI

nasvete je dalsi tahak s definiciami :))
www.mki.sk Kvalitne a lacne TONERY :)

psicho

read my blog> www.codemazing.com <read my blog

Mar0sh

ja Vam jazyky urobim kazdemu vlastny...staci zaplatit :D
mimochodom vztahy na pracovisku nie je vlastny jazyk...za to sa uz dostava max. 5 bodov ;)

MKI

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......
www.mki.sk Kvalitne a lacne TONERY :)

mishelka

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... :hammer: :462: :emot-LMAO: inak veľké ĎAKUJEM ti ide ;)
  

#define TRUE FALSE //Happy debugging suckers :D

kane77

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...
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?

mishelka

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

#define TRUE FALSE //Happy debugging suckers :D

kane77

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 :D ) 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)
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?

MKI

zato by ste mohli napisat tu ulohu o pribuzenstve ten priklad :)
www.mki.sk Kvalitne a lacne TONERY :)

mishelka

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


UPDATE: už nič
  

#define TRUE FALSE //Happy debugging suckers :D

psicho

mishela is a true samouk and post saver :D
read my blog> www.codemazing.com <read my blog

Ing. nemtom

#72
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
brix will be shat

MKI

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 uni…kátor disjunkcie základných formúl a uni…káciu pouµzite na odvodenie rezolventy z klauzúl

tak ci by nepreskenol a nehodil na ftp
thanks
www.mki.sk Kvalitne a lacne TONERY :)

mishelka

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 ;)
  

#define TRUE FALSE //Happy debugging suckers :D