Pozrite si skolsky e-mail, teda TExxxxxx[at]tuke.sk, prisiel mi tam mail od cviciaceho (Skrivanka), ohladom nejakych materialov na cvika a link a e-learningovy portal. A pise tam, vraj sa uz mame pripravit dopredu na cvicenia podla harmonogramu , co sa mi az tak nepozdava :) .
To plati iba pre toho kto ma cviko so Skrivankom, alebo pre vsetkych co maju so Skrivankom prednasku?
Neviem, ale pokial si ten email nedostal, tak to pre teba podla mna neplati.
hodte sem ten mail plz, thx
posta.tuke.sk
cize mame na prve cviko: Preklad z beznej reci do jazyka vyrokovej logiky....
myslim ze zas daco jak bolo na algebre abo kde...
a od tretiakov som pocul ze logika je len v nazve predmetu :emot-LMAO:
Hmmm no ja som tiez dostal ten e-mail, aj som sa prihlasil na to e-learning centrum aj som sa preklikal az ku predmetu Mat. Logika ale nejako tam nejaky harmonogram nevidim :/ ... akurat zoznam literatury.
Quote from: TradeMark on 15.02.2008, 18:29:59
Hmmm no ja som tiez dostal ten e-mail, aj som sa prihlasil na to e-learning centrum aj som sa preklikal az ku predmetu Mat. Logika ale nejako tam nejaky harmonogram nevidim :/ ... akurat zoznam literatury.
ja som si dal vyhladat predmet ML a potom uz len na studijne materialy a mas to...
a co konkretne znamena ze mame byt pripraveny na prve cviko podla harmonogramu....To ze viem co sa bude preberat, ci to uz mam nebodaj mat aj nastudovanu problematiku???? :ohmigod:
To ani srnka netusi :) .
Ale najskor to mysli tak, aby sme mali nejaku sajnu, ze o com toci. Asi s nami chce viest dialog, mozno nerad rozprava sam so sebou. :)
ludia, myslim si ze pan skrivanek je jeden z najlepsich matikarov (spolu s plavkom, kudlacom a bereznym)...jeho cvika maju hlavu a patu a hlavne...ked clovek nechce tak nemusi nic robit....ale potom ho to bude mrziet na zapoctovke...kedze on si velmi dobre pamata ktory pan (ako on oslovuje studentov) ako pracoval....
a este....pri nom neexistuju opravne pisomky....on, ked chce tak najde body v napisanych pisomkach (a skuskach :) )
ak chcel aby ste si nieco pozreli tak to chcel preto lebo chce aby to bolo bez problemov :)
Moze tu dakto postnut ten mail co posielal Skrivanek?
Email studentom predmetu Matematická logika
Vážení priatelia,
Materiály k predmetu vám budem poskytovať prostredníctvom portálu
http://ep.tuke.sk/home/index.php?Lang=sk&Theme=Default&Mode=Portal&Portal=1
kde sa prihlasujte pod menom: xxx a heslom: xxx
Pripravte sa, prosím, na prvé stretnutia podľa harmonogramu štúdia.
Prajem príjemné a radostné štúdium.
S pozdravom
nehodil by sem niekto 3 a dnesnu 5 prednasku? ah:
Quote from: pepco on 18.03.2008, 21:31:20
nehodil by sem niekto 3 a dnesnu 5 prednasku? ah:
hmmm, ale ako dost som skrabal :angel: a na zaciatku mi stale trosku ujde, lebo sa vzdy idem naranajkovat do bufetu, tak asi 10 min meskam ::)
EDIT: tak ak nic nezozenies tak sa ozvi :trestac:
Kedy pisete zapocet z ML? Resp ma niekto matiku pred stvrtkom 8:15 rano? :h_azn:
Zdravim ... Mali ste dnes zapoctovku ti co ste mali cvika so skrivanekom??? Ake boli ulohy? Napiste dakto pleas ... ;)
nemali sme zapoctovku....a dokonca ani nedal previerku
ani ta druha skupina nemala zapoctovku ? neboli ste dohodnuti, ze napisete zapoctovku dnes?
Takze dnes sme mali zapoctovku:
A skupina:
1. syntakticky strom
2. karnafovka 5 premennych
3. rezolucna metoda (slovne zadanie)
B.skupina:
1.ci je formula pravdiva
2.zistit ci sa jedna o MP (slovne zadanie)
3.rezolucna metoda (formalne zadanie)
40 minut ... koopu casu
Mam so skrivankom skupina 5
Quote from: Corse on 28.03.2008, 01:21:36
Takze dnes sme mali zapoctovku:
A skupina:
1. syntakticky strom
2. karnafovka 5 premennych
3. rezolucna metoda (slovne zadanie)
B.skupina:
1.ci je formula pravdiva
2.zistit ci sa jedna o MP (slovne zadanie)
3.rezolucna metoda (formalne zadanie)
40 minut ... koopu casu
mas so skrivanekom?
hej...tie otazky boli u skrivanka.. ja som mal B a doplnim :
1. Trebalo zistit ci je system splnitelny
2. Formuly boli asi take (boli pisane ako vety):
F => G
G => H
a
F =>H
a trebalo napisat ci je to spravne implementovany MP (prirodzene ze nie)
3. rezolucna metoda na vyplyvanie
prve 2 ulohy sme mali za 3 body.. rezolucna bola za 6
Moze mi pls niekto povedat,ako zistim pri rezolucnej metode,ze je to tautologia?
aj ma byt tautologia tak negacia ma byt kontradikcia.... potom zistis rezolucnou ci obsahuje prazdnu formulu...
ak ano tak ta negacia je kontradikcia cize povodne je tautologia
ak nie tak negacie nie je kontradikcia cize povodna nie je tautologia
:)
napise niekto typy prikladov co vam dal dnes Skrivanek na pisomke? ze boli skupiny C, D a dalsia st.sk mala E, F
dnesne priklady boli skupina E
1:nakreslit bin strom ked mas dane formuly co co to je :) 3B
2:karnafova mapa(5-tka) 3B
3:rezolocna metoda mal si zadane slovne 6B
F
1:zisti ci to je tautologia 3B
2:mal som zistit ci plati metoda rezu.....platila 3B
:mishela 3:rezolucna metoda dana formulamy 6B ...som toto pokazil kua asi pojdem opravovat
a ete skrivanek nam povedal ze si budeme moct opravit jednu pisomku z dvoch....ked pokazime...ale zavezna je potom samozrejme ta druha
neviete prosim niekto co bolo na poslednej prednaske preberane, ktora bola 1.4. ? ...jaksi bol v ten den aj zapich, tak sa mi velmi nechcelo aj na prednasku ist :(
Quote from: Korgen on 07.04.2008, 19:34:15
neviete prosim niekto co bolo na poslednej prednaske preberane, ktora bola 1.4. ? ...jaksi bol v ten den aj zapich, tak sa mi velmi nechcelo aj na prednasku ist :(
ked si dobre pamatam, tak prednasal nam od def.47 po def.61 (vrátane)
Ak sa najde nejaka dobra dusa ktora by spristupnila cviko z 8.4. (utorok) bol by som mu vdacny.
A podotazka - pisala sa kontrolka?:)
nepisala sa, ale nabuduce sa bude, cize tento tyzden:) cize zajtra:D
no tak to je strasne fasa.. aspon co sa bralo minule? nejaky teoreticky zaklad mi mozno pomoze
neviete dakto jak to je s tym projektom co mame robit z ML ? na tej stranke tam k tomu bars nic neni
to niqto nevie..nam cviciaca furt pripomina ze si mame vybrat dajaku temu (z realneho zivota) cim skor bo uz bude obsadena..ale niq nema sajn co s tou temu dalej..
taqze asi si normalne vymyslim: napr. jaq som si bol kupit 10 rozkov v Kauflande, ale nemali maslo a teda: ak nie je maslo => rozky mi netreba bq
mozno za to aj dajaqy bod chytim ;D
no a my mame to iste akurat este vramci zapoctu :)
to je presne to co mame robit? akoze keby to niekto odovzdal (neberuc do uvahy ze tema sa nesmie opakovat) dostal by za to full (alebo takmer FULL)?
ak hej tak to nie je az taqe tazke ;D
no niesom si isty ci len toto mame robit, lebo oni to robili v skole vramci pisomky, a my to mame robit doma :)
saq to..ale uz by bolo nacase dat presne vediet co to mame robit..nerad by som to zistoval v 13.tyzdni a nakoniec to bude este aj zle..
na prednaskach nebolo k tomu povedane nic???
no v 13 tyzdni ani to nezistis :P lebo do 12 tyzdna treba odovzdat vrajze do piatku 12.tyzdna ked dobre pamatam:)
tak to vide na pol strany,,,,ziadna hlavicka a tak?
na prednaske vravel ze ziadne hlavicky tusim...
Na ktorej stranke su vypisane tie zatial rezervovane temy?
http://people.tuke.sk/jaroslav.skrivanek/Logika/
tie temy ostali na vyber ci si mam vybrat ja vlastnu a napisat mu mail?
tie uz su obsadene..musis si vymysliet inu :j_tongue:
do toho zoznamu tem to zapisuje skrivanek?
jj po tom co mu posles temu a on ti ju schvali...
poslal som mu to...jeho odpoved:
Neevidujem vás v zozname tém. Projekt mi pošlite, až sa Vaša téma dostane do zoznamu.
a ako sa ma dostat do zoznamu? predtym som mu temu nahlasil...a napisal mi:
...Výsledný projekt pošlite svojmu cvičiacemu učiteľovi ako prílohy e-mailu.
tak asi ta tam zabudol pripisat abo co... napis mu ze si temu uz posielal ale nesi v zozname :)
kokos to kto si tie temy ako "sexualne praktiky pozemstanov" alebo "tvorba pomazanky" dava? :D som skoro oprskal celu izbu...
A to mu treba poslat temu aku sme si vybrali? Alebo ako sa da zaregistrovat sa do tych tem?
vraj jj...
ale dnesny zazitok: som mu poslal ze xcem taku temu...odpisal ze dobre, ze mu mam poslat na mail...ok poslal som mu a on mi odpisal nech mu poslem az ked budem zapisany v tom zozname do ktoreho ma ma zapisat on...
temy mame vlastne odovzdavat cviciacemu ci jemu ci jak? :D
A poslal si mu otazku ze akym sposobom ta moze do toho zoznamu zapisat? :)
este ne som musel ist do het a nedavno som prisiel domov a teraz vecer sa mi ani nexce a asi aj tak zajtra by bola odpoved...(abo pondelok)...cize zajtra mu napisem ze co sa da robit...
Quote from: kOsTi on 03.05.2008, 04:21:03
temy mame vlastne odovzdavat cviciacemu ci jemu ci jak? :D
netusim...asi cviciacemu ale moj cviciaci je skrivanek thaze mam aspon s tym pokoj...
No ja mam zasa iny problem.
Napisal som mu temu, a k nej aj priklad, ci moje riesenie je spravne, jeho odpoved bola ze mam formulovat teoriu, nie problem, no nechapem teraz, ako to myslel, kedze ja som formuloval teoriu. tak som to prerobil a poslal som mu uplne ine a preistotu uz druhy den neodpisal :-(
Hej inak viete niekto aky je to jazyk a a bez rovnosti???
Nemal uz niekto druhu pisomku?
heh neviete niekto od kade ma byt ta pisomka lebo nejak nemam zaznacene pokade bola prva :D
no tak druha cast v skriptach - predikatova logika
seruste, niekto dneska musel uz pisat zapocet c.2. Tak napiste, ake priklady boli. diky
ja som mal... priklady 3
1. napisana formula a trebalo napisat jej syntakticky strom, vytvarajucu postupnost, urcit ci su cleny viazane, volne atd... a cela formula ci je uzavreta alebo otvorena.
2. napisat formulu z 1. prikladu v prenexnom tvare.
3. napisat otvoreny skolemovsky variant formuly z predch. cvicena...
Quote from: kOsTi on 05.05.2008, 17:25:45
ja som mal... priklady 3
1. napisana formula a trebalo napisat jej syntakticky strom, vytvarajucu postupnost, urcit ci su cleny viazane, volne atd... a cela formula ci je uzavreta alebo otvorena.
2. napisat formulu z 1. prikladu v prenexnom tvare.
3. napisat otvoreny skolemovsky variant formuly z predch. cvicena...
S kym mas matiku?
taka teta... podla vsetkeho asi Draženská Emília :)
inac pisal dnes uz niekto aj so skrivankom????
15. Diskotékové vzťahy. :)
nebola, ulohy boli tie iste pre obidve skupiny ale ta formula na zaciatku bola ina
skupina 10.50, piste prosim co bolo na pisomke u Skrivaneka.
Quote from: BossZ on 06.05.2008, 16:15:32
skupina 10.50, piste prosim co bolo na pisomke u Skrivaneka.
Vsetky skupiny, ktore ste dodnes pisali, piste co bolo na pisomke ... ;)
Inak, pise niekto aj na buduci tyzden a ked hej tak kedy?
Quote from: kOsTi on 05.05.2008, 17:25:45
ja som mal... priklady 3
1. napisana formula a trebalo napisat jej syntakticky strom, vytvarajucu postupnost, urcit ci su cleny viazane, volne atd... a cela formula ci je uzavreta alebo otvorena.
2. napisat formulu z 1. prikladu v prenexnom tvare.
3. napisat otvoreny skolemovsky variant formuly z predch. cvicena...
tam v tretej ulohe ja som mal este ze v klauzularnom tvare
taze dneska 10 50 s ujom skrivankom boli taketo priklady:
1. nakreslit strom formuly....potom aj strom najdlsieho termu formuly a jeho vytvarajucu postupnost
2.prenexny tvar predchadzajucej formuly
3.mali sme novu formulu a ju upravit podla tej stoklesovej rovnice ci co to je :h_wink:
obe skupiny mali to iste len inu formulu
Quote from: layo on 06.05.2008, 19:53:58
taze dneska 10 50 s ujom skrivankom boli taketo priklady:
1. nakreslit strom formuly....potom aj strom najdlsieho termu formuly a jeho vytvarajucu postupnost
2.prenexny tvar predchadzajucej formuly
3.mali sme novu formulu a ju upravit podla tej stoklesovej rovnice ci co to je :h_wink:
obe skupiny mali to iste len inu formulu
to iste daval aj nasej skupine o 13.30, v tretej ulohe trebalo napisat otvorený skolemovský variant uzáveru formuly.
Quote from: layo on 06.05.2008, 19:53:58
taze dneska 10 50 s ujom skrivankom boli taketo priklady:
1. nakreslit strom formuly....potom aj strom najdlsieho termu formuly a jeho vytvarajucu postupnost
2.prenexny tvar predchadzajucej formuly
3.mali sme novu formulu a ju upravit podla tej stoklesovej rovnice ci co to je :h_wink:
obe skupiny mali to iste len inu formulu
ako zistim najdlhsi term formuly ... ? :)
Quote from: Alex on 06.05.2008, 22:30:55
Quote from: layo on 06.05.2008, 19:53:58
taze dneska 10 50 s ujom skrivankom boli taketo priklady:
1. nakreslit strom formuly....potom aj strom najdlsieho termu formuly a jeho vytvarajucu postupnost
2.prenexny tvar predchadzajucej formuly
3.mali sme novu formulu a ju upravit podla tej stoklesovej rovnice ci co to je :h_wink:
obe skupiny mali to iste len inu formulu
ako zistim najdlhsi term formuly ... ? :)
tha pozriem a vidim, ne? ktory ma najviac premennych logicky :)
btw nevie niekto dokedy treba poslat projekt skrivankovi na mail?
no mne sa zda ze do konca tyzdna
jj do piatku
Ti co mame s Drazenskou mame posielat projekty jej? ci ako? sa mi zda ze mi hovorila ze jej to mam poslat ale nie som si isty. vie o tom niekto nieco?
svojmu cviciacemu... myslim ze sa to tu uz spominalo ;)
hej hej, jej to mame posielat. este povedal, ze to mame poslat trochu skor, aby si to stihla vytlacit,ale nespecifikovala blizsie "trochu skor" bn
Takze dnes do 00:00 treba poslat?
Ta co ja viem, tak az zajtra do 00:00, ale radsej poslem asi dnes ;)
nie nie, zajtra do 12.00 a kto ma pri drazenskej, tak trochu skor....
12.00 alebo 24.00? :D
do piatku do obeda, 12.00 stredoeoropskeho casu :laugh:
To odkial si zas nabral? :) Mne sa zda, ze vravel do polnoci
vravel do polnoci
a taky detail.. je niekde nejaky priklad? rozsah, popis atd? ja sa citim ako lama.. neviem co ako to ma vyzerat.. mozno to spominal na tej prednaske na ktorej som nebol :)
Quote from: mafo on 09.05.2008, 02:02:13
vravel do polnoci
a taky detail.. je niekde nejaky priklad? rozsah, popis atd? ja sa citim ako lama.. neviem co ako to ma vyzerat.. mozno to spominal na tej prednaske na ktorej som nebol :)
nam Drazenska povedala ze jej to mame poslat do piatku do 12:00 , skrivanek na prednaske hovoril ze do 9.maja do polnoci...
rozsah - jedna strana A4 - Drazenska nam ukazala priklad na cviku ako to ma vyzerat na 10b a mala tam 3 axiomy a 4 unarne predikaty ale + chce tam aj binarny predikat
... no mohli by ste ofotit ten priklad ktory vam ukazovala a hodit to sem ? pripadne ak to uz ma niekto hotove a rad by zverejnil svoje riesenie? Dikez
ak sledujes instrukcie lekara, mas nadej na vyliecenie.
ak dodrzujes spravnu zivotospravu, neochories.
ak si zdravy, mas vyssi pracovny vykon.
I - sledovat inst. lekara
Z - byt zdravy
D - dodrziavat zivotospravu
V - mat vyssi prac. vykon
I,Z,D,V - unarne predikaty
A1: I(x) => Z(x)
A2: D(x) => Z(x)
A3: Z(x) => V(x)
staci to skrivankovi poslat na maila? mam 4 unarne, 1 binarny predikat + 1 binarnu funkciu a 4 axiomy - je to dost?
btw opravne u Drazenskej hovorila ze nebudu tento tyzden ci sa mylim? :)
obdobne by ma zaujimalo ako je to u Skrivanka, sa mi zda ze na konci cvika vravel ze opravne pisomky budu az niekedy v prvy tyzden skuskoveho.. spravne? (nebudu tento 13.sty tyzden nie?) ???
jj, budu v 14 tyzdni. Mozes si vbrat ze ktoru chces napisat znovu (iba jednu), a body ti budu platit z tej opravnej pisomky.
Quote from: Korgen on 10.05.2008, 23:51:29
obdobne by ma zaujimalo ako je to u Skrivanka, sa mi zda ze na konci cvika vravel ze opravne pisomky budu az niekedy v prvy tyzden skuskoveho.. spravne? (nebudu tento 13.sty tyzden nie?) ???
no ja zas dufam ze este hodi nejaky termin na skusku skor ako 30.maja, lebo rad by som zakoncil semester uz 28.maja OPckom...
terminy na ML su uz na IS student!
jasne, sak na prednaske povedal ze kto ma nejake navrhy na termin nech mu napise mail :)
on dal tie terminy iba preto tak aby sme nemali v jednom tyzdni s inym predmetom, a ked mame lepsi navrh nech napiseme mail
nechce sa mi teraz otvarat is-ko, ale sa mi vidi ze aj 30.maja je termin!
ano je,
Quote from: johnyo13 on 11.05.2008, 18:10:17
nechce sa mi teraz otvarat is-ko, ale sa mi vidi ze aj 30.maja je termin!
mate uz niekto v is-ku zapocet z logikY?
no par ludi je zapisanych na skusku tak z toho logicky usudzujem ze hej (ale ja nemam)
ano mam bp dneska rano nabehli...
chcelo by vela ludi, aby bol nejaky termin aj skor? ak hej tha by sme mohli napisat skrivanekovi...
myslim ze to sa uz nezmeni... terminy riesil na prednaskach a takto to ludom vyhovovalo...
Nema tu niekto nejake zdroje ohladom vytvarajucich postupnosti a stromov z 2. casti? Pozeram do skript ale tam vidim len tie bez kvantifikatorov... :(
Dokedy treba poslat resp. doniest Skrivankovi ten opraveny projekt ? Staci mailom alebo treba osobne ? Dakujem
povedal ze do konca buduceho tyzdna...poslat na mail
Nemohli by ste tu uviest nejake priklady za ktore dal skrivanek aj viac ako 6b ?
ja som mala za 7 ale chybali mi zatvorky a k jednej z axiom mi napisal ze zbytocne vela je tam toho...
Tak snad vam pomoze :)
Teoria potravin
Obsahuje
- je teoria bez rovnosti
- univerzum : " Ĵ " –množina všetkých potravín
- 3 unárne predikáty : " Ĉ " – byť čerstvo/novo kúpený
" Ê " – byť uložený v chladničke
" Ŧ " – byť tepelne spracovaný
- 3 binárne predikáty : " > " - ostať dlhšie nepokazený/dobrý; x > y - x ostane dlhšie
dobrý ako y
" ◊ " - ostať rovnako dlho nepokazený/ dobrý; x ◊ y – x ostane
rovnako dlho dobré ako y
" * " - byť rovnaký druh potravín; x * y –x je ten istý druh
potravín ako y
1: x * y & Ĉ(x) & ┐Ĉ(y) ==> x > y
Ak je x a y ten istý druh potravín a x je čerstvo zakúpené a y nie, tak x ostane dlhšie
nepokazené .
2: x > y & ┐(x *y) ==> Ê(x) > Ê(y)
Ak x, y nie sú ten istý druh potravín a x ostane dlhšie nepokazené ako y, tak aj x uložené
v chladničke ostane dlhšie nepokazené ako y uložené v chladničke.
3: Ĉ(x) & Ĉ(y) & Ê(x) & Ê(y) & x>y ==> ┐(x * y)
Ak x, y sú oba čerstvo zakúpené, oba uložené v chladničke a x ostane dlhšie nepokazené
ako y, tak x a y nie sú ten istý druh potravín.
4: x * y & Ĉ(x) & Ĉ(y) & Ê(y) & ┐Ê(x) ==> y > x
Ak sú x, y ten istý druh potravín a oba sú čerstvo zakúpené a y je uložený v chladničke a x
nie, tak y ostane dlhšie nepokazené ako x.
5: x * y & Ĉ(y) & (Ĉ(x) V (┐Ĉ(x) & Ê(x)) ==> x ◊ y
Ak sú x, y rovnaký druh potravín, y je čerstvo zakúpené a x je čerstvo zakúpené, alebo nie
je ale je uložené v chladničke tak x a y ostanú rovnako dlho nepokazené.
6: x *y & Ĉ(x) & Ĉ(y) & Ê(x) & Ê(y) & x>y ==> Ŧ(x) & ┐Ŧ(y)
Ak x, y sú rovnaký druh potravín a sú oba čerstvo zakúpené, oba uložené v chladničke a x
ostane dlhšie nepokazené ako y, tak potom je x tepelne spracované a y nie je.
ja som mal tiez 7b... tiez chybali zatvorky a jedna axioma zbytocna a ze preco mam X a Y s velkymi :D:D
Unárne predikáty:
H(X) – štát X byť víťazom vojny
Binárne predikáty:
X ! Y – štát X a štát Y sú vzájomne vo vojne
X + Y – štát X a štát Y sú spojenci
Axiómy:
1. X ! Y <=> Y ! X
2. X + Y <=> Y + X
3. (X + Y) => ˥(X ! Y)
- ak X je spojenec s Y, potom X a Y nemôžu byť vzájomne vo vojne
4. (X ! Y) & (X + Z) => (Z ! Y)
- ak X a Y sú vo vojne a X je spojenec s Z, potom aj Z je vo vojne s Y
5. (X + Y) & (Y + Z) => (X + Z)
- ak X je spojenec s Y a Y je spojenec s Z, potom aj X je spojenec s Z
6. (X ! Y) & H(X) => ˥(H(Y))
- ak X a Y sú vo vojne a X je víťaz vojny, potom Y nie je víťaz vojny (je porazený)
7. (X ! Y) & ˥(H(X)) => H(Y)
- ak X a Y sú vo vojne a X nie je víťaz vojny, potom Y je víťaz vojny
8. (X ! Y) & (X + Z) & H(X) => H(Z) & ˥(H(Y))
- ak X a Y sú vo vojne a X je spojenec s Z a X je víťaz vojny, potom aj Z je víťaz vojny a Y nie je víťaz vojny
9. (X ! Y) & (X + Z) & ˥(H(X) => ˥(H(X)) & H(Y)
- ak X a Y sú vo vojne a X je spojenec s Z a X nie je víťaz vojny, potom aj Z nie je víťaz vojny a Y je víťaz vojny
Nechysta sa niekto vyriesit/vypracovat "problemy" na skusku?
Quote from: libra2 on 17.05.2008, 02:57:55
Nechysta sa niekto vyriesit/vypracovat "problemy" na skusku?
Sa mi zda ze jedna dobra dusa :-*, neviem presne kto, uz vyriesil/vypracoval "problem" tykajuci sa Metaviet a Definicii, myslim ze som to videl na FTPcku :angel: , porpipade som si to asi aj preventivne niekde stiahol ::)
Quote from: Korgen on 17.05.2008, 09:31:48
Quote from: libra2 on 17.05.2008, 02:57:55
Nechysta sa niekto vyriesit/vypracovat "problemy" na skusku?
Sa mi zda ze jedna dobra dusa :-*, neviem presne kto, uz vyriesil/vypracoval "problem" tykajuci sa Metaviet a Definicii, myslim ze som to videl na FTPcku :angel: , porpipade som si to asi aj preventivne niekde stiahol ::)
Aha, myslis na tahaky? Ale ja by som potreboval tie problemy, ktore su aj v skriptach (okolo 80je z nich),a bude z toho jedna otazka na skuske...
ono to nie je vypracovane v skriptach? (este som ich nevidel, ale bol som v tom ze to tam je) :)
libra2: Aha, tak tie Problemy si myslel, chapem uz, tak to neviem no :(
Inak nevies co este ma byt na skuske okrem Problemov? som na poslednej polke prednasok chybal no :-X
6 uloh z toho 2 priklady (take co neboli v pisomkach na cviceniach)
Formulovat metavetu
potom tusim formulovat a dokazat z urcitej kapitoly (veta podla vlastneho vyberu z danej kapitoly)
potom jeden ten problem
+ este jedna uloha nieco ine :)
co tym myslis ze co neboli na pisomkach na cvikach? sak presne tie iste urcite nebudu a uplne iny typ? podla mna boli priklady takmer zo vsetkeho..to by ostalo velmi malo na vyber, nie?
BTW:na hypnose je vzorova skuska z min. roku...myslim ze sa da ocakavat podobny format, aj ked tam je 70b skuska :-\
tak na pisomkach na cviku zdaleka neboli vsetky druhy... nemyslim tym ze presne take nebudu ale proste taky druh prikladu nebude...
takze co bolo na zapoctovkach mozem rovno preskocit?? plati to aj pre zapoctovky u Drazenskej ci len pre Skrivankove?
zapoctovky boli pomerne rovnake... teda typy prikladov boli tie iste cize tak... a ze ci ich mozes rovno preskocit ti zarucit nemozem, ja len vravim to co povedal Skrivanek...
Ale napriklad to co sme brali na poslednom cviku - Unifikacia, na zapoctofke logicky nebolo a ked som mu vravel, ze po polke cvika musim ist prec, tak mi hovoril ze si to mam potom dobrat, lebo ze to moze byt na skuske.... takze Unifikacia by mohla byt prvym adeptom na jeden priklad typu : "z toho 2 priklady (take co neboli v pisomkach na cviceniach)" ;) :)
podla mna na 90% budu unifikacie :)
:D :D hehe som sa sekol som myslel daco ine, jj toto moze byt vpohode, tak jak kosti povedal 90% sanca a je to dost lahke no :) aspon tie priklady co sme vrali na cviku
nevie niekto pls vysvetlit nasledovnu operaciu:
(Vx)(Ez)(x<z) & (Vy)(Ex)(negW(x) <=> W(y))
(Vy)(Ez)(y<z) & (Vy)(Ex)(negW(x) <=> W(y)) <---
(Vy)(Ez)(Ex) ( ... )
jedna sa tam o zmenu toho x na y. V nejakych ceskych skriptach som sa docital ze su mozne operacie na znizenie poctu kvantifikatorov a tam je ze
(VxA) & (VyB) ... (Vx)( A & By [ x ] )
Avsak toto som velmi nepochopil...
Nedalo by sa v tomto pripade postupovat premenovanim premennych a teda nenahradit to x-ko y-lonom ale nejakym w, povedzme spravit z toho
(Vx)(Ez)(x<z) & (Vy)(Ex)(negW(x) <=> W(y))
(Vw)(Ez)(w<z) & (Vy)(Ex)(negW(x) <=> W(y))
(Vw)(Ez)(Vy)(Ex) ( ... )
Tym padom by tam ale bolo o jednu premennu viac... a nebolo by to uplne rovnake ako (asi spravny) vysledok prveho postupu... bolo by to tak spravne? bolo by to ekvivalentne s tym prvym nahradenim???
nevie niekto aky styl opravnej zapoctovky dava Drazenska??? :j_huh:
taky isty typ prikladu aky bol na normalne pisomke...
kedy a kde ze to je to vyhodnotenie opravnych pisomiek? dajak som si nezapamatal :)
ake typy prikladov dal z 2.opravnej pisomky?
som teraz pisal mail drazenskej, a mi odpisala, ze vysledky da na IS, bude sa snazit do konca tohto tyzdna, pisem to sem, aby ste jej nemuseli pisat aj vy ;) taze zase cakat, dufam, ze nebude treba tolko ako na ele2 xDD
ja osobne uz mam vysledky z opravnej zapoctovky na IS, tak uz mozno mate aj vy, GL
Treba ist za Drazenskou zapisat si zapocet alebo ako? Nepisala ti nic take? Ze ci neni nejaky termin kedy sa da ist za nou ze tam bude hore a zapise to...
stale v IS mam 0 bodov....neviete ci Drazenska zapisuje do IS aj tym co nespravili.
Neviem co si mam mysliet bu
Quote from: kOsTi on 17.05.2008, 18:13:51
6 uloh z toho 2 priklady (take co neboli v pisomkach na cviceniach)
Formulovat metavetu
potom tusim formulovat a dokazat z urcitej kapitoly (veta podla vlastneho vyberu z danej kapitoly)
potom jeden ten problem
+ este jedna uloha nieco ine :)
kosti a metavetu zada on hocijaku? :)
a pri tom druhom co formulovat a dokazat? lebo si nenapisal, a to si z kapitoly hocico vyberiem a sa naucim a mu napisem?
hej on zada...
a to druhe... neviem co, nechce sa mi haldat zosit, ale asi metavetu :) (a z kazdej kapitoly sa staci naucit jeden dokaz... on ti zda len kapitolu a ty napises aky chces)
a kolko je kapitol? 4 ne? lebo prva to je uvod :)
hej IV
A definicie nebudu? :nervous:
Quote from: kOsTi on 22.05.2008, 18:36:44
hej on zada...
a to druhe... neviem co, nechce sa mi haldat zosit, ale asi metavetu :) (a z kazdej kapitoly sa staci naucit jeden dokaz... on ti zda len kapitolu a ty napises aky chces)
ten dokaz myslel skrivanek to overenie co je za metavetami?
na odlahcenie - kamos na margo skusky pred rokom:
naucil som sa 4 poucky ... mrkol 2 typy prikladov co som vedel ze budu na skuske a siel som na E.....mal som D
Quote from: buhehe on 24.05.2008, 05:45:12
na odlahcenie - kamos na margo skusky pred rokom:
naucil som sa 4 poucky ... mrkol 2 typy prikladov co som vedel ze budu na skuske a siel som na E.....mal som D
no ale ten jeden priklad bol ten nas projekt za 10b... cize to odpada a priklady uz nie su tak blizsie specifikovane, len tolko ze nejaky z tych co neboli na pisomke
a tie 4 poucky su asi z kazdej kapitoly jedna metaveta
takze tento rok sa tak povediac na istotu neda ist... minuly rok to bolo easy, bo tiez viem ze stacilo sa den predtym pozriet presne na veci co budu na skuske a bolo to
sak aj toho roku mas podla mna 2 istoty, naucis sa z kazdej kapitoly metavetu+overenie a priklad podla mna naisto bude najst optimalny unifikator a faktor disjunkcie formul alebo este aj odvodit rezolventu, toto by malo byt podla mna naisto, ked hovoril ze iny priklad jak boli na pisomkach a toto nebolo na pisomkach, respektive nestihlo byt
Quote from: kOsTi on 17.05.2008, 18:13:51
6 uloh z toho 2 priklady (take co neboli v pisomkach na cviceniach)
Formulovat metavetu
potom tusim formulovat a dokazat z urcitej kapitoly (veta podla vlastneho vyberu z danej kapitoly)
potom jeden ten problem
+ este jedna uloha nieco ine :)
nevie niekto co bude ta 4. uloha? ???
a ake by este mohli byt typy prikladov (okrem tych, co uz boli spominane), lebo ja si nepamatam ani to, ake daval na pisomkach... :D
hmm...pozeram ze problemy nie su v skriptach vyriesene...to bude tiez podla vlastneho vyberu?
inac tie metavety z tahaku a metavety zo skript sa bars nezhoduju
Je tu niekto kto opravoval projekt a poslal ho Skrivankovi do piatku (25.maja) ? Opravil vam ? odpisal ? lebo nejako nepise, ani sa nic nedeje s bodmi na ISS :)
jj jasne :) mne dal 7 bodov za nho po oprave, predtym som mal 3 body :)
edit: iba zmenil body na ISku nic ine
Quote from: DeNaTuReMaN on 27.05.2008, 16:43:26
Je tu niekto kto opravoval projekt a poslal ho Skrivankovi do piatku (25.maja) ? Opravil vam ? odpisal ? lebo nejako nepise, ani sa nic nedeje s bodmi na ISS :)
ja som mu tiez poslal...v piatok...ale tha asi uz neskoro alebo co bo nic sa nedeje
edit: prave mi to zapisal.....z 3b zvysil na 7
No super uz mam aj ja, uz len skuska, tych 19b co mi treba hadam aj teraz by som dal :)
Inak to bude na skuske uloha, kde bude treba napisat tu vlastnu teoriu ? Ako minuleho roku bolo, to co sme mi teraz pisali ako projekt.
na skuske to uz nebude, ved sme to mali na projekte.
chces byt dvakrat ohodnoteny z toho isteho? :D
nebolo by zle...
1. NO TAAAAK, to nikto nevie, aky typ bude ta 4. teoreticka otazka?
2. Co sa tyka tych problemov, riesite to niekto, alebo tiez sa staci naucit jeden? :nervous: Thanks
btw to ten problem dostaneme vyriesit alebo si mozeme nejaky vybrat (ako u dokazani metavety)? Inak tie metavety sa ucite vsetky? Pozeram sak ich tam je po ***** (zehnane) :).
myslim ze dostanes zadany :)
na ftp je take pdf ze "vzor" co ma predstavovat asi vzorovu pisomku a
6. Separujte klauzuly pre pouzitie rezolucnej metódy pri odvodení
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fwww.mastastyle.com%2Fpics%2Fzelmer.png&hash=85ae343fe8be0e0f494893cd2fd65de649b50411)
a teraz jak to mam riesit ?? bo neni tam uvedene v jakej teorii, ale tie axiomy su jak v Zelmerovej teorii mnozin zo skrip, taze to chcu aby som si pametal vsetky axiomy co su v skriptach ???
logika je na prvom (starom) FTP,
btw tie problemy nema niekto vypracovane? Resp. niekde na nete nesu vypracovane?
len presuvam...nechce sa mi stale preklikavat
- lubovolnu metavetu
- dokazat zakon dunsa scotta
- abeceda a jazyk teorie 1.radu
- daka metaveta o dedukcii
- vlastna tvorba jazyka
-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...
to je z minuleho roku? (podla tej tvorby jazyka)....lebo toho roku bude ina skuska...
jj ja mam zapisane ze bude:
1.formulovat metavetu...asi urcenu cize napr. skolemovu
2.vybrat si metavetu , formulovat a vykonat overenie...lubovolnu
3.riesenie nejakeho problemu...??
4.vysvetlit , definovat...??
5.6.priklady ktore neboli na zapoctovke
cize velky rozdiel tam nie je
no hej, ja osobne problem kladiem bo to nemam sancu sa naucit tam tie vsetky, a v podstate nemam ani sajnu jak ich vyriesit
kto vie kedy sa doplnaju dalsie pary zatvoriek pri unifikacii?
Quote from: buhehe on 30.05.2008, 00:05:38
kto vie kedy sa doplnaju dalsie pary zatvoriek pri unifikacii?
nechapem otazku
Quote from: buhehe on 30.05.2008, 00:05:38
kto vie kedy sa doplnaju dalsie pary zatvoriek pri unifikacii?
kazdemu funk. symbolu musi zodpovedat jeden par zatvoriek... (nie viac, ani menej)
okrem tahakov treba tlacit aj nejaky dvojharok s hlavickou ? :462:
hodte sem niekto tahaky, pekne prosiiim ak:
som sa ucil od vikendu a tak som myslel, ze nebudu potrebne :hammer: bu
viem ze sa opakujem, ale vie dakto toto vypocitat ??
Quote from: Havran on 28.05.2008, 04:35:17
6. Separujte klauzuly pre pouzitie rezolucnej metódy pri odvodení
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fwww.mastastyle.com%2Fpics%2Fzelmer.png&hash=85ae343fe8be0e0f494893cd2fd65de649b50411)
1. uzavries formulu
2. ekviv. problem je taky ze system prvej formuly a negacie druhej je sporny
3. das vsetky formuly na prenexny tvar
4. najdes otvoreny skolemovsky uzaver
5. ked to je system s rovnostou tak musis pridat tie R1-R3
6. kazdu formulu das na konjunktivny normal tvar
7. vypises klauzuly
8. kupis si pivo
no vseobecny postup by mal byt ze:
uzavriet setko :),
znegovat toto co je napravo od |---
previest do skolemovskeho oneho obidve tieto :)
su tam rovna sa, patri, a ked prevediet do skolemovskeho oneho, ta bude tam aj funkcia, takze napises este R1 (koli rovnasa), R2 (rovnasa), R2(patri), R3(koli funkcii)
tie Rxka odstranit z nich => a <=> a negacie dovnutra
separacia klauzul asi tak ze vyberes tie veci medzi &, indexy u roznych formul rozne, abo jak
tak som tomu aspon ja pochopil opravte ma pls ak sa mylim :)
ano ja viem presne tento vseobecny postup ale, ako viem aky je to system ??? ci s rovnostou abo jaky ?? ked to nenapise
no ved ked tam mas = tak je to system s rovnostou
a keby tam nebolo = ale povedzme symboly mnozin alebo take veci? v com sa zmeni postup?
no ved toto ma zaujima lebo na cviku sme mali priklad ze
|- x<>y=y<>x a rovnost tam ostala ale zaroven to bolo v teorii grup a uz si tam pridaval axiomy z teorie grup, lenze hadam nechcu aby som sa uzil vsetky axiomy tych teorii co su v skriptach naspamet, neni povoleny dajaky tahak ???
EDIT a este v tom priklade co som postol, ktore vsetky by ste pouzili ? R1 a R2 (rovnost) urcite ale ostatne R2(predikat) a R3 ??
Tak podla mna R3 musis pouzit stale ak je nejaka funkcia tam..., a R2 som pocul ze koli tomu symbolu e (patri)...
no ale sak v tom neni ziadna funkcia konkretne v tom priklade co som postol ne ? a to mi malo platit na R2 sa ma vztahovat na predikat ne ??
EDIT: no ale vlastne ked druhu klauzulu uzavries a znegujes tak budes mat funkciu tam takze R3 pouzijes koniec koncov
no ale ked spravis otvoreny skolemovsky variant tych formul tam, tak sa tam funkcia vyskytne...
ako sa odvadza rezolventa? nemate nejaky algoritmus? thx
tak tie formuly co tam uz mas napisane prepises pomocou unifikatoru, a tie ktore sa budu zhodovat s faktorom, alebo ich doplnky (to akoze ked je pred nimi ! (negacia)) sa budu zhodovat s faktorom, tak tie vyhodis a co ti ostane je rezolventa, a vsetko je spojene pomocou disjunkcie
a este jednu otazku by som mal? da sa urobit unifikacia ak nema kazdy disjunkt rovnaky predikatovy symbol? (myslim aj jeho negaciu)
edit: pozeram do zosita a tam kde je pouzita ina teoria ako teoria rovnosti, tak je zadane o aku teoriu ide aj s jej axiomami
Quote from: buhehe on 30.05.2008, 04:14:15
a este jednu otazku by som mal? da sa urobit unifikacia ak nema kazdy disjunkt rovnaky predikatovy symbol? (myslim aj jeho negaciu)
edit: pozeram do zosita a tam kde je pouzita ina teoria ako teoria rovnosti, tak je zadane o aku teoriu ide aj s jej axiomami
celkom nechapem tu cast "rovnaky predikatovy symbol" akoze namiesto "P(x,a,F(x)) V P(F(a,x),b)" tam bude napriklad P(x,a,F(x)) V G(F(a,x),b)
a no ono tam na cviceni nam bolo povedane ze to je v teorii grup, ale ak sa pozries na ten priklad co som postol a v skriptach strana 54 konkretne Zelmerova teoria mnozin, tak tak prva cast toho mojho postnuteho prikladu (po znak |-) je vlastne 1.axioma tejto teorie, tak co ak tym padom myslia v tejto teorii aby sme to riesili ?
1. jj...toto myslim popripade P(x,a,F(x)) V !P(F(a,x),b)
2. no podla mna ak nebude zadane v ktorej teorii to riesit tak rovnosti (ak tam bude = ) inac by malo byt zadane v ktorej teorii aj s jej axiomami (takto to mam z cviceni), ale to je moj nazor iba
algoritmus na opt. unifikator je takyto priblizne?
- k=0 0 opisat fi1 fi2 fiX najst Dk { v com sa lisia formuly }
- k=1 { nejaka z Dk / nejaka z Dk + subst. ovplyvni predch. AlfaK }, ficka so substituovanymi vecami, Dk { zase v com sa lisia }
- az kym sa ficka nerovnaju
ak mam Dk { x, y, z }, je jedno ci substituujem x/y alebo y/x ?
Quote
1. jj...toto myslim popripade P(x,a,F(x)) V !P(F(a,x),b)
2. no podla mna ak nebude zadane v ktorej teorii to riesit tak rovnosti (ak tam bude = ) inac by malo byt zadane v ktorej teorii aj s jej axiomami (takto to mam z cviceni), ale to je moj nazor iba
tak nic nerobis, to co sa ti po dosadeni unifikatora bude zhodovat s faktorom vyrucis aj ich doplnky (to su tie co maju pred sebou negaciu) a ostatne nechas, ianc taky priklad ani neni v cviceniahc zeby bol iny predykatovy symbol, inac si pozry ked chces priklad 115 strana 70 skripta, tam je to tak na par riadkov vysvetlene
Quote from: Padres on 30.05.2008, 04:38:50
algoritmus na opt. unifikator je takyto priblizne?
- k=0 0 opisat fi1 fi2 fiX najst Dk { v com sa lisia formuly }
- k=1 { nejaka z Dk / nejaka z Dk + subst. ovplyvni predch. AlfaK }, ficka so substituovanymi vecami, Dk { zase v com sa lisia }
- az kym sa ficka nerovnaju
ak mam Dk { x, y, z }, je jedno ci substituujem x/y alebo y/x ?
hej, tak nejak, mas jedno co substituujes, ALE v cviceniach aj v skriptach sa vzdy substiovalo
len tak ze napriklad D{F(a), x} tak to bolo x/F(a) nikdy nie naopak, to tak musi byt ci to len tak si zvolili ?
teda vzdy sme substituovali funkciu za premennu nikdy nie premennu za funkciu
Ja mam otazku, co je to vlastne ten faktor? Lebo na to nejak neviem zo skript prist ah:
ked uz je vsetko zunifikovane, tak tie jednotlive disjunkcie by mali vyzerat rovnako vsetky a faktor je potom ten vzor (jedna disjunkcia)
skripta strana 70, tabulka a pod tym je to napisane
pismoka bola jak sme vsetci ocakavali, priklady na unifikator a separovanie klauzl a teoreticke samozrejme formulovat zadanu metavetu k jednej z nejakej temy overenie, a dalsie dve som nemal sajnu, no tak uvidime pondelok ze co a jak
sk. B
1. dokazat postacujuci system shefferovou algebrou
2. dokazat metavetu zo syntaxe VL
3. napisat def struktury
4. napisat metavetu skolema
5. separacia klauzul (btw bola teoria pribuzenstva a bez jej axiom som bol v <>, tak som len dalej pocital bez nich a len som mu tam uviedol ze by som ich mal pridat :))
6. unifikacia a urcenie rezolventy
btw: viem ze vyhodnotenie je v pondelok na katedre matiky (tusim b621) ale neviete kedy?
opravene thx to DeNaTuReMaN
o 10.00 BN 621
matika bol brutus :D hlavne to 20minutove cakanie, na presvieten otazky :D ale teoria 0bodov okrem vlastnej metavety, a priklady mam oba dufam ze dobre a tych 20 bodov nahrabem :) ale skrivanek bol vpohode, ked som daco nevedel alebo nebol som si isty zavolal som ho a povedal mi to, popripade ma naviedol na to
... a ako to bolo s dozorom? dalo sa opisovat? kolki boli?
2ja boli ale nas tam bolo kopu ludi lebo aj z ULA pisali prvaci s nami, a opisovat sa aj dalo...ale som neopisoval, lebo som nemal z coho :)
Quote from: buhehe on 30.05.2008, 18:45:58
sk. B
1. dokazat postacujuci system shefferovou algebrou
2. dokazat metavetu zo syntaxe PL
3. napisat def struktury
4. napisat metavetu skolema
5. separacia klauzul (btw bola teoria pribuzenstva a bez jej axiom som bol v <>, tak som len dalej pocital bez nich a len som mu tam uviedol ze by som ich mal pridat :))
6. unifikacia a urcenie rezolventy
btw: viem ze vyhodnotenie je v pondelok na katedre matiky (tusim b621) ale neviete kedy?
Ta 2 otazka bola sytnax VL v B skupine.
Uz su vysledky na IS, teda aspon ja mam ....
jj aj ja mam.....
OT : uz niekto niekomu dal na skuske 5 bodov navyse ked mu chybalo ???? :462:
ta dufam ze mne da skrivanek v pondelok jeden :462:
ja ma 61 D :D :D parada prazdniny :) inac super opravoval :) z 30 bodov co som mohol maximalne dostat, lebo 3 ulohy som nemal :) som dostal 30 bodov :)))
.... tiez mi chyba 5 bodov :nervous:
u mna tiez tak... :(
co uz, je to snad posledny predmet typu matika-fyzika-ele :), tak si ho uzijeme kus viac jak ostatni :)
kto bol na matike, napiste ako...
pridal niekomu nejake body? hovoril nieco o dalsom termine? opravoval pisomky drsne :) ?
co ja viem nikomu nic nepridal, ni bod :), a pisomky opravoval tak... v pohode dalo by sa povedat, nijak extra nedodzubaval, dalsi termin normalne ako su teraz napisane v IS, otazky vraj toho typu co boli aj na riadnom (snad :) )
ale no :emot-shakehead: tak napr. mne chybal bod a bez slova ho dopisal :bananadance: a tiez ostatnym...len sa trebalo ozvat a on velmi ochotne hladal kde sa da pridat...
a pridal niekomu aj 2 a viac bodov? :) lebo co som pocul tak ti co vychadzali hovorili ze nepridal...
jj pridal dva body z 57b na 59b ale viac nenasiel tak sa dohodli na oprave...a potom zapise lepsiu znamku
nepamata si niekto kolko bodov bolo zhruba za jednotlive otazky?
zaujima ma hlavne metaveta podla vlastneho vyberu a tie dva priklady! thx...
za metavetu podla vlasteho vyberu bolo asi 12 a za priklady 10 a 8 sa mi zda
tu metavetu podla vlastneho vyberu ,zadal aspon kapitolu z ktorej ma byt alebo uplne lubovolna zo vsetkych?
zada kapitolu (pochopitelne) :)
Aka bola teda celkova skladba uloh? 2 priklady, 1 metaveta podla kapitoly a co este?
Ide to z nich jak z chlpatej deky ::)
sak uz davno bolo pisane co ma byt na skuske... skuste prelistovat par stran dozadu ;)
Quote from: buhehe on 30.05.2008, 18:45:58
sk. B
1. dokazat postacujuci system shefferovou algebrou
2. dokazat metavetu zo syntaxe VL
3. napisat def struktury
4. napisat metavetu skolema
5. separacia klauzul (btw bola teoria pribuzenstva a bez jej axiom som bol v <>, tak som len dalej pocital bez nich a len som mu tam uviedol ze by som ich mal pridat :))
6. unifikacia a urcenie rezolventy
btw: viem ze vyhodnotenie je v pondelok na katedre matiky (tusim b621) ale neviete kedy?
opravene thx to DeNaTuReMaN
sak omg dve strany do zadu sa pozret
takze tohto roku sa treba vsetky metavety ucit?lebo ste tu pisali ze jednu da vlastnu podla kapitoly s dokazom,a druhu hocico?takze mi to vyxadza ze vsetky
no naucit sa vsetky... ale dokazat staci vediet len jednu z kazdej kapitoly :)
v tyx skriptax su dokazy?
predpokladam ze hej... (aj ked som to este nevidel)
hej su ...
hej su ale nevypracovane... :-)
dokazy metaviet su vypracovane a su to tie overenia, treba sa naucit z kazdej kapitoly 1 dokaz
dokazy ostatne nie su vypracovane a su to tie problemy
takze tie omacky co su v skriptax neriesit,studovat iba metavetty,definicie?problemy a overenia ignorovat(az na jedno overenie v kazdej kap.)??
Quote from: danielmi on 05.06.2008, 15:09:12
takze tie omacky co su v skriptax neriesit,studovat iba metavetty,definicie?problemy a overenia ignorovat(az na jedno overenie v kazdej kap.)??
no zalezi, co ocakavas od skusky? ked nieco odignorujes tak za to nedostanes body :P
ale ak ti staci [E], tak je rozumne sa naucit vsetky metavety a po jednej vediet dokazat, plus aspon zaklad ku kazdej definicii, skrivanek vraj dava nejake body aj za blbosti, ktore aspon neznakom odrazaju skutocnost :D ...
no a este samozrejme pozriet tie priklady co boli na prvom termine...
tak to aspon robim ja a myslim, ze nebude najmensi problem :)
ta metaveta co si sami mozeme vybrat.. to moze byt uplne lubovolna metaveta s dokazom? alebo su tam aj nejake podmienky na to?
hociaka,len z kazdej studijnej jednotky jednu treba..
Quote from: valec on 05.06.2008, 23:05:55
hociaka,len z kazdej studijnej jednotky jednu treba..
okay
a ked sa stane taka vec,ze vyberem si vlastnu metavetu s dokazom a este aj on zada tu metavetu bez dokazu?a kedze sa iba jednu metavetu ucim s dokazom,tak budem musiet napisat to iste...
Quote from: danielmi on 06.06.2008, 02:45:32
a ked sa stane taka vec,ze vyberem si vlastnu metavetu s dokazom a este aj on zada tu metavetu bez dokazu?a kedze sa iba jednu metavetu ucim s dokazom,tak budem musiet napisat to iste...
tak tomu sa hovori "Z pekla stastie" a myslim, ze proti tomu nemoze povedat ani ň :D
Podla mna sa tomu on sam vyvaruje tak ze zada okruh z ktoreho mas napisat vlastnu metavetu s dokazom, a tu druhu metavetu bez dokazu co zadava on tak da s ineho okruhu. Potom taka situacia nenastane.
ona zadal 4 teoreticke ulohy a kazda bola z inej casti cize taka situacia nenastane, dalej odporucam si pozriet pre pocitanie prikladov na separaciu klauzul aj ine teorie ako teoriu rovnosti, minimalne teoriu grup a pribuzenstva, teda naucit sa ich axiomi
A to akoze de su tie teorie???
skripta strana 54 priklad 77
to netreba vsetky priklady pozerat?
Quote from: Havran on 06.06.2008, 03:50:37
ona zadal 4 teoreticke ulohy a kazda bola z inej casti cize taka situacia nenastane, dalej odporucam si pozriet pre pocitanie prikladov na separaciu klauzul aj ine teorie ako teoriu rovnosti, minimalne teoriu grup a pribuzenstva, teda naucit sa ich axiomi
netreba imho...na pisomku som mu k prikladu napisal ze treba pridat axiomy teorie pribuzenstva ale som ich nepridal lebo som ich nevedel a pokracoval som v pocitani bez nich...(v priklade boli pouzite tie trojuholnicky z jazyka teorie pribuzenstva tak som si myslel ze to je teoria pribuzenstva ale podla neho nebola)...na vyhodnoteni ked som pozrel na svoju pisomku tak som mal napisane ze tie axiomy tam pridavat netreba...
Quote from: danielmi on 06.06.2008, 04:28:47
to netreba vsetky priklady pozerat?
tie co boli na zapoctovke nie...
tak to je potom prvyx cca11 tyzdnov
Quote from: buhehe on 30.05.2008, 18:45:58
sk. B
1. dokazat postacujuci system shefferovou algebrou
2. dokazat metavetu zo syntaxe VL
3. napisat def struktury
4. napisat metavetu skolema
5. separacia klauzul (btw bola teoria pribuzenstva a bez jej axiom som bol v <>, tak som len dalej pocital bez nich a len som mu tam uviedol ze by som ich mal pridat :))
6. unifikacia a urcenie rezolventy
btw: viem ze vyhodnotenie je v pondelok na katedre matiky (tusim b621) ale neviete kedy?
opravene thx to DeNaTuReMaN
cize priklady su len z tej opslednej casti zo syntaxu PL ???
pozera aj niekto ine priklady ci len tieto 2 typy?
Ja chcem prebehnut a aspon popozerat cvika...
Quote from: Final_Destructer on 07.06.2008, 02:58:40
Ja chcem prebehnut a aspon popozerat cvika...
podla mna sa to neoplati :) staci prezriet forum z min. roku, vraj daval vzdy ten isty typ prikladov!
cize tu separaciu a unifikaciu?
Len typ ci aj presne tie iste priklady? :D
asi blba otazka ale... metavety sa treba ucit vsetky alebo len tie co boli na prednaskach? :)
my sme mali skolema a ten bol aj na prednaske...ale nespoliehal by som sa :emot-shakehead:
Quote from: sri on 07.06.2008, 07:55:30
Len typ ci aj presne tie iste priklady? :D
ten isty typ, ten isty priklad...len ine zadanie :P
neopisal niekto presne zadanie prikladov na prvom termine ?:P nech si to prepocitame ... vdaka
Hej inak, nema dakto vypocitane priklady zo zbierky? resp. nesu dakde vysledky?
heh a kde mame vlastne tu ML? miestnost 230 to je nekde na vysokoskolskej ???? :D
To je v hlavnej budove, 2.poschodie, blok A.
Quote from: elektrikar on 07.06.2008, 17:37:53
neopisal niekto presne zadanie prikladov na prvom termine ?:P nech si to prepocitame ... vdaka
a to si myslis ze nejaky manik si bude pametat vsetky tie pismenka v spravnom poradi co boli na termine ??
sak to taka sucha skuska bola, sa naucite metavety priklady a D jak vysite
tie problemy asi nie su nikdy riesene co? :)
kasli na problem :P staci ti vediet 2 priklady a vlastnu metavetu a nemas problem :P a popripade ak chytis dobre otazky, tak aj CBA moze byt :D
mate aj niekto iny zablokovane prihlasovanie / odhlasovanie na 9.6. ci len ja? ah:
Ked dobre pocitam, tak do terminu je este vyse 37 hodin...
Aj ja mam zablokovane. Ono to je tusim stale tak ze uz aj cez vikend je blokovane prihlasenie. Ale ved mu napis mail, alebo prid len tak, ked uz si sa ucil. Podla mna ta vezme, nemas co stratit.
takze k tej separacii klauzul dostanem nejaku formulu a treba ju dat do pren. tvaru... potom urobit uzaver a potom z toho otvoreny skolemovsky variant v klauzularnom tvare a len z toho vybrat klauzuly s odlisenim znamienok bez axiom danej teorie? :)
take nieco :) a hodnoti to vpohode :) som nemal ani napisane nic k tym axiomam rovnosti ani spomenute a som mal 8 bodov(plny pocet za to), a pritom to bola teoria pribuzenstva a ta ma pokial ma pamat neklame aj rovnost :)
no fajn... tak skusim priklady + metavety (overenia len jednu z kapitoly) a nejake definicie skusim zapamatat a uvidime co to da :D
ale zatial je to bieda, zajtra hadam dozeniem :)
u mna to bolo rovnako jak si ty na tom, priklady som vedel a aj metavetu, a na dalsie otazky som nemal stastie tak len D :) ale neva
Quote from: puq on 08.06.2008, 02:31:03
u mna to bolo rovnako jak si ty na tom, priklady som vedel a aj metavetu, a na dalsie otazky som nemal stastie tak len D :) ale neva
cize ku ostanym si mal prazdny papier a vobec nic nedzubal ??? :)
Quote from: Sooloni on 08.06.2008, 03:11:27
Quote from: puq on 08.06.2008, 02:31:03
u mna to bolo rovnako jak si ty na tom, priklady som vedel a aj metavetu, a na dalsie otazky som nemal stastie tak len D :) ale neva
cize ku ostanym si mal prazdny papier a vobec nic nedzubal ??? :)
ano nic nedzubal nikoho ked si nic nemal, prazdny papier som sice nemal ale 0 bodov je skoro to iste
ee preco by mal dzubat, som povedal ze mi nesadli otazky a jemu to bolo jedno, neje predsa hudak :D
mozno uplne primitivna otazka, ale predsa : Ked robim unifikaciu a narazim na premennu a na rovnakej pozicii v druhom disjunkte zaciatok zatvorky, tak nahradzam premennu celou tou zatvorkou ??? Alebo ked mam konstantu a premennu, nahradzam premennu konstantou ??? Spravne ? dakujem
skopirovane z archivu:
=============================
Priklad1 http://sms.tym.sk/priklad1.jpg
Priklad2 http://sms.tym.sk/priklad2.jpg
=============================
je to dobre?? bo ja cumim do tych prikladov, no a v zosite tomu ako tak rozumiem, aj v skriptach celkom, ale v tychto prikladov je par veci ktore mi vobec nic nehovoria!!
Quote from: elektrikar on 08.06.2008, 17:24:59
mozno uplne primitivna otazka, ale predsa : Ked robim unifikaciu a narazim na premennu a na rovnakej pozicii v druhom disjunkte zaciatok zatvorky, tak nahradzam premennu celou tou zatvorkou ??? Alebo ked mam konstantu a premennu, nahradzam premennu konstantou ??? Spravne ? dakujem
ak mas niekde premennu a potom narazis napr na zatvorku, nahradzas ju termom, cize taky jednoduchy priklad:
(x+(y+0)) v (x+w)
tu narazis ze za + mas na v prvom zatvorku a v druhom w, cize tak nahradis za w/(y+0)...
a ked mas konstantu a premennu, tak nahradzas za premennu konstantu, lebo konstanta je vlastne term
Quote from: elektrikar on 08.06.2008, 17:24:59
mozno uplne primitivna otazka, ale predsa : Ked robim unifikaciu a narazim na premennu a na rovnakej pozicii v druhom disjunkte zaciatok zatvorky, tak nahradzam premennu celou tou zatvorkou ??? Alebo ked mam konstantu a premennu, nahradzam premennu konstantou ??? Spravne ? dakujem
presne taky bol priklad....ja som to nahradil celou zatvorokou a mal som dobre
niekomu moze byt lepsie prepisat si termy do ineho tvaru aby mal v tom prehlad... napr:
(x+y) prepises na +(x,y) atd... niekomu to potom robi menej problemov
Quote from: buhehe on 08.06.2008, 20:04:58
presne taky bol priklad....ja som to nahradil celou zatvorokou a mal som dobre
ano nahradza sa celym minimalnym termom ktory obsahuje dany symbol v ktorom sa lisia...
ja mam v zosite naznacene x/t (moze byt aj t/x) len uz si nepamatam odkial to viem, ale asi to hovorila cviciaca!
a este jedna vec..ak budem mat (T)erm a (K)onstantu..jak by ste to nahradili T/K alebo K/T ??
Quote from: johnyo13 on 08.06.2008, 20:25:22
ja mam v zosite naznacene x/t (moze byt aj t/x) len uz si nepamatam odkial to viem, ale asi to hovorila cviciaca!
a este jedna vec..ak budem mat (T)erm a (K)onstantu..jak by ste to nahradili T/K alebo K/T ??
ani tak ani tak... lebo nahradzaju sa len premenne :)
ahaa.thx
Quote from: johnyo13 on 08.06.2008, 17:25:36
skopirovane z archivu:
=============================
Priklad1 http://sms.tym.sk/priklad1.jpg
Priklad2 http://sms.tym.sk/priklad2.jpg
=============================
je to dobre?? bo ja cumim do tych prikladov, no a v zosite tomu ako tak rozumiem, aj v skriptach celkom, ale v tychto prikladov je par veci ktore mi vobec nic nehovoria!!
ok tak povedz este ze o co tam ide a ja to mozem prepocitat...
priklad 2 zrejme bude unifikacia a priklad +1 ? asi nekompletny, ne?
hej a este pri tom procese unifikacie treba vsade davat tie zbytocne zatvorky, ci moze aj bez nich byt?
to su priklady zo vzorovej pisomky z min. roku...(najdes na FTP)!
cize ten isty typ, ako by mali byt zatra..ten druhy je v poriadku, tam som len nechapal tie posledne riadky..dajaka rezolventa ci co, ale myslim ze uz chapem!
ten prvy som len tak zbezne pozrel a celkom mu nerozumiem
chlapi poprosim vas kde to vlastne mame zajtra skusku, na IS je len napisan ze 230, treba to chapat ze to je A230 alebo ako?
keby si cital co tu pisalai ludia tesne pred tebou ...
To je v hlavnej budove, 2.poschodie, blok A.
inac... treba mat nejaky dvojharok abo co?
jj staci cisty...meno a TE si dopises
neviete co treba spravit v tejto formule: (∃y)(P(x) & ¬P(y)) |- (∃x)(∃y)(x 6= y)
s tym predikatom ci co to je, dokazatelnosti co je medzi tymito podformulami? aby som mohol pokracovat dalej v separacii
Quote from: pepco on 09.06.2008, 07:20:57
neviete co treba spravit v tejto formule: (∃y)(P(x) & ¬P(y)) |- (∃x)(∃y)(x 6= y)
si to rozdelis na dve podformuly (∃y)(P(x) & ¬P(y)) a ¬((∃x)(∃y)(x 6= y))
inac co ma znamenat vyraz (x 6= y)
Quote from: Havran on 09.06.2008, 07:34:27
Quote from: pepco on 09.06.2008, 07:20:57
neviete co treba spravit v tejto formule: (∃y)(P(x) & ¬P(y)) |- (∃x)(∃y)(x 6= y)
si to rozdelis na dve podformuly (∃y)(P(x) & ¬P(y)) a (∃x)(∃y)(x 6= y) ktoru najpr znegujes
a potom osobitne riesim a z prvej dostanem klauzuly aj z druhej?
Quote from: pepco on 09.06.2008, 07:35:37
Quote from: Havran on 09.06.2008, 07:34:27
Quote from: pepco on 09.06.2008, 07:20:57
neviete co treba spravit v tejto formule: (∃y)(P(x) & ¬P(y)) |- (∃x)(∃y)(x 6= y)
si to rozdelis na dve podformuly (∃y)(P(x) & ¬P(y)) a (∃x)(∃y)(x 6= y) ktoru najpr znegujes
a potom osobitne riesim a z prvej dostanem klauzuly aj z druhej?
jop, presne tak, teda ked vies ako ich dalej upravovat atd...
sak to su jednoduche formulky, ziadne zlozene uprava na jeden riadok, aspon si myslim ah:
Quote from: pepco on 09.06.2008, 07:42:26
sak to su jednoduche formulky, ziadne zlozene uprava na jeden riadok, aspon si myslim ah:
tak formuly nesu nidky problem samo o sebe, problem je ze ktore axiomy k nim pridat
Quote from: Havran on 09.06.2008, 07:43:50
Quote from: pepco on 09.06.2008, 07:42:26
sak to su jednoduche formulky, ziadne zlozene uprava na jeden riadok, aspon si myslim ah:
tak formuly nesu nidky problem samo o sebe, problem je ze ktore axiomy k nim pridat
a prezradis v com je ta finta :) na zaklade ktore ich pridavame? lebo co ja viem tak pri teorii s rovnostou pridame R1, R2 a R3... ale zase netusim to ich treba nejako upravit podla konkretnych alebo staci orafat cele?
Quote from: Havran on 09.06.2008, 07:34:27
Quote from: pepco on 09.06.2008, 07:20:57
neviete co treba spravit v tejto formule: (∃y)(P(x) & ¬P(y)) |- (∃x)(∃y)(x 6= y)
si to rozdelis na dve podformuly (∃y)(P(x) & ¬P(y)) a ¬((∃x)(∃y)(x 6= y))
inac co ma znamenat vyraz (x 6= y)
ten vyraz nejako zle skopcilo, to je ze sa nerovna /= (preskrtnute)
Evrybady šejk jor bady kto este nespi :bananadance:
Quote from: TradeMark on 09.06.2008, 08:01:53
Evrybady šejk jor bady kto este nespi :bananadance:
bady uz spi :p
Quote from: pepco on 09.06.2008, 07:46:08
Quote from: Havran on 09.06.2008, 07:43:50
Quote from: pepco on 09.06.2008, 07:42:26
sak to su jednoduche formulky, ziadne zlozene uprava na jeden riadok, aspon si myslim ah:
tak formuly nesu nidky problem samo o sebe, problem je ze ktore axiomy k nim pridat
a prezradis v com je ta finta :) na zaklade ktore ich pridavame? lebo co ja viem tak pri teorii s rovnostou pridame R1, R2 a R3... ale zase netusim to ich treba nejako upravit podla konkretnych alebo staci orafat cele?
no praveze na tu fintu som nikdy uplne neprisiel :)
no aj ja to tak vidim :) ze zo separacie nic... takze nacase ist spat
treba nam ist spat?
netreba...pekne hore celu noc ako ja... :)
skupina L:
- Metaveta + doklaz zo sem. VL
- Co je to dokaz vo VL (definicia)
- ??? nejaka kktina co som ani nerobil... bolo to z tych problemov
- Metaveta o neutralnej formule v PL
- priklady samozrejme rovnaky druh ako doteraz
Quote from: JCube on 09.06.2008, 10:42:55
netreba...pekne hore celu noc ako ja... :)
Prosim ta tebe je naco treba byt hore celu noc? :D:D
EDIT : Presne to som mal co kOsTi.
ucil sa
a akoze na co? :)
moe skupina L? ked este su dalsie terminy tha to sa dostanete az po XYZ....
tak je tam toho hojne... je z coho vyberat :D
skupina I:
1) uviest priklad na standardny a nestandarndny minimalny system logickych spojok + pravdivostne tabulky.
2) metaveta o dokaze rozborom pripadov vo vyrok. logike
3) bla.bla.bla..dajake dristy..ani som nedocital
4) lubovolna metaveta + overenie (syntax PL)
5) priklad na separaciu
6) priklad na unifikator a rezolventu
screen:
http://www.yougotrickrolled.com/
tazke tance
skupina K:
1. Problem: Ukazat, ze T |= A prave vtedy, ked je system T, A' sporny.
2. Metaveta o dedukcii.
3. Definicia termu.
4. Formulovat a overit lubovolnu metavetu zo syntaxe PL.
5. Priklad: Separacia klauzul
6. Priklad: Optimalny unifikator & odvodenie rezolventy
Inak uz su vysledky na IS Student bp
jj su... sice len D ale jebat na to :beer1:
aj E je paradne
Quote from: kOsTi on 09.06.2008, 18:28:43
a akoze na co? :)
Heh to bolo JCubovi lebo on uz ma po skole a vyznelo to tak jak keby sa mal este do noci ucit :D
ved viem... ja som zas reagoval na:
Quote from: danielmi on 09.06.2008, 18:23:57
ucil sa
:D
je tu nekto co nema este vysledky na IS? ???
ak nemas vysledok v IS tak asi si neurobil... (ale nemam to overene, len podla mna)
Quote from: Sooloni on 10.06.2008, 02:27:19
je tu nekto co nema este vysledky na IS? ???
Ja som neurobil na prvykrat a mal som tam napisany vysledok ...
Takze ak si robil prvykrat a este nemas vyskledok, tak Ti asi este neopravil.
Ak si robil druhykrat, tak Ti bud neopravil alebo si nespravil
no myslim ze to by bol trochu blud kedze..tam mam stale pocet bodov zo zapichu..
tak bud si neziskal nic abo este neopravil :P
ok uz :)
tak ja tam uz mam vysledok ... huraaaaa, konecne prazdninyyyyyyyyyy :)
este jedna tradicna otazka po skuske: Kedy je zapis?? sa mi vidi, ze tam boli dva terminy, ale akosi som nezachytil, ktory je ten pravy ah:
1-4 1300
5-?? 1330
Zdravim. Akurat ratam priklady na unifikaciu a kedze som tam v teorii este nedosiel tak sa opytam..
vyjde mi napriklad take daco:
x=x V x=x V x=x (28.a v zbierke)
a teraz co z toho je
1. faktor?
2. optimalny unifikator?
3. odvodena rezolventa?
Vdaka ;)
faktor x=x
opt. unif sa z toho povedat neda ... (to je ta posledna substitucia ktoru tam zavedies... to na lavej strane)
rezolventa je aplikovany opt. unifikator na dane axiomy ktore tam budes mat zadane
Quote from: kOsTi on 13.06.2008, 03:05:00
faktor x=x
opt. unif sa z toho povedat neda ... (to je ta posledna substitucia ktoru tam zavedies... to na lavej strane)
rezolventa je aplikovany opt. unifikator na dane axiomy ktore tam budes mat zadane
ok cize ak som za cely priklad urobil 2 substitucie - y/x a potom v/x tak opt. unifikator bude alfa2 {y/x, v/x}?
a ked zadanie bolo y=v V x=y V x=x tak rezolventa bude co?
j unifikator je ok...
...a mas v zadani napisane nieco o rezolvente? na pisomke boli samostatne zadane formuly z ktorych trebalo urobit rezolventu
Quote from: kOsTi on 13.06.2008, 03:14:34
j unifikator je ok...
...a mas v zadani napisane nieco o rezolvente? na pisomke boli samostatne zadane formuly z ktorych trebalo urobit rezolventu
:hammer: chapem sorry... neprecital som zadanie bu
bol tam sam na opravnom termine abo tam bola aj teta drazena s nim???
Bol nejaky opravak? ja o nicom neviem...9.6. bol riadny a teraz v pondelok ma byt dalsi riadny...teda pre niekoho opravny
Quote from: Pribina on 14.06.2008, 18:43:58
Bol nejaky opravak? ja o nicom neviem...9.6. bol riadny a teraz v pondelok ma byt dalsi riadny...teda pre niekoho opravny
Ee skor to tu dakto doplietol... nie su vypisane opravne terminy... len pre niekoho to opravak uz moze byt taze pravdu vravis :thumbsup:
bol niekto na skuske pondelok, bez toho aby si nahlasil do IS nanu? ah: zoberie ma? lebo som sa nejako pozabudol a cez vikend je uz neskoro...
Skrivanek ti to myslim v pohode povoli :)
Nema nahodou niekto naskenovanych zopar prikladov takeho typu ako treba na skusku, lebo na cvikach sme to akosi neratali vsetko co tam je treba. Ak ano tak to niekde uploadnite. dik
Tie zoskenovane priklady su niekde tu v tomto threade...aj v minulorocnom druhackom by niekde mali byt
Quote from: johnyo13 on 08.06.2008, 17:25:36
skopirovane z archivu:
=============================
Priklad1 http://sms.tym.sk/priklad1.jpg
Priklad2 http://sms.tym.sk/priklad2.jpg
=============================
je to dobre?? bo ja cumim do tych prikladov, no a v zosite tomu ako tak rozumiem, aj v skriptach celkom, ale v tychto prikladov je par veci ktore mi vobec nic nehovoria!!
a su dobre riesene? Lebo za prvy dostal 2 body jak pozeram a nejako to je skrtane tam... ???
1. priklad - malo by to byt dobre, ta dvojka neznamena dva body, to si nevsimaj, a to zelene podciarkovanie oznacuje vysledky...
2. priklad - ten je urcite v poriadku...
Quote from: Padres on 15.06.2008, 18:04:40
a su dobre riesene? Lebo za prvy dostal 2 body jak pozeram a nejako to je skrtane tam... ???
aj 1. aj 2. priklad je OK,
Nevedel by mi niekto odporucit nejake kratke metavety, ktore sa lahko ucia (ak uz to ma niekto za sebou)... z prvej casti som si vybral metavetu 8 ale zo zvysnych vobec neviem...
Quote from: TradeMark on 16.06.2008, 00:45:55
Nevedel by mi niekto odporucit nejake kratke metavety, ktore sa lahko ucia (ak uz to ma niekto za sebou)... z prvej casti som si vybral metavetu 8 ale zo zvysnych vobec neviem...
podla mna su jednoduche tieto: 8,25,52,99
tak ja som sa ucil aj o tranzitivnosti implikacie ("logicky" jednoducha), potom o prenexnom tvare a o kompaktnosti.
Btw, nevie niekto poradit, v unifikacii:
majme
neg( nieco ) V neg( nieco ) V nieco
ako sa postupuje v tomto pripade, ak je na zaciatku zatvorky negacia a v niektorej formule nie je??? ???
a dalej ak substituujeme x / F(a) a mame uz niekde dnu F(x), tak moze sa z toho zrobit F(F(a)) ? a potom je dnu nejaka y a tu substituujeme y / F(F(a)) ?? je to mozne?? ???
Quote from: BossZ on 16.06.2008, 00:52:10
Quote from: TradeMark on 16.06.2008, 00:45:55
Nevedel by mi niekto odporucit nejake kratke metavety, ktore sa lahko ucia (ak uz to ma niekto za sebou)... z prvej casti som si vybral metavetu 8 ale zo zvysnych vobec neviem...
podla mna su jednoduche tieto: 8,25,52,99
Jak tak pozeram tak 25ka nie je metaveta ;)
ja som sa ucil 8, 25, 52, 81 :)
25 je metaveta o tranzitivnosti implikacie ;)
Quote from: kOsTi on 16.06.2008, 01:54:12
ja som sa ucil 8, 25, 52, 81 :)
25 je metaveta o tranzitivnosti implikacie ;)
ja ju mam v skriptach ako Metavetu 26 ... a 52 tiez mam nejaky problem a nie metavetu...zeby stare vidanie?
kde si ich nasiel? na FTP niekde? :)
ja ju mam tiez jak 26, vydanie FTP :)
tha treba staihnut nove z toho portalu co posielal Skrivanek v maile :P
no dpc :), tak to dost skoro som sa dozvedel :D
Quote from: kOsTi on 16.06.2008, 02:02:37
tha treba staihnut nove z toho portalu co posielal Skrivanek v maile :P
jj, teraz je aktualna verzia 08, nie 07
Quote from: kOsTi on 16.06.2008, 01:54:12
ja som sa ucil 8, 25, 52, 81 :)
25 je metaveta o tranzitivnosti implikacie ;)
metavetu 8 myslis tuto:
Relácia výrokovej ekvivalencie je metamatematickou ekvivalenciou
na systéme všetkých formúl výrokovej logiky.
Overenie. Pre lubovolné ohodnotenie π je
valπ(A) = valπ(A) (reflexívnost,),
valπ(A) = valπ(B) práve vtedy, ked valπ(B) = valπ(A) (symetria),
ak valπ(A) = valπ(B) a valπ(B) = valπ(C), potom valπ(A) = valπ(C) (tranzitívnost,). ???
bohuzial to neni ta, pozeram nove skripta a tato co pises bola vymazana... :(, a ucil som sa prave tu,
teraz je 8-cka: Metaveta o nahradeni
Quote from: Padres on 16.06.2008, 02:19:39
bohuzial to neni ta, pozeram nove skripta a tato co pises bola vymazana... :(, a ucil som sa prave tu,
teraz je 8-cka: Metaveta o nahradeni
ale ta povodna sa mi paci viacej, bude mu vadit ked mu napisem tu povodnu?
ak je niekde v novych skriptach tak mozes... ak nie tak nie :)
Quote from: BossZ on 16.06.2008, 02:23:35
Quote from: Padres on 16.06.2008, 02:19:39
bohuzial to neni ta, pozeram nove skripta a tato co pises bola vymazana... :(, a ucil som sa prave tu,
teraz je 8-cka: Metaveta o nahradeni
ale ta povodna sa mi paci viacej, bude mu vadit ked mu napisem tu povodnu?
ja som mu ju napisal a pravdepodobne mi za nu dal nulu. Preto vravim pravdepodobne lebo som nevidel svoju pisomku, ale tak mi to vychadza. :kissmyass:
pre istotu sa naucit aj tu novu metavetu... a popripade sa ho tam spytat ci mozes... (inak ak ti za to dal nulu tak to je imho totalna blbost - ved, neni ta metaveta o ekvivalencii stale sucastou semantiky VL? ze ju vyhodil zo skript tak to znamena ze proste prestala existovat? :) - to len take filozoficke zamyslenie sa :) )
Quote from: TradeMark on 16.06.2008, 02:52:05
nema niekto novu verziu skript? ja uz ten mail co poslal skrivanek nemam a neviem odkial ich zohnat... moze mi niekto poslat na maila aktualne skripta? vdaka!
[email protected]
alebo hodte na ftp ;)
mas to na hypnose,
ps. ktore metavety si vybral?
Ja som zil s neaktualnou verziou skript takze musim vyberat na novo ;).
Inac taky napad: zajtra po ML pivo - kto je za?
kolko bodov dava za priklady?
V tom vzorovom zadani pise za separaciu 18 a za unifikaciu 10?
Ako hodnotil?
No hodnoti vselijak...ja som mal priklady po 8 a problem za 14 , ale predosly termin mali za jeden priklad 10 a za druhy 8 a za problem 12.
Cize kolko bodov je vlastne dokopy za tie 2 priklady + tu metavetu z konkretneho celku?
EDIT: uz som zistil... 30
EDIT2: dnes som mal za priklady + metavetu dokopy 32 bodov moznost ziskat taze asi zavisi...
ked nekto bude mat vysledky, ta nech sa ozve, thx
uz by mali byt zapisane
Neviem, ja nevidim nijaku zmenu, vy uz mate???
nemame zatial
ani ja nemam :) ibaze by som mal zhodou nahod rovnaky pocet bodov :D
Yoo, uz to je na IS... prajem vela stastia :)
bp
MAM PO SKUSKACH!!! SOM TRETIAAAK!!!! D 62!!!!
42... ??? bu preco jaaaaa???
ludia, kedya kde je vyhodnotenie pre skupiny 1..4 ... ??? nejak mi to vypadlo....
BN 621 13:00 (ak ma pamat neklame)
Quote from: LONEr on 17.06.2008, 00:15:55
BN 621 13:00 (ak ma pamat neklame)
diky .... mam FX 50 :) .... treba to vykecat nejak :-P
aj ja mam FX 50 ..to co je ?to uz nemohol najst jeden bod ?:-( co myslite da mi ten jeden bod ked uz zapisal 50???
Quote from: neonfish on 17.06.2008, 00:57:24
aj ja mam FX 50 ..to co je ?to uz nemohol najst jeden bod ?:-( co myslite da mi ten jeden bod ked uz zapisal 50???
ale, ved chodte zajtra za nim a on vam najde ten bod (aj viac ked sa da).
good luck
jj neboj :) jeden bodik nie je problem, on je velmi ustretovy :thumbsup:
ja mam fx 45 .... tak to ma asi na vyhodnotenie zbytocne.
Ci myslite, ze je az taky ustretovy ze najde aj 6 bodov????
Quote from: 7ici7 on 17.06.2008, 02:39:17
ja mam fx 45 .... tak to ma asi na vyhodnotenie zbytocne.
Ci myslite, ze je az taky ustretovy ze najde aj 6 bodov????
ked je v com najst, najde
ja by som skusil
E 52 ... leto :h_azn:
Quote from: TradeMark on 17.06.2008, 02:48:00
E 52 ... leto :h_azn:
gratulujem, tazke boli priklady? daj vediet prosim ta ze ako opravoval...
Quote from: BossZ on 17.06.2008, 03:44:35
Quote from: TradeMark on 17.06.2008, 02:48:00
E 52 ... leto :h_azn:
gratulujem, tazke boli priklady? daj vediet prosim ta ze ako opravoval...
Urcite som ocakaval viac... aspon D ale tak uvidim ze co jak opravoval. Priklady sa mi nezdali tazke...
Zajtra dam vediet.
Ake boli otazky a priklady teraz v pondelok na skuske?
Quote from: TradeMark on 17.06.2008, 04:55:34
Quote from: BossZ on 17.06.2008, 03:44:35
Quote from: TradeMark on 17.06.2008, 02:48:00
E 52 ... leto :h_azn:
gratulujem, tazke boli priklady? daj vediet prosim ta ze ako opravoval...
Urcite som ocakaval viac... aspon D ale tak uvidim ze co jak opravoval. Priklady sa mi nezdali tazke...
Zajtra dam vediet.
[ot] lol jaky pdpis TM, zabil si to cele [/ot]
Priklady tazke neboli ... ja som mal E skupinu a hned prva otazka: Co je predmetom ML a ako sa rozdeluje .... tak to by aj intracki udrzbari nacmarali ... , a ostatne .. nic extra, proste klasika.. netreba sa bat
Quote from: neonfish on 17.06.2008, 00:57:24
aj ja mam FX 50 ..to co je ?to uz nemohol najst jeden bod ?:-( co myslite da mi ten jeden bod ked uz zapisal 50???
Ejhla niekto tu pocuva dezka ursiniyho ... aj ja kcem :)
tak si stiahni z mojho FTP .."neonfish"
zdravim, mozno sa to uz tu niekto pytal (alebo to vsetci viete) ale preco kazdy pise ake metavety si vybral? neviem co vsetko je/nie je na skuske, kedze zapich som si dal z min.roku uznat, takze som nechodil na cvika ani na prednasky(mam ich vychodene z min.roku). mam taky dojem, ze na skuske si kazdy ma vybrat nejake metavety a tie napisat. prosim napiste mi este niekto nieco k tomu, co cakat, kolko bodov je za co atd,
Thx
Quote from: DeViLvs on 18.06.2008, 00:59:51
zdravim, mozno sa to uz tu niekto pytal (alebo to vsetci viete) ale preco kazdy pise ake metavety si vybral? neviem co vsetko je/nie je na skuske, kedze zapich som si dal z min.roku uznat, takze som nechodil na cvika ani na prednasky(mam ich vychodene z min.roku). mam taky dojem, ze na skuske si kazdy ma vybrat nejake metavety a tie napisat. prosim napiste mi este niekto nieco k tomu, co cakat, kolko bodov je za co atd,
Thx
Treba preslistovat zopar stran dozadu a vsetko by si sa dozvedel... mas sa naucit jednu metavetu aj s overenim ku kazdemu jednemu celku (cize dokopy 4 metavety). Na pisomke ti potom on povie celok a ty z neho napises tu metavetu, ktoru si sa naucil. Bodove ohodnotenie zavisi... 12, 14... kedy ako.
bol si na vyhodnoteni? ako hodnotil?
Bol som ale este rano ... som skusil stastie v kancli a som ho tam zastihol. Podla mna hodnotil dobre... body som stratil na picovinach co som porobil na konci prikladov... (ked clovek naspi 2 hodiny ta to tak potom vyzera :hammer:). Za teoriu mi dal maximum z toho co som mohol ziskat cize spokojnost.
na hypnos som dal odfotene 4 skupiny z poslednej skusky .. aj ked prepacte za kvalitu lebo to bolo narychlo ;)
tak hodnotil tak,ze co si mal, tak ti dal takmer plny pocet. aj ked mas male chyby, ja som mal 4 zo 6tich uloh a som mal 40 bodov a to som fakt pisal <>viny miestami. ale treba sa na to fakt ucit- minimalne jednu metavetu z kazdeho celku + priklady(tie, ktore su vo vzore).
nevie niekto z tych co mali dneska skusku kedy bude vyhodnotenie? :-*
Quote from: plexisklo on 23.06.2008, 16:07:19
nevie niekto z tych co mali dneska skusku kedy bude vyhodnotenie? :-*
13:00 v BN 612 (asi, kazdopadne na siestom poschodi zajtra)
a ludia pastnite sem otazocky co boli dnes...dakujem...:)
mate uz v systeme vysledky?
minule ste tu pisali ze mal niekto 50b, da sa pri nom na vyhodnoteni vyhadat ten bod? alebo sa nieco pyta? ci nedovoli nic?
Quote from: hrochodyl on 24.06.2008, 03:05:55
mate uz v systeme vysledky?
Quote from: valentino on 24.06.2008, 03:22:23
minule ste tu pisali ze mal niekto 50b, da sa pri nom na vyhodnoteni vyhadat ten bod? alebo sa nieco pyta? ci nedovoli nic?
ano mame, a ze vraj da sa dohodnut, len si treba najst ten jeden bod, najdes, ukazes, pripise
Quote from: luigi39 on 19.06.2008, 07:25:51
na hypnos som dal odfotene 4 skupiny z poslednej skusky .. aj ked prepacte za kvalitu lebo to bolo narychlo ;)
tie otazky su na vsetkych terminoch rovnake? predpokladam, ze sa menia, hm?
menia sa... ma do od skupiny A az po myslim O ci tak nejak... vela je skupin
kua pani a damy neviete je zajtra termin o osmej alebo nie? bo na IS viem ze bolo este dva tyzdne dozadu no teraz kukam a nic tam nie je rofl :-\
uz asi neni.......tiez som si vsimol, ze mal byt 7. ale asi to presunul na 4.