TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2006/2007 => 2. ročník => Topic started by: wlade on 19.05.2007, 21:39:32
-
Najde sa tu niekto kto bol na predtermine z matematickej logiky 18.5.5 v piatok a podeli sa o svoje zazitky ? :lb:
-
robte tahaky kto mozte :)
-
robte tahaky kto mozte :)
preco ?
ved ked si bol na predtermine aspon naznac co bolo
-
a bol vobec niekto na tom predtermine??
-
Bol, lebo ja som bol pisat nahradnu zapoctovku. Tak som videl ze bolo tam zopar ludi. No a co vam poradim robte tahaken :). Bol tam sam berezny :)
Ale akeho typu priklady a teoria otazky to ti neviem povedat.
-
no na predtermin boli v piatok prihlaseni 4 ludia ked si dobre pametam..
-
no na predtermin boli v piatok prihlaseni 4 ludia ked si dobre pametam..
ano, a ze vraj 25%-na uspesnost
-
niekto tu tlaci do hlavy den noc :P
-
mozem tu len tolko napisat ze pan skrivanek nam na cviceni povedal:
bude 7 uloh
-priklad na: optimalny unifikator a nasledne z toho vytvorit rezolventu ci co :laugh:-
-priklad na: separaciu klauzul pre pouzitie rezolucnej metody
-vytvorit formalny jazyk z axiomami a setkym co k tomu patrii
-daco zo syntaxu vyrokovej logiky
-daco zo semantiky VL
-daco zo syntaxu predikatovej logiky
-daco zo semantiky PL
len neviem co je to daco.. ci mame vediet po jednej vete podla vlastneho vyberu a potom tam bude treba riesit nejaky skvely problem alebo co tam treba vediet..
-
po jednej vete z kazdej casti ktoru ti on vyberie (vecsinou len tie pomenovane, lebo ostatne ti nema ako dat, cisla si nezapametas) - jedno z toho je problem, ktory ti tiez da asi on, jeden dokaz z kazdej casti ktory si sam vyberies.
-
wed tu su pomenovane snad vsetky!! omg omg :hammer: 25. prestavam vidiet realne :laugh:
edit. ujo moderator sa ciniiii :j_shocked:
-
booooojim sa
-
Keby ste nahodou potrebovali nejake veci ohladom skusky, tak kliknite na http://www.tuke.sk/skrivanek/Logika/. Je tam aj vzorova skuska, ze asi ako bude vyzerat, tak GL v piatok :p:
-
NIIICEEE
-
ale mne prajte GL az piatok 15.6. :laugh:
-
ale mne prajte GL az piatok 15.6. :laugh:
tak ja tiez az vtedy idem..
-
Nevie niekto kde je ta miestnost A230 ?
Som na zajtra prihlaseny na skusku, viem velky prd ale odhlasit sa neda tak tam pojdem aspon zistit otazky na opravny...
-
Hlavna budova - blok A - 2.poschodie... poslucharen niekde tam ;)
-
mozu lutovat ti co neboli na dnesnom termine. Berezny vacsinu casu travil pozeranim von oknom ;D , cize by som mohol prepisovat kludne zo skript, keby som tam nejake mal. :dancing:
-
Sakra som si mohol nejaky tahacik zobrat, ved ako keby tam ani Berezny nebol :03:
-
nooo tak to sa dalo to aj ja mozem potvrdit... ale tiez som mal moje male skripta niekde vo velkej hlbke tasky a este aj taska bola mimo... no nic... som daco popisal, snad to bude
-
tazke to bolo ?
-
lahke to bolo, priklady boli lahke aspon podla mna, otazky tiez neboli tazke a samozrejme to istil nejaky ten tahak a skuska bola presne ako to pdf vzor len samozrejme ine otazky ;)
-
priklady boli uplne lahke, len vsetky boli za 10 bodov (aspon tak moja skupina C) a skoda ze som sa teoriu neucil, abo nezobral vytlacene skripta abo tahaky abo daco... ale hlavne ze to mam:))))))
E 59... prva misia splnena :D
-
Sakra a ja 7 bodov zo skusky, som domotal co sa dalo :nervous:
-
lahke to bolo, priklady boli lahke aspon podla mna, otazky tiez neboli tazke a samozrejme to istil nejaky ten tahak a skuska bola presne ako to pdf vzor len samozrejme ine otazky ;)
aky pdf vzor ??? existuje dajaka zbierka z ktoreho sa viem naucit priklady???
-
kurva taja potrebujem zbierku , inac to nejde, tota logika to tiez jak PT odflaknute maximalne , mozem ogrcaaaaaaaat , pridem na skusku a ogrcam vsetko cotam bude
-
v logika07.pdf mas par prikladov co budu na skuske vypocitane, ja som sa z toho ucil tie priklady, trochu aj z cviceni a nestratil som pri nich ani bod :)
-
kurva taja potrebujem zbierku , inac to nejde, tota logika to tiez jak PT odflaknute maximalne , mozem ogrcaaaaaaaat , pridem na skusku a ogrcam vsetko cotam bude
ideme klasika.. ja osikavam ty ogrcavas :laugh: :laugh:
no tak ja mam tu logiku07.pdf ci co a este sa potom pozrem na ten vzor yo yo.. uz teraz sa tesim na matematiku 15. ak boh da bude to moja posledna letna skuska :emot-dance:
-
Maaam to
-
Kto ma uz urobeny jazyk, mohol by ho pastnut :D
-
Kto ma uz urobeny jazyk, mohol by ho pastnut :D
No to jo, zeby som aspon videl, ze ako to ma vyzerat alebo co...
-
popripade nejaky tahak sem dat
-
Bue typ otazok na opravnom taky isty ako na riadnom termine ?
-
neviete nahodou ci aj zajtra na skuske bude len berezny???
-
neviete nahodou ci aj zajtra na skuske bude len berezny???
Tak sa mi vidi, ze Berezny spominal, ze bude len na prvych dvoch terminoch, lebo potom ide prec.
-
Ano, neviete ako to bude na dalsich terminoch? ci budu rovnake(podobne) otazky?
-
Jeeeeeeeeeeeeeeeeeeeeeeees maaaam ju .... 71C ou jeeeeee !!!! ide sa oslavovat :)
-
jj...posledna skuska uspesne za nami ;) a 4 mesiace prazdnin pred nami :D Teda aspon predo mnou ;)
-
inac kolko skupin zvykne byt ?
-
Nemá niekto vypracované tie problémy? Sakra veľa ich je...
-
Nespominam si, ze by som mal na skuske riesit nejaky problem ;)
-
tak naco sa treba sustredit ? :D
-
tak naco sa treba sustredit ? :D
Staci, ked sa naucis 4 metavety (z kazdeho celku po jednej) s dokazom (tie najlahsie), tie 2 priklady co su vo vzore a vymysli si vlastnu teoriu a skusku mas istu ;-)
-
a kolko je tych skupin ?
a ako to ze ti staci vediet z kazdej cesti jednu metavetu ? ved podla definicie co treba vediet:
formulujte a demondtrujte platnost, metavety prísludnej SJ podla vlast-ného výberu,
formulujte zadanú metavetu SJ,
tomu chapem tak ze jednu metavetu napisem ja aku chcem a jednu mi zadan on nie ?
-
a nechapem tolko terminov bolo a seci su lenivi dat par tahakov dokopy .....
hodil som na ftp tahak s komplet metavetami zo skript
planujem vybrobit aj dalsie tahaky ale ide to pomaly kedze nikomu inemu sa natom nechce robit......
-
tak naco sa treba sustredit ? :D
Staci, ked sa naucis 4 metavety (z kazdeho celku po jednej) s dokazom (tie najlahsie), tie 2 priklady co su vo vzore a vymysli si vlastnu teoriu a skusku mas istu ;-)
tak to je potesujuca sprava.. (btw plati to aj ked mam zapich za 19b?
-
tak naco sa treba sustredit ? :D
Staci, ked sa naucis 4 metavety (z kazdeho celku po jednej) s dokazom (tie najlahsie), tie 2 priklady co su vo vzore a vymysli si vlastnu teoriu a skusku mas istu ;-)
tak to je potesujuca sprava.. (btw plati to aj ked mam zapich za 19b?
Ked sa naucis to co som povedal, tak dostanes zato 40 bodov ;-) Ja som sa ucil den pred skuskou a mal som tych 40 bodov :)
-
preco ignorujete moje otazky ?
-
tak čo viem tak bola Shefferova operácia a to je jeden z problémov... A Skřivánek tiež vravel že bude jeden, takže by sa zišlo... Tie prvé sú OK ale tie ďalšie... :nervous: :whacko:
2 MKI: Budú 4 otázky z teoretickej časti a dve z praktickej. Jedno z toho bude problém, ktorý ti on vyberie. Druhé bude dôkaz, z časti ktorú ti on vyberie, a je už na tebe, ktorú vetu dokážeš. Ďalšie dve veci sú vety, ktoré ti vyberie on. Bude to spravené tak, aby jedna teoretická otázka bola z každej časti logiky. Potom tie dva príklady z časti praktickej.
No a ešte ten bonus, že bude vlastný jazyk..
A to že ti nikto neodpovedá bude asi kôli tomu, že sa to tu už niekde napísalo... ;)
-
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....
-
no hej tak to je
-
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
-
a nebola aj Pierceova operácia?
-
no hej chapeme sa uz konecne seci a nato som robil tahak aby sme mali dve otazky iste :DDD
-
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
-
psicho tam mas tahak z metaviet na ftp :D
-
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 ?
-
no hlavne by tu niekto mohol napisat ten jazyk pribuzenstva niekto kto mal zanho 10 bodov :)
-
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 este taka vec ze dokaz treba vediet len pre tu metavetu ktoru si mi vyberame, pre tie ktore su urcene pretie netreba vediet dokaz ???
-
nasvete je dalsi tahak s definiciami :))
-
MKI da tahak machine
-
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 ;)
-
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......
-
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 ;)
-
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...
-
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 :)
-
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)
-
zato by ste mohli napisat tu ulohu o pribuzenstve ten priklad :)
-
keby som ju mala ta by som aj, ale ešte nemám nič ani vymyslené :))
UPDATE: už nič
-
mishela is a true samouk and post saver :D
-
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
-
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
-
BTW: ako treba spravit ten sheffer stuff? myslim vyjadrit system setkych postacujucich spojok abo take daco
A sheffer A = negacia A ;)
-
A sheffer A = negacia A ;)
A este tam treba vyjadrit implikaciou ako: A shef (B shef B) = A shef neg B = neg (A & neg B) = neg A or B = A implikacia B
-
mna jebne ztej matiky ,tosa neda
-
mna jebne ztej matiky ,tosa neda
Sak vies co bude na skuske, tha coho sa bojis? Za jeden den sa dokazes naucit min. tie veci, ktore som hovoril, aby si spravil skusku
-
ale jasom velmi kokot z tej matiky, priklady zatial neviem vobec :( :( :(
-
veď príklady budú len tie dva typy, to sa naučíš aj keby si neviem čo mal robiť ;)
-
ta keby bola dajaka zbierka kde by boli zdas 2-3 komplet vyriesene priklady ,+ este 5-6 neriesenych s spravnou odpovedou tak to sa aj dáaaaa ,ale ked oni su lenivi spravit jednu zbierku a v zosite mam jeden posahany priklad ,tak toje uz dost o inom
-
ta keby bola dajaka zbierka kde by boli zdas 2-3 komplet vyriesene priklady ,+ este 5-6 neriesenych s spravnou odpovedou tak to sa aj dáaaaa ,ale ked oni su lenivi spravit jednu zbierku a v zosite mam jeden posahany priklad ,tak toje uz dost o inom
ta... tuke... ako mne Skřivánek povedal, že keď nebudem niečo vedieť (ako teraz myslím reakciu na to, že v tej "akože zbierke" = príklady z cvičení, nie sú žiadne výsledky), tak mu mám napísať maila.. No neviem, keby som začala tak on si ma potom asi vážne hodí do spamu :D :D :D
-
suhlasim
-
prave preto ak ma niekto nejake prikaldy preriesen etak nech ich scanne pls :)
-
nojo ale neze naskenujete dajake shitne a potom sato naucim stoho zle pocitat :D
-
nj dakto by mohol priklady takeho typu ako vo vzore hodit dakde, ale rychlo
tu vlastnu metavetu co mam napisat moze byt aj z nepomenovanych vsak?
-
tak dúfam že jo, lebo také som sa už naučila tri a nebudem to meniť...
-
tak viem nejake vypocitane vzorove priklady dat na net ale nemusi to byt najlepsie... skuste sa pozriet:
Priklad1 http://sms.tym.sk/priklad1.jpg
Priklad2 http://sms.tym.sk/priklad2.jpg
-
inak, kto bol na poslednom termine.....kto bol na dozore?
-
nie su niekde v skriptach nejake vzorove prilady vypocitane? nejak neviem najst :(
-
trek: su napr pr 111
a chcem sa spytat na skuske su lahsie alebo tazsie priklady ako su tie v tej vzorovej skuske ???
-
a chcem sa spytat na skuske su lahsie alebo tazsie priklady ako su tie v tej vzorovej skuske ???
presne ten typ bude...
-
ako
a chcem sa spytat na skuske su lahsie alebo tazsie priklady ako su tie v tej vzorovej skuske ???
akoze podla mna na skuske co som bol ja tak bol o dost lahsi priklad ten prvy... aj bol za dost menej bodov nasledne ale druhy dal asi tazsi ale len mierne, ze nic special co by sa nedalo
-
its all phucked up ,a nema dakto spravne vysledky pre priklad 27 z toho cvicenia.pdf ??
-
inak, kto bol na poslednom termine.....kto bol na dozore?
na dozore bol zase len sam berezny takze lazo-plazo :)
a chcem sa spytat na skuske su lahsie alebo tazsie priklady ako su tie v tej vzorovej skuske ???
na skuske su ovela lahsie priklady
-
jasa boooojiiiim tej matiky , looool co vsetko by som dal zato keby som nemusel ist natu skusku len by mi zapisali lubovolnu znamku od A do E
tuty najhorsia skuska :(
-
ne, najhoršie je PS
UPDATE: na ML máš aspoň kľud pri opisovaní :D
-
Kurnik sopa ma nenajebete??? ona jakze moza mat pohibujuci sa avatar a ja ne??? TO KDE SME ??? MOZEM OGRCAT CELE TU-KE FORUM
sakujte dick
veď môžeš mať ale normálny ;)
-
mozte dat dajaky tip keru metavetu sa ucite zo syn PL aj sem PL?
-
mozte dat dajaky tip keru metavetu sa ucite zo syn PL aj sem PL?
tiež by som chcela vedieť.. ale podľa mňa keď bude, tak určite minimálne vety o korektnosti a úplnosti budú, inak neviem..
-
myslel som tie z tych 4 co kvoli tomu aby jedna otazka bola urcite dobre
-
myslel som tie z tych 4 co kvoli tomu aby jedna otazka bola urcite dobre
neviem, ja sa učím všetky, aj keď asi sa z toho mierne zblbnem potom.. :D
UPDATE: ja sa skôr bojím, že dajú aj definície, lebo v PL je toho po prdel... :nervous:
UPDATE2: a vedieť čo bolo na predošlých termínoch by tiež nebolo od veci aby som vedela čo sa nemusím učiť :D
-
podla mna to iste nam da co uz bolo, vsak tam neje tolko pomenovanych metaviet aby pokazdom termine dal inuuuu
-
.. jaaaa som sa do toho este nemrkol.... :lb:
-
aj tak sa daaa
-
ani ja... :) a ani tak skoro nemienim...
-
kurnik aj ja xem byt taky mudry
-
ani ja... :) a ani tak skoro nemienim...
a ty máš tiež v piatok skúšku? Neblbnii :trestac:
-
ani ja... :) a ani tak skoro nemienim...
a ty máš tiež v piatok skúšku? Neblbnii :trestac:
ee az 19-teho... ale zajtra mam PT... takze preto :)
-
ee az 19-teho... ale zajtra mam PT... takze preto :)
tak držím prsty ;)
-
mno tak ja mam v piatok skusku... :lb:
-
boha krista..neviem sa tie dva blbe typy prikladov naucit :j_huh:...vobec nerozumiem ako to funguje..no v piatok sa kazdopadne fajne :drink: a este aj :smokin:
-
boha krista..neviem sa tie dva blbe typy prikladov naucit :j_huh:...vobec nerozumiem ako to funguje..no v piatok sa kazdopadne fajne :drink: a este aj :smokin:
ake typy prikladov? :lookaround:
-
ake typy prikladov? :lookaround:
tie ake su na vzore http://www.tuke.sk/skrivanek/Logika/Vzor.pdf ...priklady 6 a 7 :j_angry:
EDIT: neviete niekto ako sa z diferencnej fcie urci co cim nahradim?...ci prve druhym alebo druhe prvym?
-
diferencnej rovnice ??? omg asi totu nepatri :D alebo heeeej ? :D
-
diferencnej rovnice ??? omg asi totu nepatri :D alebo heeeej ? :D
ked hladas optimalny unifikator, tak v kazdom kroku hladas diferencnu funkciu (Dk)..aspon tak to mam v zosite...no a neviemako to je ci prvy prvok nahradzas druhym alebo druhy prvym
-
diferencnej rovnice ??? omg asi totu nepatri :D alebo heeeej ? :D
jaaa ti nepoviem.... :lb:
-
no jasom pocital obydva druhi prikladov a z takym pojmom som sa nestretol , mozno ze som mal ale ta to potom nedobre
-
psicho...no to je vlastne jedno ako sa to nazyva :j_grin: ...a v tomto type prikladu: http://sms.tym.sk/priklad2.jpg je to ten stlpec uplne napravo...neviem teraz ako to je co cim mam nahradit v dalsom kroku
no a este celkom neviem ako mam pomocou unifikacie odvodit rezolventu..shit
-
vsak toje easy ides z lava do prava potych formulach ktore mas zadane a hned jak natrafis na dajake miesto kde sa odlisuju tak zamenis to prve tym druhim aby sa potom rovnaly
a tu rezolventu odvodis tak ze najprv na zadane formuly aplikujes ten mega ultimate unifikator a potom to co sa bude zhodovat s faktorom ,tak to das prec a co ne to nechas a co ti zostane to bude ta odvodena rezolventa
-
Ľudia, a ako to bolo na predošlých termínoch so zapisovaním? Boli výsledky hneď v ten deň dakedy poobede alebo inokedy?
-
lol mna toto trapi najmenej :D :D :D :D
viacej ma trapiiiii ci nema dakto tahak s DEFINICIAMI ???????
-
psicho...ok dik je to celkom easy :)..len mi nie je jasne ci vzdy zamenim prve s druhym lebo v skriptach je aj naopak...ale mozno to je jedno
...a na dreamhoste je tahak s metavetami
-
psicho...ok dik je to celkom easy :)..len mi nie je jasne ci vzdy zamenim prve s druhym lebo v skriptach je aj naopak...ale mozno to je jedno
...a na dreamhoste je tahak s metavetami
ta my sme na cvikach s skrivanekom, ked si mal Dk: {y,y,a} -> y/a ; {x,F(y),F(a)} -> x/F(y)
a na dreamhoste je aj tahak s defin. od MKI "da tahak machine" :emot-LMAO:
-
fanfo...thx got it :))))))
-
chcem sa opytat takyto jazyk bude stacit na 10 bodov ? http://www.sexice.szm.sk/jazyk.jpg
-
taký priblblý kweščn: ten DeeLov príklad 1 je dobre? ??? Lebo tam sa mi zdá že nedal čiarkasté premenné, tie x=y (čo sú v druhom riadku na konci), lebo nie sú v zátvorke, takže ich nemôžem dať pod kvantifikátor s x a y... Či zle pozerám? :emot-drunk: Pliiiis odpíšte niekto kto sa v tom vyzná... :bananawrite:
UPDATE: .. alebo tam zabudol dať tie zátvorky ???
UPDATE2: aha ne, dobre to je :emot-dance:
-
chcem sa opytat takyto jazyk bude stacit na 10 bodov ? http://www.sexice.szm.sk/jazyk.jpg
:emot-LMAO: :emot-LMAO: za ten ti možno aj 110b za skúšku dajú :emot-LMAO: :emot-LMAO:
-
chcem sa opytat takyto jazyk bude stacit na 10 bodov ? http://www.sexice.szm.sk/jazyk.jpg
jj ten si zasluzi viac ako 10b :D
-
taký priblblý kweščn: ten DeeLov príklad 1 je dobre? ???
UPDATE: .. alebo tam zabudol dať tie zátvorky ???
UPDATE2: aha ne, dobre to je :emot-dance:
vidim, ze si sama dokazes odpovedat na otazku... :))
-
sweet
-
neviete s istou niekto povedat ci bude zajtra na dozore Berezny, lebo inak to s mojou teoriou vyzera na ... thx
-
no ale to ta aj tak nezachrani, musis vediet trosku viac, ako len jazyk ukazat :P
-
neviete s istou niekto povedat ci bude zajtra na dozore Berezny, lebo inak to s mojou teoriou vyzera na ... thx
myslim, ze by sme uvitali ak by tam bol... a spraval sa ako doteraz, ze len pohladom von z okna
ale niekto spominal, ze len na prvych dvoch bude, takze asi smolu mame
a mozno nie.. mozno pride niekto lepsi :D
-
tak on bol sam aj na poslednej skuske, co uz uplne ze nebola druha skuska v poradi
-
ako veď aj Skřivánek by mohol byť, na písomkách to s nami tiež tak bolo že looking everywhere len ne na nás :D
-
tak to by som bral aj Skrivanka, ale nie nejakych fanatykov na tahaky. mlady ty su najhorsi, si musia asi cosi dokazovat
-
treba sa ucit mlaaadez a ne tahakovat :D :D :D len to by vaam trebalo tahakovyny a picoviny robaac
-
yeah yeah, si predstavte ze lekar vas bude operovat a z tahaku si bude citat kde co ma rezat... nechcel by som (hlavne ked mu tahak pisal dakto iny)
btw psicho: ten tvoj avatar vyzera presne ako moja hlava, neviem cim to je, postnem tu asi polku svojej hlavy na porovnanie:D
edit: nemam fotku svojej lebky.. skoda.. ale uz sa ma pytali ci mas ako avatar moj xicht:D
-
:D :D hidden twins :)
-
ale toje len tyyym zeto je zmensene, wo full view to tak nevyzera
see
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fwww.sexice.szm.sk%2Fme_half.jpg&hash=9111526b6a9d0b8c928feb58dee27b39f94e775c)
-
nj, zvacsene uz dobre, ale najviac rulez na tom je ze vidno ti stolicku:D:D:D:D
-
to direkt :D
-
spacechair:D:D si patentuj, NASA zato zaplati cash money
-
yeah yeah, si predstavte ze lekar vas bude operovat a z tahaku si bude citat kde co ma rezat... nechcel by som (hlavne ked mu tahak pisal dakto iny)
btw psicho: ten tvoj avatar vyzera presne ako moja hlava, neviem cim to je, postnem tu asi polku svojej hlavy na porovnanie:D
edit: nemam fotku svojej lebky.. skoda.. ale uz sa ma pytali ci mas ako avatar moj xicht:D
ja s tebou suhlasim, sam som este tahak na ziadnej skuske nepouzil, ale ked to okolnosti dovolia. a k tomu je to moja posledna skuska a vobec sa mi uz nechcelo ucit
-
nj ale zas dakto moze povedat ze mi nesme lekari a pri programovani mozes si hladat na nete co chces, cize zas... neviem, tolko viem ze sa blyska:D
-
nj ae naco by lekarobi bolo napr programovanie v jave ? :)) to nech si ten lekar kludne otahakuje
tak ako aj my si otahakujeme matematicku logiku a ine zbytocnosti ktorych je vacsina :)))
-
vsak toje easy ides z lava do prava potych formulach ktore mas zadane a hned jak natrafis na dajake miesto kde sa odlisuju tak zamenis to prve tym druhim aby sa potom rovnaly
a tu rezolventu odvodis tak ze najprv na zadane formuly aplikujes ten mega ultimate unifikator a potom to co sa bude zhodovat s faktorom ,tak to das prec a co ne to nechas a co ti zostane to bude ta odvodena rezolventa
neplait vzdy ze menis to prve tym druhym , skor mi to pripada ze menis podla toho kotre sa ti viac hodi
alebo kto sa dotoho vyzna naj poovie :D
-
prikladik
http://img154.imageshack.us/img154/8933/01cm2.jpg
-
moze mi dakto napisat podrobny postup pre separovanie? ale tak ako keby 6rocnemu decku...
-
moze mi dakto napisat podrobny postup pre separovanie? ale tak ako keby 6rocnemu decku...
aj ja sa pripajam k tejto prosbe s tym rozdielom ze mne to treba vysvetlit ako trojrocnemu decku
-
ta viac to už neviem vysvetliť, neblbnitee :D
http://img521.imageshack.us/img521/4315/02ov4.jpg
-
hell no, ja nesom advanced 6 rocne decko:D, nechaj tak radsej
edit: a zas som nasiel jednu fasa ppc tuke vec, ze skripta sa este stale menia, odporucam kazdemu kto si tu logiku07.pdf stiahol skor nech si kukne ci ma aktualnu verziu, ja som mal doterz 69 stranovu, ale prave som zisitl ze je nova 71 stranova, v ktorej je rieseny aj prvy priklad ukazkovo, cize zas skur* tuke nam ukazalo ake fasa je tu, ako aj na OP som dostal link s UML sipkami den po skuske, tu asi vsetko sa dozvieme vtedy ked je uz neskoro
-
ta viac to už neviem vysvetliť, neblbnitee :D
http://img521.imageshack.us/img521/4315/02ov4.jpg
ja som uz zblbol z tej matiky, ucit sa matematicku logiku je ako byt na drogach , normalne tripujem stoho
-
ako tie príklady nepochopíte keď neviete tie čo boli predtým... (+ nejaká tá teória, pár definícií)
-
:nervous:
-
na celej separacii sa mi najviac paci veta, ktoru budem citovat zo skript:
"Takto vymedzená procedúra má len teoretický význam a ako reálny algoritmus je sotva použiteľná."
to potom znamena ze na skuske to nesmie chybat, lebo to bude v praxi a pri dalsom studiu iste nevyhnutne
-
ako toto nekomentujem teraz :D celá logika bola podľa mňa jedine na to, aby si sa naučil robiť veľké karnafove mapy, ešte aj to ti bude na dve veci... :D
-
DAJTE SI PIKO a bude vsetko ok
dajsi piko dajsi piko dajsi piko dajsi piko pojde ti karta !!!!!!!!!!!
Tvoja mamka je docela rada ze mas plaaany
len skoda ze koncia nazachode v saaaly
skoda matematik zesi stejk nedaas ,tysi daj metavetu ten tvoj mecenaas
mas 40 kil dobre vyzeras, rapavy chsicht vobec nemas
-
edit: ...ja som mal doterz 69 stranovu, ale prave som zisitl ze je nova 71 stranova, v ktorej je rieseny aj prvy priklad ukazkovo...
asi nemas tu novu verziu ze? :D
-
hm, je este ina? ked hej ta mna jebne
-
sak na dreamhoste logika07_prednasky - to je revidovaná verzia
-
ja mam doma uz 2 revidovane
-
ta viac to už neviem vysvetliť, neblbnitee :D
http://img521.imageshack.us/img521/4315/02ov4.jpg
len taky postreh . ta znacka ehm... stvorca je tam functia a ne predikat. Pre tento treba robit ten R2??
-
pre predikáty robíš R2 a pre funkcie R3.. ako potom to mám len blbo napísané, má tam byť R3..
tak to mám v zošite, nepýtaj sa ma prečo to mám tak :D
-
Thanx. Potom uz aj nieco chapem :-*
-
kurnik matematicka logika makes me horny :D
lool jasa uz neucim , zajtra to bude hardcore masaker ,neeemkeeen ,jasa strasne bojiiiim
-
budu stacit aj tie najkratsie mätatety ako vlastna mätatea ?
-
podla toho cosa povrava ano
-
http://sms.tym.sk/priklad1.jpg
question 1 : co sa udialo na 6tom a 5tom riadku (textu nie linajok) od SPODU , prilis moc deja na jeden riadok :D .
question 2 : neako mi unika pointa, no dober vezmime ze nejak by sa to dostalo do finalneho rozlozenia , nasleduju posledne tri riadky textu a rozmyslam , to su neake poucky ci to nadvezuje na priklad?? co je vlastne riesenim :??DDD
PS: profesori iduci zajtra na nasu skusku : :ringsmiley: :ringsmiley: :ringsmiley: :ringsmiley:
-
http://sms.tym.sk/priklad1.jpg
question 1 : co sa udialo na 6tom a 5tom riadku (textu nie linajok) od SPODU , prilis moc deja na jeden riadok :D .
question 2 : neako mi unika pointa, no dober vezmime ze nejak by sa to dostalo do finalneho rozlozenia , nasleduju posledne tri riadky textu a rozmyslam , to su neake poucky ci to nadvezuje na priklad?? co je vlastne riesenim :??DDD
riešením je to čo máš zeleným podčiarknuté.
v 6. riadku odspodu zobral 3tiu axiómu, upravil ju a znegoval. je to viac krokov v jednom, takže si to musíš upraviť postupne ;)
a neguješ to preto, lebo chceš dokázať (v rezolučnej metóde, v ktorej to použiješ), že teória je splniteľná (či dačo také), takže musíš dokázať T, neg(A) že je sporná.
UPDATE: tretí riadok odspodu je R3 pre funkciu ktorá ti vznikla pri skolemizácii (4. riadok odspodu) a tie dva za ním sú upravené R2ky pre = a e
UPDATE2: k tomu príkladu ešte chýba to, že všetky tie podčiarknuté blbosti treba zapísať pre každú inak očíslovanými premennými (konštanty sa nečíslujú), čo sú potom už tie vzniknuté separované klauzuly, ktoré máš dostať.
-
Dik :
question 3 ;_) :
line 3 from above , could be ?
Existuju x,y , pre vsetky z , existuje q (..
pre vsetky z, existuje q , Existuju x,y (..
??
Take bludarini ma uz trapia xD :whacko: :whacko: :smokin: , je pravidlo ze setky neuzavrete treba davat celkom nalavo ?
-
boha krista..neviem sa tie dva blbe typy prikladov naucit :j_huh:...vobec nerozumiem ako to funguje..no v piatok sa kazdopadne fajne :drink: a este aj :smokin:
co? napijes kofoly a uceses??? :j_tongue:
-
YESSS mam to, schytila som super kweščns :ropebanana: :bananadance: :bananawrite: :dancing:
-
odkial vies ze mas skusku ?
-
ako som spominal uz na icq, mishela bola na ustnej:D:D
-
lebo som tam mala napísané to čo bolo treba ;)
-
len nech ujo skrivanek raz dva opravi :))) bo to cakanie a stres pri opisovani najhorsie :)))
-
ta podla mna radsej pomali a dobre a stedro :D :D vobec ne prisne
-
no tak ako to zabili s tým utorkom.. čo idú tie písomky vyrábať spolu s traktormi?
-
cooo ja onicom neviem :D
-
ta podla mna radsej pomali a dobre a stedro :D :D vobec ne prisne
takto by sa to aj mne pacilo, presne ako psicho napisal pomaly a stedro:emot-dance:
-
Napiste niekto ake boli otazky na skuske alebo na co sa mam zamerat. Tiez idem na opravu ale az 19.6. a nevioem ani meke f co sa mam ucit okrem toho ze treba jazyk vymysliet
-
skup G:
- lubovolnu metavetu (nepamatam zkade)
- dokazat zakon dunsa scotta
- abeceda a jazyk teorie 1.radu
- daka metaveta o dedukcii abo daco podobne
- vlastna tvorba jazyka
priklady bola takeho typu ako su vo vzore
-
-MV o nahradení, syntaktická verzia
-dokázať, že axiómy výrokovej logiky sú tautológie
-ľubovoľná MV zo sémantiky PL + dôkaz
-rozšírenie teórie, konzervatívne rozšírenie teórie, ekvivalentnosť teórií
a potom jazyk a príklady... ten istý typ ako vzor...
ale aj tak si nemyslím že dajú to isté znova... :trestac:
-
-MV o nahradení, syntaktická verzia
-dokázať, že axiómy výrokovej logiky sú tautológie
-ľubovoľná MV zo sémantiky PL + dôkaz
-rozšírenie teórie, konzervatívne rozšírenie teórie, ekvivalentnosť teórií
a potom jazyk a príklady... ten istý typ ako vzor...
ale aj tak si nemyslím že dajú to isté znova... :trestac:
frasa. Keby som ftedy sedel na tvojom mieste... :-\
-
Termin 19.6. uz nevidim realne tak som sa prehlasil na 22.6.
:hammer:
-
kedy budu vysledkyyyyyyyyyyyyyyyy? :j_undecided:
-
v utorooooooooooooook
-
ale som sa ho pytal a ze uz v nedelu vecer to da na IS :smirk:
-
blee jasa bojim kuknut na is :D
-
E 59 :bananadance:
-
yeeeah aj ja ju uz maaaam, konecne praaaaazdniny :D :D :D
-
no kto ako ja este zi a siete :)
-
haaat nexelbysom , ZI uz vobec ne :D
-
62 D YEEEEEEEEEEEEEEEEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHHHHHHHHHHHHHHHHHHHHHHHHHHHH :metal: :dancing: :bananadance:
btw neviete ako to je s prenasanim predmetov do tretieho rocnika?...moze sa prenasat?
-
to som zvedavá kde mi tam stiahli body že mám B...
-
62 D YEEEEEEEEEEEEEEEEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHHHHHHHHHHHHHHHHHHHHHHHHHHHH :metal: :dancing: :bananadance:
btw neviete ako to je s prenasanim predmetov do tretieho rocnika?...moze sa prenasat?
preco by sa nemohlo?
haaat nexelbysom , ZI uz vobec ne :D
no tak ja este Logika, Siete, a ZI... ver tomu ze ani ja nechcem :D
-
to som zvedavá kde mi tam stiahli body že mám B...
asi si mala velmi komplikovany ten vlastny jazyk co si postla :D...lebo ked som to videl som mysle ze ma porazi :D
-
E 54, dpc cakal som viac ale lepsie ako s klincom do oka :emot-dance:
-
to som zvedavá kde mi tam stiahli body že mám B...
asi si mala velmi komplikovany ten vlastny jazyk co si postla :D...lebo ked som to videl som mysle ze ma porazi :D
ale veď to vôbec nebolo complicated...
-
ale nie tym som chcel povedat ze klobuk dole ze to bolo premakane :thumbsup:
-
ale nie tym som chcel povedat ze klobuk dole ze to bolo premakane :thumbsup:
veď len tak som našmárala čo prišlo :D
-
ale nie tym som chcel povedat ze klobuk dole ze to bolo premakane :thumbsup:
veď len tak som našmárala čo prišlo :D
no vidis ja som len modifikoval jazyk co sa tu objavil na fore:D
-
no vidis ja som len modifikoval jazyk co sa tu objavil na fore:D
ja taktiez.. a dufam ze si to nevsimol a nestrhol za to body
-
no vidis ja som len modifikoval jazyk co sa tu objavil na fore:D
ja taktiez.. a dufam ze si to nevsimol a nestrhol za to body
je mi jedno za co mi strhol alebo nestrhol body..hlavne ze mam skusku :buttrock:
-
je mi jedno za co mi strhol alebo nestrhol body..hlavne ze mam skusku :buttrock:
no mne to jedno nieje... checkol som IS a mam FX 49 :(
-
hudak-style vysledok, mozno sa bude dat vyjednat
-
ozaj zajtra kde vlastne treba ist zapisat tu znamku ???
-
hudak-style vysledok, mozno sa bude dat vyjednat
nemyslim si... uz sa pripravujem fyzicky aj psychicky na opravny v piatok
-
ozaj zajtra kde vlastne treba ist zapisat tu znamku ???
v utorok BN 604 od 13:00 E skupina, potom 13:15 F, 13:30 G a 13:45 G skupina. myslim
-
thanx a lot man
-
Fiha ako zrazu stupol pocet prihlasenych na piatkovu skusku. Dlho tam svietilo 10 a zrazu je tam 21. To vyse 10 nespravilo poslednyt termin ? Uff to sa teraz bojim este viac :nervous:
-
Fiha ako zrazu stupol pocet prihlasenych na piatkovu skusku. Dlho tam svietilo 10 a zrazu je tam 21. To vyse 10 nespravilo poslednyt termin ? Uff to sa teraz bojim este viac :nervous:
azda ani ty nie?
a este ani ja tam niesom.. uvidim co zajtra na vyhodnoteni,... ale pridam sa k vam v piatok, tak vidim
-
Nevie niekto kde najdem dokazanie zakonu Dunsa Scotta ?
na prednaskach to nebolo (zakon jednou vetou ale dokaz nebol) a v skriptach co su na webe tiez nie je dokaz iba je napisane ze si to mame dokazat sami. nema to niekto, resp. neviete kde to najdem ? V skriptach na webe je to ako "Problém 27"
-
no ved o tom bpoli tie problemy ze si si to mal pseudo sam na domacu spravit co by to bol za problem keby bol vyrieseny v skriptach
-
Po malej konzultacii skuska v suchu... thx to all :emot-dance:
Ked vam chyba aj 4-5 bodov, treba povyjednavat, da sa u nho v pohode. Mne chybali 3 a po 5 minutach sa nasli a to uz ani nedoskusaval, len hladal, kde by este mohol dat viac.
Takze supa :ropebanana:
-
mozno sa bude dat vyjednat
tak som ho predsa len ukecal na E51 :)
aspon tuto skusku mam uspesne zasebou
-
Ako ste sa dokazali naucit tu teoriu ? Mne sa vsetky definicie a metafety z predikatovej logiky tak fajne mixuju ze nic neviem :j_cry:
Aj ked si to 10x precitam aj tak sa mi to do gebule neulozi :462:
-
Ako ste sa dokazali naucit tu teoriu ? Mne sa vsetky definicie a metafety z predikatovej logiky tak fajne mixuju ze nic neviem :j_cry:
Aj ked si to 10x precitam aj tak sa mi to do gebule neulozi :462:
No to nie si sam. A ako ste sa naucili na ten prvy priklad (separacia klauzul)? Nemohol by tu niekto hodit neake materialy nato?
-
Ako ste sa dokazali naucit tu teoriu ? Mne sa vsetky definicie a metafety z predikatovej logiky tak fajne mixuju ze nic neviem :j_cry:
Aj ked si to 10x precitam aj tak sa mi to do gebule neulozi :462:
ta ne len pred skúškou treba také veci šprtať :D
-
mishela: uz piaty den sa tomu venujem ale i tak nic, skusku mam v piatok ale asi si ju budem musiet zas presunut na pondelok a to nechcem. Chcem tyo uz mat za sebou ale akosi to nejde. Cumim do toho od rana do vecera piaty den ale nejak sa mi to neda zafixovat, neviem ci mam dieru v mozgu alebo co ale sa mi nejak vsetko miesa :(
-
ale da sa to... ja keby som sa tomu fakt venoval, tak nemam problem...
priklady by som urcite vyratal, vlastny jazyk - ziadny problem a jednu metavetu z kazdej studijnej jednotky nie je tak vela
ostatne su uz len bonus
btw dakujem spoluziakom pUf a mUf za robinsonov rezolucny princip
a niekomu, uz si nepametam meno (ale asi to bol DeeL) za napisanie jazyka. dost to pomohlo :D
-
ApokalypS: Prave to co si spomenul to nie je problem jedine to co si nazval bonus TO JE PROBLEM :( pretoze toho bonusu je cca 100 definiici plus metaviet :(
-
Sak naco sa ucit tie zvysne veci, ked ti to nejde - vies co tam bude na 100%, takze skoda trapit mozog. Ja som sa to neucil :) a dostal som C. Ked ti staci D resp. E, tak no problem ;)
-
Ja umriem od stastia ak dostanem E...
Ono par metaviet s overenimz kazdeho celku jednu nie je problem, jazyk tiez vydumem. len problem je uz v PL ked sa mam ucit kazdu metavetu, ved jedna sa miesa z druhou a je z toho maglajz.
Idem zmenit system ucenia a mozno stihnem aj piatkovy termin bez druheho prenasania terminu :)
-
odporucam tento system :
hodinka porna pred ucenim, potom 3 hodiny ucenia, polhodinka porna , potom zase 3 hodiny ucenia, nakonec zase hodinka porna a skusku mas na A :D
-
psicho: keby si miesto A napisal ze E tak to by bolo celkom realne ;D
-
mishela: uz piaty den sa tomu venujem ale i tak nic, skusku mam v piatok ale asi si ju budem musiet zas presunut na pondelok a to nechcem. Chcem tyo uz mat za sebou ale akosi to nejde. Cumim do toho od rana do vecera piaty den ale nejak sa mi to neda zafixovat, neviem ci mam dieru v mozgu alebo co ale sa mi nejak vsetko miesa :(
ja som sa na skúšku učila tiež 5 dní, lenže s tým rozdielom, že som sa tomu mierne snažila venovať aj počas semestra, lebo som vedela že z toho bude mix.. Nemáš to usadené v hlave.. Treba sa postupne učiť časti, a až keď vieš tie prvé dve na 100pro tak potom začať PL lebo sa to totálne mieša.. Prajem dobré kweščns na skúške ;)
-
Vdaka. Dufam ze sa profesor nado mnou zmiluje. Dnes skusim nejak dokopat teoriu VL a aspon daco z PL a zajtra skumat tie priklady podla vzoru a vytvorit nejaky namakany vlastny jazyk.
Pocas zemestra som sa tomu venoval tak aby som zvladol zapocet na co najviac, teda prakticke casti. kebyze som druhu pisomku nezmeskal a neprisiel neskoro do skoly tak mam takmer plny zapocet ::)
-
Vdaka. Dufam ze sa profesor nado mnou zmiluje. Dnes skusim nejak dokopat teoriu VL a aspon daco z PL a zajtra skumat tie priklady podla vzoru a vytvorit nejaky namakany vlastny jazyk.
Pocas zemestra som sa tomu venoval tak aby som zvladol zapocet na co najviac, teda prakticke casti. kebyze som druhu pisomku nezmeskal a neprisiel neskoro do skoly tak mam takmer plny zapocet ::)
ta ne len príklady treba :D preto chodím aj na prednášky, tam si zapamätáš toho do bludu a potom pred skúškami už máš aspoň šajnu o čom to je, ne len take že ups kniha to čo je :D
-
moja rada..naucte sa robit ten lahsi priklad, naucte sa jednu meta vetu z kazdeho celku, spravte vlastny jazyk...vytlacte si tahaky opisovat sa da :dancing: ked by bol nejaky problem vypytajte sa na vecko a tam si pozrete nejake otazky z tahaku...jeden co som videl bol dva alebo tri krat na vecku :hammer:
-
Ty koky to vazne pustia na wecko ? CO som bol ja na riadnom termine tak nikto nesiel von pocas pisomky
Mam take nenormalne stresy z ML ze pisomka z PT bola ako pierko :nervous:
-
nestresuj, veď ML skúška je úplne v pohode...
-
mishela: ked porovnam rozsah uciva POT a ML tak mas pravdu. problem je ze je to posledna skuska a ja uz chcem mat prazdniny a to ma demotivuje v uceni ze akosi povedome som myslou inde. Preto je to pre mna hardcore skuska :(
-
mishela: ked porovnam rozsah uciva POT a ML tak mas pravdu. problem je ze je to posledna skuska a ja uz chcem mat prazdniny a to ma demotivuje v uceni ze akosi povedome som myslou inde. Preto je to pre mna hardcore skuska :(
ideeeeeš :) :ropebanana: :ropebanana: :ropebanana: :thumbsup: (motivácia stúpa :D ) :emot-dance: :emot-dance: :emot-dance:
-
joj nebud zla. Som akurat zistil ze som zabudol 80% celej teorie co som sa ucil takze som zbytocne zabil 4 dni z piatich :( Asi sa naucil tie styri metavety, vlastny jazyk a jeden priklad a budem dufat ze to postaci na E-cko. :trestac:
Nie je mozne naucit sa celu teoriu.... (alebo asi ja som :whacko:)
Ak sa to niekomu podarilo tak ma moj neskonaly obdiv a gratulaciu :lookaround:
-
Nie som zlá, veď ťa povzbudzujem ne :) A neboj, nezabudol si, aj ja som mala taký pocit ale tesne pred skúškou som si to zopakovala a vedela som ;)
-
V tom priklade ako je hladanie optimalnej unifikacie atd To ako mam preboha robit ? V skriptach je priklad na diskuncii dvoch klauzul kde jednu vyrovnavame s druhou ale ked vo vzore su tri tak ako to mam preboha robit ? :nervous:
Ja sa akompletne zpblaznim z tej matiky, uz ani nespim kvoli nej, aj nocnu moru som z toho mal :03:
:462: :462: :462:
:lookaround:
-
mne sa z PTčka snívalo :D kukni tie príkladíky čo som sem dala ;)
-
mne sa z PTčka snívalo :D kukni tie príkladíky čo som sem dala ;)
btw, odkial sa v tom tvojom vysvetleni zobral riadok:
"R3: (Vx,y) (x=y => F(x)=F(y))" ??? ostatne mi je ako tak jasne...
-
veď to je R3 pre funkciu s jednou premennou... definícia R3 je niekde na začiatku štvrtej časti v knihe...
-
btw na teoriu su tahaky :)))
yo a kazdy kto spravil spravi z tych tahakov skusku tak mam unho pivec :DDDD
-
veď to je R3 pre funkciu s jednou premennou... definícia R3 je niekde na začiatku štvrtej časti v knihe...
aha, dik.. to bude asi tym ze som skripta velmi necital :) :emot-LMAO:
-
MKI: tak ja to risknem s tahakmi, ak mi to vyjde tak ti kupim aj dve piva. Sice som abstinent ale neva :)
-
btw na teoriu su tahaky :)))
yo a kazdy kto spravil spravi z tych tahakov skusku tak mam unho pivec :DDDD
... kamo.. u mna ich mas vela ;)
-
Zajtra bude masaker :nervous:
Mne uz z toho ucenia uplne :whacko:
-
...a pravedpodobne preto tu dristas a spamujes forum...
-
...a pravedpodobne preto tu dristas a spamujes forum...
:D
-
egg and spam; egg bacon and spam; egg bacon sausage and spam; spam bacon sausage and spam; spam egg spam spam bacon and spam; spam sausage spam spam bacon spam tomato and spam
...or Lobster Thermidor a Crevette with a mornay sauce served in a Provencale manner with shallots and aubergines garnished with truffle pate, brandy and with a fried egg on top and spam
aby bolo jasne odkial slovo spam pochadza :ahaha:
-
a aby bolo jasne tento text je z monty python:)
-
a aby bolo jasne tento text je z monty python:)
tak tak :)
monty python rulez!
-
viete mi povedat kde ma byt teraz vyhodnotenie viem ze o 5:00 ale kde....?
-
viete mi povedat kde ma byt teraz vyhodnotenie viem ze o 5:00 ale kde....?
tusim ze bn612... (hore na katedre matiky...)
-
Arivederci matikaaaaaaaaa
C (71) :ropebanana:
To bolo psycho, som popletol od stresu asi polku definicii v niektorych som mozno kazde druhe slovo pisal a doplnil mi tam kopec otaznikov ale asi pochopil ze od stresu.
Vlastny jazyk som napisal nejaky jazyk kamaratstva ktory ma napadol na poslednu chvilu za 10b.
Dufam ze dnes vsetci porobili matiku :j_wink:
-
Arivederci matikaaaaaaaaa
C (71) :ropebanana:
To bolo psycho, som popletol od stresu asi polku definicii v niektorych som mozno kazde druhe slovo pisal a doplnil mi tam kopec otaznikov ale asi pochopil ze od stresu.
Vlastny jazyk som napisal nejaky jazyk kamaratstva ktory ma napadol na poslednu chvilu za 10b.
Dufam ze dnes vsetci porobili matiku :j_wink:
gratulujem... ja to mam za 58 :) chcel mi tam silou mocou najst tie tri body, ale ja som nechcel... (E-cko este tento semester nemam :p:)
jo a tiez zbohom matika!! :metal: :bannana_guitar:
-
Ja som mal 70b a tiez mi chcel najst 1 bod. Som mu povedal ze nemusi ze som rad ze som v tom strese urobil tu skusku ale on mi otvoril pisomku a povedal ze podme hladat jeden bod. Nakoniec sme po minute nasli niekde :)
V indexe mam teraz Cedecko :lol9: (znamky v poradi zhora nadol - C,E,D,E). len neviem v akom prehravaci som ho prehram :lb:
-
Ja som mal 70b a tiez mi chcel najst 1 bod. Som mu povedal ze nemusi ze som rad ze som v tom strese urobil tu skusku ale on mi otvoril pisomku a povedal ze podme hladat jeden bod. Nakoniec sme po minute nasli niekde :)
V indexe mam teraz Cedecko :lol9: (znamky v poradi zhora nadol - C,E,D,E). len neviem v akom prehravaci som ho prehram :lb:
skus skartovacku... :D :angel: :emot-LMAO:
-
Mno ja mam zatial Fx(50), ale ze mam dojst v pondelok ze najdeme bodik, tak drzte palce!
-
Mno ja mam zatial Fx(50), ale ze mam dojst v pondelok ze najdeme bodik, tak drzte palce!
toho sa neboj.. minimalne jeden urcite najdes.. ja som mal FX49 a v pohode som ho presvedcil na E51 :)
-
ja som tam k nemu sadol, ze nemam ziadne otazky, ze moze v pohode zapisat... ide zapisat a on - ale sak nejaky bod tam nenajdeme ? ( mal som 60 ).. a ja, ze asi nie... pochybujem.. .a on zobral, a ta.. nakoniec mi za nieco dal 3 body miesto dvoch a mam D :P :) ...
-
pamata dakto este konkretne otazky? nemozte to tu hodit?
-
teraz uz dava stale to iste...spomeniem si a napisem....mozno :D
-
sak zato to chcem :D ze to iste :D
-
jasom mal metavetu tej rezolucie co je ten clovek , ze ked prazdna klauzula alebo co vznikne
potom dalej uz nepametam len viem ze trebalo daco ukazat
-
jasom mal metavetu tej rezolucie co je ten clovek , ze ked prazdna klauzula alebo co vznikne
potom dalej uz nepametam len viem ze trebalo daco ukazat
Robinsonov rezolucny princip asi
-
presne