Ahojte, nemáte niekto prednášky z ML v el. podobe? Pozeral som na FTP, ale to PDF čo tam je, tak mi hlási, že je poškodené. Vďaka.
cakam na ucebnicu, ak to bude to iste tak na to kaslem, ak nie tak to budem postupne prepisovat
Ja ju asi mam :) ..... a tusim ze mam aj to co bude na skuske :)
Quote from: ppeess on 23.09.2011, 18:24:07
Ja ju asi mam :) ..... a tusim ze mam aj to co bude na skuske :)
tak nevahaj a urob co ti kaze studentske srdce ;D ;)
Quote from: Tren on 23.09.2011, 19:46:21
Quote from: ppeess on 23.09.2011, 18:24:07
Ja ju asi mam :) ..... a tusim ze mam aj to co bude na skuske :)
tak nevahaj a urob co ti kaze studentske srdce ;D ;)
+1 ;)
Quote from: RiTChi on 23.09.2011, 22:14:47
Quote from: Tren on 23.09.2011, 19:46:21
Quote from: ppeess on 23.09.2011, 18:24:07
Ja ju asi mam :) ..... a tusim ze mam aj to co bude na skuske :)
tak nevahaj a urob co ti kaze studentske srdce ;D ;)
+1 ;)
Tak mi do spravy napiste ze kde vam to mam poslat :D
Quote from: Cici on 23.09.2011, 16:19:04
cakam na ucebnicu, ak to bude to iste tak na to kaslem, ak nie tak to budem postupne prepisovat
http://www.uloz.to/10366281/prednasky-br-pdf (http://www.uloz.to/10366281/prednasky-br-pdf) , neopisujte to zbytocne :)
Tak neviem ako ty, ale ja by som nemal na to nervy odpisovať tie všetky glupociny, čo sú v tej prednáške. Tých 5€ nie je až tak veľa podľa mňa.
Tren nám to tu už hodil, a neprepisoval by som to ja ale OCRko :D
Quote from: Tux on 25.09.2011, 04:04:08
Tak neviem ako ty, ale ja by som nemal na to nervy odpisovať tie všetky glupociny, čo sú v tej prednáške. Tých 5€ nie je až tak veľa podľa mňa.
tak ano, knihu kupim tak ci tak :)
Quote from: Cici on 25.09.2011, 05:21:36
Tren nám to tu už hodil, a neprepisoval by som to ja ale OCRko :D
aj to je riesenie, cvak ;D
Quote from: Tux on 25.09.2011, 04:04:08
Tých 5€ nie je až tak veľa podľa mňa.
5 € je OK cena. Navyše tam nebude len 32 strán, ktoré sú v tom PDF-ku, ale aj nejaké riešené/neriešené príklady. Dúfam, že to vytlačia čím skôr.
Quote from: veteran on 25.09.2011, 14:21:21
Quote from: Tux on 25.09.2011, 04:04:08
Tých 5€ nie je až tak veľa podľa mňa.
5 € je OK cena. Navyše tam nebude len 32 strán, ktoré sú v tom PDF-ku, ale aj nejaké riešené/neriešené príklady. Dúfam, že to vytlačia čím skôr.
to pdf nie je vsetko, to je len jedna kapitola..su z nich asi 4 ;)
Maš len jednu?
Quote from: Tren on 25.09.2011, 15:27:33
Quote from: veteran on 25.09.2011, 14:21:21
Quote from: Tux on 25.09.2011, 04:04:08
Tých 5€ nie je až tak veľa podľa mňa.
5 € je OK cena. Navyše tam nebude len 32 strán, ktoré sú v tom PDF-ku, ale aj nejaké riešené/neriešené príklady. Dúfam, že to vytlačia čím skôr.
to pdf nie je vsetko, to je len jedna kapitola..su z nich asi 4 ;)
Aha, no a ja som sa tešil, že toho nebude až tak veľa ;D
Quote from: veteran on 25.09.2011, 15:51:36
Quote from: Tren on 25.09.2011, 15:27:33
Quote from: veteran on 25.09.2011, 14:21:21
Quote from: Tux on 25.09.2011, 04:04:08
Tých 5€ nie je až tak veľa podľa mňa.
5 € je OK cena. Navyše tam nebude len 32 strán, ktoré sú v tom PDF-ku, ale aj nejaké riešené/neriešené príklady. Dúfam, že to vytlačia čím skôr.
to pdf nie je vsetko, to je len jedna kapitola..su z nich asi 4 ;)
Aha, no a ja som sa tešil, že toho nebude až tak veľa ;D
neskor hodim ostatne
drazenskej prednasky keby niekto chcel
http://pokec.azet.sk/buli_wyf/fotoalbumy/matematicka-logika/ft-402081586/original (http://pokec.azet.sk/buli_wyf/fotoalbumy/matematicka-logika/ft-402081586/original)
ten pokec dúfam nemyslíš vážne :ohmygod: :D ale dik ;-)
Jáááj som si myslel, že to je pdfko, čo dáva slajdy ;D
Tí, čo ste mali dneska cviko s Myskovou, písali ste bleskovku?
Quote from: Tux on 06.10.2011, 21:54:00
Tí, čo ste mali dneska cviko s Myskovou, písali ste bleskovku?
Zo uz aj na Ml sa pisu bleskovky??? a este s Myskovou? :)
tak ne bleskovky ale mame nejakych 6 bodov volnych..zevraj mozno rozdeli na 3 a 3 male pisomky ale tak nevieme, a ano Myskova :)
No vidim, ze casy sa menia :D ..... minuly rok ani domace ulohy nekontrolovala :D ( iba obcas :D )
domace nekontroluje ani nam...ani toto nie je iste, ze piseme, len sa mi dostalo echo do usi na prednaske, ze mozno da bleskovku
Tak na zapocte ( mozno aj na tej bleskovke) sa dalo velmi dobre odpisovat :D keby si si zosit na lavicu polozi a z neho odpisoval tak by si to nevsimla :D ..... len na skuske uz davala vasi pozor a aj priklady boli o nieco tazsie :D :D
amen! :angel: :D nech je potvojom
tak to měni situaci :P
s Dráženskou píšeme v 5. týždni písomku, povodne ju chcela písať už nasledujúci týždeň no nespomenula to skupinám čo mali vo štvrtok takže až v 5. týždni píšeme :ohmygod:
Quote from: Rajo on 08.10.2011, 01:10:18
s Dráženskou píšeme v 5. týždni písomku, povodne ju chcela písať už nasledujúci týždeň no nespomenula to skupinám čo mali vo štvrtok takže až v 5. týždni píšeme :ohmygod:
Akože bleskovka? Tá jedna z dvoch - dokopy za 6 b.? U Myškovej o bleskovke zatiaľ ani zmienka :P
Quote from: veteran on 08.10.2011, 01:21:45
Quote from: Rajo on 08.10.2011, 01:10:18
s Dráženskou píšeme v 5. týždni písomku, povodne ju chcela písať už nasledujúci týždeň no nespomenula to skupinám čo mali vo štvrtok takže až v 5. týždni píšeme :ohmygod:
Akože bleskovka? Tá jedna z dvoch - dokopy za 6 b.? U Myškovej o bleskovke zatiaľ ani zmienka :P
budme radi ;D
Quote from: esperian on 08.10.2011, 01:26:39
Quote from: veteran on 08.10.2011, 01:21:45
Quote from: Rajo on 08.10.2011, 01:10:18
s Dráženskou píšeme v 5. týždni písomku, povodne ju chcela písať už nasledujúci týždeň no nespomenula to skupinám čo mali vo štvrtok takže až v 5. týždni píšeme :ohmygod:
Akože bleskovka? Tá jedna z dvoch - dokopy za 6 b.? U Myškovej o bleskovke zatiaľ ani zmienka :P
budme radi ;D
Ja by som nejakú tú bleskovečku privítal - nech mám aspoň 3 body :D. ML je zatiaľ ľahká.
presne tak, radsej nech da teraz, kym su ulohy lahke ;D
Skriptá na ML sú už v predaji - dnes od 15:00 - ja som si uchmatol prvý kus ;D
Je to vydavateľstvo Eqilibria na Poštovej ulici č. 13. Treba zazvoniť a vojsť do dvora, vydavateľstvo sídli na pravej strane. Cena 5 €.
okay, diky ;)
Quote from: veteran on 10.10.2011, 21:52:34
Skriptá na ML sú už v predaji - dnes od 15:00 - ja som si uchmatol prvý kus ;D
Je to vydavateľstvo Eqilibria na Poštovej ulici č. 13. Treba zazvoniť a vojsť do dvora, vydavateľstvo sídli na pravej strane. Cena 5 €.
chcem len všetkých upozorniť že pracovná doba je len do
16:00
Neviete co bude na zapocte s Myskovou zajtra:)? Teda do ktoreho cvicenia si to mam pozriet, mne sa zda ze prve tri, ale to je neako maloO.o
viacmenej to bude bleskovka, nie započet. za nejaké 3 bodíky asi na 10 minut. tak vravela. takže pravdepodobne to bude 1 prikladik z tych prvych 3 cvík.
thnx:)
1 priklad na 10 minut z 2 alebo 3 cvika, za 3 alebo 4 body, este nevedela br
// dufam ze zajtra sa podelite o skusenosti z pisomky ;D
jasne hned podam hlasenie:) Takze zbytocne som si teraz pocitala prve cviko^^ Inak nevie mi niekto vysvetlit podmienku na asymetrickost binarnej relacie? Lebo sa mi stalo ze mi vyslo ze je symetricka a sucasne aj asymetricka a som si ista ze symetrickost mam spravne
inak neviem ci sa len mne zdalo ale binarne relacie nebudu xDD
nebudú ani na zápočte a ani na skúške....
no zajtra uz viem ze nebudu.. hm takze ked ani na zapocte ani na skuske.. tak z toho vyplyva ze viem genialne narabat so svojim volnym casom.. ked som sa konecne zmohla na matiku tak som si pozrela akurat tie binarne relacie:D
s najvacsou pravdepodobnostou tam bude karnaughova mapa pre 5 premennych, ňe?
Quote from: bEnd3r on 20.10.2011, 04:59:33
s najvacsou pravdepodobnostou tam bude karnaughova mapa pre 5 premennych, ňe?
ja tiez toto ocakavam ze bude, uvidzime ???
ja si skor myslim, ze da spravit nejaku pravdivostnu tabulku a z nej karnaughovu mapu + minimalizaciu ... tam je takmer vsetko zahrnute z 2. a 3. cvika ...
Quote from: ultimate on 20.10.2011, 05:07:07
ja si skor myslim, ze da spravit nejaku pravdivostnu tabulku a z nej karnaughovu mapu + minimalizaciu ... tam je takmer vsetko zahrnute z 2. a 3. cvika ...
no alebo tak, a ked tam bude ta pravd. tab. tak tam isto bude => xDD lebo implikacia je jej najoblubenejsia xDD
stavime sa :beer1:? :D
to by bolo podla mna privela za tolko malo bodov ;D ale tak ktovie
tie mapy sa blbo opravuju, sama hovorila, ze to je tazke opravovat, zato si myslim, ze neda len mapu :D
inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho (nx<=>y) v (n(ny=>z))
{n/negacia}
viem ye spravim tabulku pravdivostnzc odot ale co potom <<
Quote from: esperian on 20.10.2011, 16:23:00
inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho (nx<=>y) v (n(ny=>z))
{n/negacia}
viem ye spravim tabulku pravdivostnzc odot ale co potom <<
Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....
Neake info co bolo na bleskovke u Myskovej?? :)
Quote from: ppeess on 20.10.2011, 16:32:54
Quote from: esperian on 20.10.2011, 16:23:00
inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho (nx<=>y) v (n(ny=>z))
{n/negacia}
viem ye spravim tabulku pravdivostnzc odot ale co potom <<
Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....
A nie náhodou tak, že urobíš pravdivostnú tabuľku a z výslednej funkcie zistíš či je tautológia ? Tautológia je ak budeš mať vo výslednej funkcií samé jednotky(Ak máš samé 0 tak je Kontradikcia), či? :whacko:
Quote from: Rajo on 20.10.2011, 17:28:53
Quote from: ppeess on 20.10.2011, 16:32:54
Quote from: esperian on 20.10.2011, 16:23:00
inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho (nx<=>y) v (n(ny=>z))
{n/negacia}
viem ye spravim tabulku pravdivostnzc odot ale co potom <<
Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....
A nie náhodou tak, že urobíš pravdivostnú tabuľku a z výslednej funkcie zistíš či je tautológia ? Tautológia je ak budeš mať vo výslednej funkcií samé jednotky(Ak máš samé 0 tak je Kontradikcia), či? :whacko:
presne tak :) :thumbs-up:
u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke
so easy? :o bv
Quote from: bEnd3r on 20.10.2011, 20:13:23
u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke
bolo aj nieco teoreticke, napisat poucku alebo nieco take?
Quote from: Tren on 20.10.2011, 21:56:50
Quote from: bEnd3r on 20.10.2011, 20:13:23
u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke
bolo aj nieco teoreticke, napisat poucku alebo nieco take?
nie, cisto jeden priklad na 10 min
tak, len jeden easy priklad bol
Quote from: ultimate on 20.10.2011, 23:30:14
tak, len jeden easy priklad bol
preto to je len za 3 body ap
Toto vraj bolo u Myškovej dnes. Za predpokladu, že som to dobre opísal od tých, čo to už písali a že som to dobre naťukal do compu :D
Sú tam pripísané aj výsledky - skúšal som to počítať. Niekto by to mohol prepočítať a porovnať, či som sa nepomýlil. ;)
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg830.imageshack.us%2Fimg830%2F5118%2Fbleskovka1a.jpg&hash=457007f81bf2877657d957f567e623a1d4c518cf)
V MDT by nestacilo namiesto (negacia x, negacia y, negacia z), dat (negacia x, negacia z) ?
Quote from: paloSK on 21.10.2011, 02:15:25
V MDT by nestacilo namiesto (negacia x, negacia y, negacia z), dat (negacia x, negacia z) ?
nie, pretože tá jednotka sa nachádza na pozícií x=0,y=0,z=0 čo je úplne vlavo hore a tá jednotka nezasahuje do žiadnej premennej čiže musíš všetko znegovať
Quote from: Rajo on 21.10.2011, 03:57:09
Quote from: paloSK on 21.10.2011, 02:15:25
V MDT by nestacilo namiesto (negacia x, negacia y, negacia z), dat (negacia x, negacia z) ?
nie, pretože tá jednotka sa nachádza na pozícií x=0,y=0,z=0 čo je úplne vlavo hore a tá jednotka nezasahuje do žiadnej premennej čiže musíš všetko znegovať
Ja mam tu jednotku uplne vlavo dole.
z
y ---------------
-------------
---------------------------l
l l l l l
l 1 l 0 l 0 l 0 l
l l---------------------------l
x l l l l l l
l l 0 l 0 l 1 l 1 l
l l---------------------------l
mne aspoň vychádza, že mapa vyzerá takto z toho mi vychádza, že si zle určil MKT, tá posledna disjunkcia je z kade? :03:
Quote from: Rajo on 21.10.2011, 04:06:53
z
y ---------------
-------------
---------------------------l
l l l l l
l 1 l 0 l 0 l 0 l
l l---------------------------l
x l l l l l l
l l 0 l 0 l 1 l 1 l
l l---------------------------l
mne aspoň vychádza, že mapa vyzerá takto z toho mi vychádza, že si zle určil MKT, tá posledna disjunkcia je z kade? :03:
hm, tak mne vysla mapa taka: 0110
1000
to su uz len cisla vo vnutry mapy
každemu vyšlo niečo ine, never mind, aj tak to iste nebude >:(
mne to tiež tak vyšlo ;)
0110
1000
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ (http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/)
a máte asi inak umiestnené x, y, z v mape
Quote from: veteran on 21.10.2011, 01:26:30
Toto vraj bolo u Myškovej dnes. Za predpokladu, že som to dobre opísal od tých, čo to už písali a že som to dobre naťukal do compu :D
Sú tam pripísané aj výsledky - skúšal som to počítať. Niekto by to mohol prepočítať a porovnať, či som sa nepomýlil. ;)
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg830.imageshack.us%2Fimg830%2F5118%2Fbleskovka1a.jpg&hash=457007f81bf2877657d957f567e623a1d4c518cf)
Ako mozes mat x+y'+z v UKT a zaroven x.y'.z v UDT ?
spravna mapa je určite (aj mne to tak vyslo):
0110
1000
blbosť....
ano, my ideme podla myskovej systému, teda nie podla normálneho umiestnenia, na ktore su zvyknuty asi elektrotechnici. je to drbnute aj mne to vadi, ale co uz, treba sa to preučiť.
čekol som si to tvoje riešenie Rajo, a aj to je dobré ak ideš podľa "normálneho" systemu. teda že si tam davaš tie čiaročky po bokoch tabulky. ;)
Quote from: orsi on 21.10.2011, 05:26:50
ano, my ideme podla myskovej systému, teda nie podla normálneho umiestnenia, na ktore su zvyknuty asi elektrotechnici. je to drbnute aj mne to vadi, ale co uz, treba sa to preučiť.
čekol som si to tvoje riešenie Rajo, a aj to je dobré ak ideš podľa "normálneho" systemu. teda že si tam davaš tie čiaročky po bokoch tabulky. ;)
SPŠE forewer :beer1:
Quote from: Hessesian on 21.10.2011, 04:57:26
Ako mozes mat x+y'+z v UKT a zaroven x.y'.z v UDT ?
A prečo nie? Veď pri el. konjunkciách neguješ tie premenné, kde máš 0 a pri el. disjunkciách tie, kde máš 1.
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg651.imageshack.us%2Fimg651%2F5118%2Fbleskovka1a.jpg&hash=10f378b4d7e22e33d0e767021e579c7342130c12)
MKT nie je správne, tá posledná disjunkcia je tam úplne zbytočne pretože si už popísal všetky 0...alebo žeby znova nejaký extra Miškovej systém? :D
to nie je žiadny extra systém :D je to tam uplne zbytočne.
Quote from: Rajo on 21.10.2011, 15:07:52
MKT nie je správne, tá posledná disjunkcia je tam úplne zbytočne pretože si už popísal všetky 0...alebo žeby znova nejaký extra Miškovej systém? :D
Ahá, jasné. Až teraz mi došlo. Toto posledné je tam navyše. Ale zasa na druhej strane, nič nechýba :D
a my sme zasa mali zistiť, či je daná formula sémantickým dôsledkom inej formuly :P
inak mna by celkom zaujimalo, ze podla coho urcujeme 1. 2. 3. .... vyrokovu premenu ktoru eliminujeme ?? alebo je to jedno ?
treba najprv vybrat taku, ktora ma hodnotu v jednom riadku aj 0 aj 1...ked si vyberies napriklad taku, ktora nema negaciu, t.j. bude mat hodnotu iba 1, tak nevies urcit rezolventu
cize ak mam take funkcie :
~/negacia
~x v y,....~x v z,....x v y,....~y v x,.....~x v ~y v z
tak je jedno ci ako prve zoberiem x alebo y ?? z-ko nemozem lebo nema negaciu... alebo je potrebne poyerat aj nato kolo 0,1 je mozne danej premennej pridelit... cim viac tym skor tu premennu urcim.
presne tak, je jedno ze ci x alebo y, pozerat kolko 0 a 1 sa da pridelit jednej premennej sa odporuca, pretoze cim menej mas, tym sa to lahsie urci...
diky moc
edit// ale je zaco, uz som ani necakal ze sa niekto najde
you´re welcome ;)
myskova pyta ospravedlnenky?
Co myslite ze bude na pisomke z matiky?:) Zasa som prepocula^^
pisomka ??kedy ?
nam myskova slubila o tyzden z rezolucnej metody.. zase bleskovka za 3b
Quote from: bEnd3r on 02.11.2011, 04:40:31
nam myskova slubila o tyzden z rezolucnej metody.. zase bleskovka za 3b
uz len doplnim ze hovorila o 8. tyzdni
ja som pocula o tyzden^^.. pred tyzdnom.. nic no
mam vo stvrtok 10:50 a minuly tyzden nam hovorila ze nam da o dva tyzdne teda v 8. ..neviem ako v ostatnych skupinach
Quote from: SteLa on 02.11.2011, 05:37:31
ja som pocula o tyzden^^.. pred tyzdnom.. nic no
zle si pocula napriek tomu ze si sedela uplne vpredu :j_rolleyes:
cize ta skupina co ma stvrtok 12:20 tak tiez ma az v 8 tyzdni ? jo ? ci ?
aj my mame v osmom tyzdni z myskovou v piatok, teraz je siedmi takže nic, pohoda :D
Áno, áno, bleskovka s Myškovou je až o týždeň. No stress :)
zdar, takze zajtra piseme s myskovou bleskovku vsak? :D mne sa zdalo ze vravela, ze to bude len z rezolucnej metody...dufam ze som pocul dobre...vie to niekto naisto?
ano bude len z rezolucnej metody
nejake blizsie info k zapoctu nemate?
zevraj nebudu binarne relacie a ani to co bolo na poslednej prednaske
a dobre som pocul ze ma byt na prednaske v 10. tyzdni?
//s myskovou
Ano v 10 tyzdni na prednaske
Sak kazdy rok byvaju tie iste typi prikladov ..... :D
a to su ktore ? :D
chcelo by to prehrabať archív a skopčíť minuloročné zápočty :)
alebo sa učiť :P
Quote from: Cici on 12.11.2011, 03:02:13
alebo sa učiť :P
Co sa chces na logiku ucit? :D
Quote from: bEnd3r on 11.11.2011, 21:29:12
nejake blizsie info k zapoctu nemate?
Co sa týka Myškovej, nebudú binárne relácie, syntax výr. logiky, a rezolučná metóda v predikátovej logike. Nebudú ani žiadne teoretické otázky.
cize tam vlastne dokopy nic nebude :D
Quote from: ultimate on 12.11.2011, 18:17:19
cize tam vlastne dokopy nic nebude :D
tak dačo tam byť musí, ale myslím si, že dať zápočet z tohto bude oveľa jednoduchšie ako zápočet z matiky I.
tak co tam moze dat..... tie uplne tvary, potom minimalizovat, potom tu rezolucnu metodu, potom prepis do predikatovej logiky (alebo z), no a tu substituciu. Asi vsetko nie?
hovorila nieco dnes Myskova na prednaske o zapocte, ze co tam bude ? .. alebo nieco ine dolezite, organizacne a tak ?
Quote from: xxx3 on 16.11.2011, 21:27:34
hovorila nieco dnes Myskova na prednaske o zapocte, ze co tam bude ? .. alebo nieco ine dolezite, organizacne a tak ?
najprv pisu ti co maju cviko vo stvrtok, potom ti co v piatok
na doplnenie: ti co maju cvika vo stvrtok pisu o 10 a piatkajsi o 11
a nepovedala, co tam bude ?
Dobry den,
na zap. pisomke bude od zac. vyrokovej logiky az po semantiku predikatovej
logiky.
S pozdravom
E. Drazenska
takze mam to chapat ze bude aj semantika predikatovej logiky?
Quote from: RiTChi on 12.11.2011, 17:36:02
Quote from: bEnd3r on 11.11.2011, 21:29:12
nejake blizsie info k zapoctu nemate?
Co sa týka Myškovej, nebudú binárne relácie, syntax výr. logiky, a rezolučná metóda v predikátovej logike. Nebudú ani žiadne teoretické otázky.
potom co vlastne bude :D
Quote from: Tren on 17.11.2011, 19:55:16
potom co vlastne bude :D
tiez by som rad vedel :D
Quote from: xxx3 on 17.11.2011, 21:54:13
Quote from: Tren on 17.11.2011, 19:55:16
potom co vlastne bude :D
tiez by som rad vedel :D
ta citam poradne...
Quote from: RiTChi on 13.11.2011, 04:29:20
tak co tam moze dat..... tie uplne tvary, potom minimalizovat, potom tu rezolucnu metodu, potom prepis do predikatovej logiky (alebo z), no a tu substituciu. Asi vsetko nie?
Quote from: darkoooooo on 17.11.2011, 19:52:18
Dobry den,
na zap. pisomke bude od zac. vyrokovej logiky az po semantiku predikatovej
logiky.
S pozdravom
E. Drazenska
takze mam to chapat ze bude aj semantika predikatovej logiky?
semantika uz nebude ;)
Co presne potom bude na zapocte (Myskova)??
Quote from: BlackBerry on 19.11.2011, 18:12:48
Co presne potom bude na zapocte (Myskova)??
Povedala, čo nebude :)
Binárne relácie a syntax VL (modus ponens, tranzitívnosť implikácie, zákon DS, dôkaz sporom atď.).
Na písomke ešte bude úvod do predikátovej logiky (v učebnici kapitola 3.1 - t. j. po stranu 67). Zvyšok už nie.
to tam budu len tie pravdivostne tabulky (zistit ci je tautologia, kontradikcia, splnitelna), minimalizacia funkcie, rezolucna metoda a ta substitucia ?
Quote from: xxx3 on 19.11.2011, 22:06:56
to tam budu len tie pravdivostne tabulky (zistit ci je tautologia, kontradikcia, splnitelna), minimalizacia funkcie, rezolucna metoda a ta substitucia ?
Vyzerá to tak, že "len" toto. ;D
ved to sa ani ucit netreba :D .. to je lahke, ved to je takmer len to, co bolo aj na tych malych pisomkach
Quote from: xxx3 on 19.11.2011, 23:09:37
ved to sa ani ucit netreba :D .. to je lahke, ved to je takmer len to, co bolo aj na tych malych pisomkach
Ono to nie je ani tak o učení, ako o pozornosti. Treba dávať veľký pozor pri nulách a jednotkách a máš to v suchu :)
no hej, len sa nepomylit ... inak to neni tazke ...
nehovorila kolko prikladov bude ?
Quote from: xxx3 on 20.11.2011, 00:22:08
no hej, len sa nepomylit ... inak to neni tazke ...
nehovorila kolko prikladov bude ?
4-5
otazka na starsich: dava Myskova len priklady, ktore sa prepocitali na cviceniach ? Len kus obmenene samozrejme ... niekde som pocul, zevraj hej, neviem ci je to pravda
Niekto šikovný čo by napísal z knihy obsah čo sa vlastne treba učiť ?:D.. 2,1 2,2 napr a tak :)..
Quote from: stephanides on 21.11.2011, 01:41:31
Niekto šikovný čo by napísal z knihy obsah čo sa vlastne treba učiť ?:D.. 2,1 2,2 napr a tak :)..
1.1 (síce tú možno ani nie je treba), 2.1, 2.2, 2.3, 2.4, 2.6, 3.1
to fakt len to ? maš s Myškovou ?
Minuly rok u Drazenskej ako aj myslim u Myskovej boli priklady:
1) pravdivostna tabulka a zistit, ci je M sematickym dosledkom (alebo ci je sematicky ekvivalentna??? neviem ale to v podstate to iste) s S napriklad
2) Minimalny konjunkt. alebo disjunktivny a zadanie bolo v tvare 0011,1100 atd.
3) rezolucna metoda vo vyrokovej logike
4) formula a oznacit vyskyty premmenych (ci je volna, viazana) ci je formula otvorena alebo uzavreta a substituovatelnostou si niesom isty ci bola ale tak to je tiez primitivne.
5) rezolucna metoda predikatovej logiky - no tento rok aspon u Myskovej nebude, kedze sa to nestihlo cele prebrat...
http://imageshack.us/photo/my-images/696/87926069.png (http://imageshack.us/photo/my-images/696/87926069.png)
http://img593.imageshack.us/img593/2193/64551762.png (http://img593.imageshack.us/img593/2193/64551762.png)
http://imageshack.us/photo/my-images/526/21262960.png/ (http://imageshack.us/photo/my-images/526/21262960.png/)
http://img508.imageshack.us/img508/7208/30112010184.jpg (http://img508.imageshack.us/img508/7208/30112010184.jpg)
diky ;)
A nevie niekto ci treba nejaky specialny dvojharok pri Drazenskej??? S nejakou prednou stranou alebo tak nejak..
Quote from: selli1235 on 22.11.2011, 00:30:02
A nevie niekto ci treba nejaky specialny dvojharok pri Drazenskej??? S nejakou prednou stranou alebo tak nejak..
http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Zapocet-ML-(A4).pdf (http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Zapocet-ML-(A4).pdf)
Quote from: Jason Bourne on 21.11.2011, 04:47:27
http://imageshack.us/photo/my-images/696/87926069.png (http://imageshack.us/photo/my-images/696/87926069.png)
druhy priklad nie je zle? ved podla UNKT priradujem do tabulky 0 a nie 1
jj, tiez tak viem
tiež som tam videl chybu
(https://fbcdn-sphotos-a.akamaihd.net/hphotos-ak-snc7/s720x720/376668_2266102060516_1487487227_32141067_1300002609_n.jpg)
niekto šikovný kto by vypočítal tretí príklad s tou rezolučnou metódou? :P mne vyšlo, že je nesplnitelná, na konci mi vyšlo F...a do tabulky som po úprave implikácií a ekvivalencií zapísal 10 formul...
toto je aky test, zapocet od myskovej minuly rok? :)
Rajo vyslo ti to spravne, aj mne vyslo F, ale mal som iba 9 formul...
Axiomy vyrokovej logiky budu ? Modus ponens, zakon Dunsa Scotta a tie vety o tranzitivnosti a pod. ?
+ x v y => t .. to je (x v y) => t alebo x v (y => t) ??
Quote from: Rajo on 22.11.2011, 21:41:59
niekto šikovný kto by vypočítal tretí príklad s tou rezolučnou metódou? :P mne vyšlo, že je nesplnitelná, na konci mi vyšlo F...a do tabulky som po úprave implikácií a ekvivalencií zapísal 10 formul...
aj mne vyslo F ( mam len 9 formul )
Quote from: xxx3 on 22.11.2011, 21:46:10
Axiomy vyrokovej logiky budu ? Modus ponens, zakon Dunsa Scotta a tie vety o tranzitivnosti a pod. ?
+ x v y => t .. to je (x v y) => t alebo x v (y => t) ??
ak dobre viem nie
x v y => t .. to je (x v y) => t alebo x v (y => t) ??
Quote from: xxx3 on 22.11.2011, 21:49:52
x v y => t .. to je (x v y) => t alebo x v (y => t) ??
(x v y) => t
(x v y) => t l=l neg (x v y) v t l=l (negX ^negY) v t l=l (negX v t) ^ (negY v t) ?
Quote from: xxx3 on 22.11.2011, 21:58:46
ano tak to mam, Rajo ... ale odkial mate 9 ci 10 formul ?? Ja mam len 7
to čo som písal vyššie tak v tom máš už hned 2 formuly ... tie disjunkcie 2...dalsie mi vychadzaju takto:
z ^ negT => u v x l=l z ^ (t v u v x) - z je tretia, a (t v u v x) je štvrtá...
z <=> u l=l (z => negU) ^ (negU => z) l=l (negZ v negU) ^ (u v z) - dalsie 2=6
neg (x => u) l=l neg (negX v u) l=l x ^ negU (nerobim tu chybu? tu mám tiež 2 formuly)
negY => u l=l y v u - dalsia
a posledná je samotná, čiže negT ... kde mám chybu ?
Quote from: Rajo on 22.11.2011, 21:58:09
(x v y) => t l=l neg (x v y) v t l=l (negX ^negY) v t l=l (negX v t) ^ (negY v t) ?
spravne
Quote from: Rajo on 22.11.2011, 22:04:54
Quote from: xxx3 on 22.11.2011, 21:58:46
ano tak to mam, Rajo ... ale odkial mate 9 ci 10 formul ?? Ja mam len 7
to čo som písal vyššie tak v tom máš už hned 2 formuly ... tie disjunkcie 2...dalsie mi vychadzaju takto:
z ^ negT => u v x l=l z ^ (t v u v x) - z je tretia, a (t v u v x) je štvrtá...
z <=> u l=l (z => negU) ^ (negU => z) l=l (negZ v negU) ^ (u v z) - dalsie 2=6
neg (x => u) l=l neg (negX v u) l=l x ^ negU (nerobim tu chybu? tu mám tiež 2 formuly)
negY => u l=l y v u - dalsia
a posledná je samotná, čiže negT ... kde mám chybu ?
mas tu dost chyb takze zaradom...tamto si mal spravne..
prvy : (z ^ !T )=> (u v x) l=l !(z^!t) v ( u v x) l=l
!z v t v u v xdruhy: z <=> u l=l (z=>u) ^ (u=>z) l=l
(!z v u ) ^ (!u v z)treti : mas dobre
x ^ negUstvrty : mas dobre
y v u
Jj, Tren to opravil spravne
W(X) ^ W(y) => (pre vsetky x)(x |> y => (existuje y)(y |>x))
a) ci f(x,y) je substituovatelny za y
b) ci f(x,y) je substituovatelny za x
ako to ma byt??
netrvrdim to na 100% ale ja som to zrobil takto:
f f b f b b
W(x) ^ W(y) => (pre vsetky x)(x |> y => (existuje y)(y |>x))
a substituovat mozes len volne vyskyty...
takze po:
a) f(x,y) za y:
f f b f
W(x) ^ W(f(x,y)) => (pre vsetky x)(x |> f(x,y) => (existuje y)(y |>x))
nie je substituovatelny
b) f(x,y) za x:
f f
W(f(x,y)) ^ W(y) => (pre vsetky x)(x |> y => (existuje y)(y |>x))
je substituovatelny
b f b f b f b b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))
tak je? :pusta:
ja by som sa chcel spytat taku teoretickejsiu otazku xDD
kolko pripadov moze nastat pri rez. metede ??
tak laicky povedane,
ak pri poslednej premennej ostane z tej premennej 0 aj 1 - vtedy je system sporny alebo nesplnitelny (F).
ak pri poslednej premennej ostane z tej premennej len jednotka alebo nula, vtedy aj tie premenne ohodnotime- cize system je splnitelny.
a potom ak zistujeme ci je dosledkom niecoho,
tak zase nastane pripad ze ostane v poslednom riadku len 0 alebo 1- co znamena ak ostane 0 a co ak jednotka ?
moze tu este nieco nastat ?
Quote from: Rajo on 22.11.2011, 23:48:29
b f b f b f b b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))
tak je? :pusta:
yep
Quote from: Tux on 23.11.2011, 00:18:35
Quote from: Rajo on 22.11.2011, 23:48:29
b f b f b f b b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))
tak je? :pusta:
yep
a) keď term f(x,y) nahradím za x tak z toho vyplýva že sa y stane viazanou => nie je substituovatelný
b) keď term f(y,a) , a je konštanta, nahradím za y tak sa po dosadeni y nestane viazanou => bude substituovatelný
hejže :D
áno :)
nemohol by niekto vyratať tu rezolucnu metodu, z toho zapoctu co koluje facebookom skupina A. odfotiť a postnuť sem. mne to nevychadza.
mne to vyslo takto za 5 min:
- 7 formul
- poradie ako som bral premenne: s, t, p, q, r
- na r-ko mi vyslo 0
Quote from: Tren on 22.11.2011, 21:48:14
Quote from: Rajo on 22.11.2011, 21:41:59
niekto šikovný kto by vypočítal tretí príklad s tou rezolučnou metódou? :P mne vyšlo, že je nesplnitelná, na konci mi vyšlo F...a do tabulky som po úprave implikácií a ekvivalencií zapísal 10 formul...
aj mne vyslo F ( mam len 9 formul )
9 formúl a F-ko. V podstate stačí aj 7 formúl, nakoľko
neg(z) v u a
z v neg(u) je vlastne tautológia.
A / 4 / c - Niekto má rád všetkých ľudí .... to bude ako ?
takto? (Ex)(Vy)(R(x,y)) ? Ci nie ? / E - existuje, V - pre vsetky
Quote from: orsi on 23.11.2011, 00:45:11
nemohol by niekto vyratať tu rezolucnu metodu, z toho zapoctu co koluje facebookom skupina A. odfotiť a postnuť sem. mne to nevychadza.
mne tam vychádza tautológia ???
aj mne ... ale ked das poradie s, t, p, q, r tak to vyjde riadne .. zaujimave
Quote from: ultimate on 23.11.2011, 01:31:44
aj mne ... ale ked das poradie s, t, p, q, r tak to vyjde riadne .. zaujimave
pri poradi p, s, t, r vychádza 2x za sebou T (q v !q)
Mohol by tu niekto hodiť tú druhú skupinu z FB? Vopred díík ;)
Quote from: ultimate on 23.11.2011, 01:31:44
aj mne ... ale ked das poradie s, t, p, q, r tak to vyjde riadne .. zaujimave
Ja som dal také poradie a vychádza mi 2×tautológia...
http://imageshack.us/photo/my-images/337/fotografia1255.jpg/ (http://imageshack.us/photo/my-images/337/fotografia1255.jpg/)
veteran - riadok s "t" mas zle ... tam ti ostane q v (neg)q v t ... a to je tautologia
// sry, o riadok nizsie mas chybu
Tie posledne dve ulohy z testu na predoslej stranke ale nebudu ne ?
Quote from: ultimate on 23.11.2011, 02:54:51
veteran - riadok s "t" mas zle ... tam ti ostane q v (neg)q v t ... a to je tautologia
No však to tam mám napísané. A pod tým je napísané "T" a pod téčkom tom mám vyškrtané.
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg694.imageshack.us%2Fimg694%2F9229%2Fbeznzvu1a.jpg&hash=770a19fde7914ad1662b91a4c44b320fb2a238b9)
Quote from: Hessesian on 23.11.2011, 03:07:09
Tie posledne dve ulohy z testu na predoslej stranke ale nebudu ne ?
Nie, väčšina skupín to neprebrala na cvičení (kvôli 17.11.)
Ako sa vola ta skupina na FB ? aj ja tam chcem :D
ako vam vysla skupina B (Myskova)?
pamatam len
1. neplati,
3.F
5.a- nie je sub.
5.b- je sub.
Quote from: esperian on 23.11.2011, 20:18:03
pamatam len
1. neplati,
3.F
5.a- nie je sub.
5.b- je sub.
Mne vyšlo detto. :)
tiez mi tak vyslo + doplnim to druhe..ja som mal 4 formuly pre MDT
tak je ;)
má už niekto zapísane výsledky v MAISE ? am
Quote from: Rajo on 28.11.2011, 05:49:04
má už niekto zapísane výsledky v MAISE ? am
Vysledky nemaju byt v maise.
Quote from: paloSK on 28.11.2011, 05:58:40
Quote from: Rajo on 28.11.2011, 05:49:04
má už niekto zapísane výsledky v MAISE ? am
Vysledky nemaju byt v maise.
No, ja viem tak, že by sa tam mali objaviť "po víkende". Čo je síce dosť široký pojem, ale lepšie ako nič. ;D
Tak dnes som dačo počul, vraj už sú ľudia čo to majú v MAISe a majú Draženskú. Je to pravda? Som nervózny čakať do piatku ;D
Quote from: Domino_666 on 29.11.2011, 03:25:59
Tak dnes som dačo počul, vraj už sú ľudia čo to majú v MAISe a majú Draženskú. Je to pravda? Som nervózny čakať do piatku ;D
ja mam drazensku a este nemam nic
teraz som pozeral do maisu a uz tam su zapisane body za zapocet :)
pochvalte sa ;)
to zvlášť bude Draženská zapisovať body za písomku a body za bleskovky ?
Quote from: Rajo on 29.11.2011, 22:23:55
to zvlášť bude Draženská zapisovať body za písomku a body za bleskovky ?
v poznámke je že sú to body za písomku takže asi áno
bude ešte budúci týždeň cvičenie ?
A kebyže je, a je to posledné a neprídem naňho, tak musím niekedy potom odniesť Myškovej ospravedlnenku alebo niečo ? Lebo v stredu nemám nič, keďže na prednáške sa píše opravný zápočet a tam sa nechystám, a vo štvrtok mám len ML cviko, tak kvôli tomu jednému cviku sa mi nechce ostávať v KE do štvrtku ... nepamätáte sa niekto čo hovorila ohľadne absencií na začiatku semestra ? Či chce ospravedlnenky ?
Quote from: xxxx on 03.12.2011, 00:13:13
bude ešte budúci týždeň cvičenie ?
A kebyže je, a je to posledné a neprídem naňho, tak musím niekedy potom odniesť Myškovej ospravedlnenku alebo niečo ? Lebo v stredu nemám nič, keďže na prednáške sa píše opravný zápočet a tam sa nechystám, a vo štvrtok mám len ML cviko, tak kvôli tomu jednému cviku sa mi nechce ostávať v KE do štvrtku ... nepamätáte sa niekto čo hovorila ohľadne absencií na začiatku semestra ? Či chce ospravedlnenky ?
unas kto zatial chybal kazdy nosil ospr. tiez som raz chybal a odniesol som a potom zapisala ze som ukazal, inak cviko bude normalne este v 12. tyz.
bol za nou lebo som nebol na jednom cviku a ani som si ho nenanhradil, tak povedadla ze ak mam len jednu hodinu vynechanu takto tak je to OK a ze to neriesi, ani ospravedlnenku nechcela...
Quote from: xxxx on 03.12.2011, 00:13:13
bude ešte budúci týždeň cvičenie ?
A kebyže je, a je to posledné a neprídem naňho, tak musím niekedy potom odniesť Myškovej ospravedlnenku alebo niečo ? Lebo v stredu nemám nič, keďže na prednáške sa píše opravný zápočet a tam sa nechystám, a vo štvrtok mám len ML cviko, tak kvôli tomu jednému cviku sa mi nechce ostávať v KE do štvrtku ... nepamätáte sa niekto čo hovorila ohľadne absencií na začiatku semestra ? Či chce ospravedlnenky ?
Vyhovor sa, že si musel z rodinných dôvodov odcestovať. Alebo niečo podobné. Funkčnosť výhovorky je overená skúsenosťami ;)
alebo povedz, ze si bol odcestovaný pracovne :puf:
zapocet spolu 23,5 b ;D pochvalte sa ludkovia.
Quote from: orsi on 03.12.2011, 16:58:49
zapocet spolu 23,5 b ;D pochvalte sa ludkovia.
Zápočet spolu 22 b.
28 :bannana_guitar: :buttrock: :ropebanana:
29,5 :P
Pocujte, vy, co mate s Drazenskou matematiku a planujete ist na predtermin. Nespominala nahodou, ze predtermin bude v 13. týždni namiesto prednášky? (14.12). Lebo pozeram teraz do MAISU a tam je uz vypisany predtermin, ale na 7.12. Takze ako to vlastne teraz je, neviete niekto?
kde tam mas napisane, ze je to predtermin ?
Quote from: Stardox on 04.12.2011, 01:02:18
Pocujte, vy, co mate s Drazenskou matematiku a planujete ist na predtermin. Nespominala nahodou, ze predtermin bude v 13. týždni namiesto prednášky? (14.12). Lebo pozeram teraz do MAISU a tam je uz vypisany predtermin, ale na 7.12. Takze ako to vlastne teraz je, neviete niekto?
Vtedy by mal byt opravny zapocet ak sa nemylim...???
Quote from: xxx3 on 04.12.2011, 01:03:16
kde tam mas napisane, ze je to predtermin ?
Praveze nikde, co si o tom myslis?
Quote from: Stardox on 04.12.2011, 01:33:10
Quote from: xxx3 on 04.12.2011, 01:03:16
kde tam mas napisane, ze je to predtermin ?
Praveze nikde, co si o tom myslis?
zatial tam neni vypisany predtermín, to čo tam je (7.12 13:10) je iba opravny zápočet...ale tiež sa mi niečo marí že spomínala že predtermín bude v 13tom tyzdni na prednáške...ale určite to hodí na net nasledujuci týždeň
ked neviete presne co ten termin znamena tak ked si ho otvorite a mysku polozite na ten datum terminu tak ukaze vam nejaky popis, a ano je to opravny zapocet s Drazenskou :)
U Draženskej:
1.) tí, čo chýbali počas niektorej bleskovky (musia to mať ospravedlnené) si môžu tú bleskovku napísať v stredu po prednáške
2.) opravný zápočet sa píše v stredu o 13:00 v ZP4
3.) musíte mať hodiny ospravedlnené (ospravedlnenky) pretože vám inak Draženská nedá zápočet, aj keď máte 30 bodov zo zápočtu ;-)
Na opravaku maju byt take iste typy prikladov ako bolo na riadnom termine??
Quote from: BlackBerry on 06.12.2011, 02:42:46
Na opravaku maju byt take iste typy prikladov ako bolo na riadnom termine??
netuším čo iné by mohli dať...len to isté
zdar, v maise je termin od myskovej, to bude asi ten predtermin, vsak? :D 14.12
je 50 miest a 20 obsadenych, takze kto chce ist tak nech prihlasi :D
Quote from: matotv on 06.12.2011, 06:34:11
zdar, v maise je termin od myskovej, to bude asi ten predtermin, vsak? :D 14.12
je 50 miest a 20 obsadenych, takze kto chce ist tak nech prihlasi :D
ano predtermin, upozornujem na cas, ktory je tam uvedeny, ak by niekto nevedel, je to BLBY cas, bude skuska normalne na prednaske, len system nedovoluje skusku + prednasku na rovnaky cas koli kolizii ;)
Myskova opravny : Kedy a kde je opravny zapocet??...ak sa dobre pamatam obidve skupiny budeme spolu aj Drazenska a aj Myskova...len pre istotu sa spytam :)
Quote from: BlackBerry on 06.12.2011, 22:19:05
Myskova opravny : Kedy a kde je opravny zapocet??...ak sa dobre pamatam obidve skupiny budeme spolu aj Drazenska a aj Myskova...len pre istotu sa spytam :)
Myskova ZP1 o 10:00, Drazenska ZP4 o 13:10.
co vsetko treba vediet z teorie na skusku ? (predtermin)
Quote from: xxx3 on 09.12.2011, 02:34:34
co vsetko treba vediet z teorie na skusku ? (predtermin)
asi zalezi aj od vyucujucej, koho mas?
Myskova
tak co bolo prebrane na prednaske, ja som si nieco podciarkoval nadpisi a cisla ta take neico by malo stacit
nehovorila nic o predtermine blizsie, ze co by tam mohlo byt ?
zajtra sa jej spytam, mam cviko zajtra a napisem potom co som z nej vytiahol ;D
u Myskovej , binarne relacie nebudu, a co na psolednej porednaske bolo, tak cca bude co na zapocte + teoria, 50/50 bude asi teria/priklady
co bolo na poslednej prednaske to nebude ? Rezolucna metoda v predikatovej logike teda nebude ?
Quote from: xxx3 on 09.12.2011, 17:27:02
co bolo na poslednej prednaske to nebude ? Rezolucna metoda v predikatovej logike teda nebude ?
bude (že vraj aj s Dreženskou aj keď sa to neprepočítalo)
tak co potom z poslednej prednasky nebude ?
potom neviem, ked tam pise Cici, mozno este niekto napise
Draženská - oprávak zapísaný v MAISe (teda aspoň ja) . . .
Quote from: M4D4 on 11.12.2011, 02:12:45
Draženská - oprávak zapísaný v MAISe (teda aspoň ja) . . .
A mas uz aj s bleskovkami ci bez?
no, pochybujem, že som mal 25 bodov zo zápočtu, takže asi áno, s bleskovkami ;-)
bez toho si nemohol mat, zapoctovka bola 24 bodova
Quote from: Tux on 11.12.2011, 15:53:28
bez toho si nemohol mat, zapoctovka bola 24 bodova
veď preto som napísal, že pochybujem ;-)
Dobry den,
posielam Vam nejake mozne otazky. Samozrejme, nemusia byt presne rovnake
otazky, su to skor nejake typy otazok. Body si nevsimajte.
H. Myšková
http://oktava.revuca.net/B2/ZS2/ml/Teoria.pdf (http://oktava.revuca.net/B2/ZS2/ml/Teoria.pdf)
zdar, ma niekto vypocitane tieto priklady? :D
http://www.uloz.to/11714346/d-jpg (http://www.uloz.to/11714346/d-jpg)
to je minulorocna skuska?
Quote from: xxx3 on 12.12.2011, 23:02:53
to je minulorocna skuska?
neviem ci minulorocna, ale niekde v archive som to nasiel...
Nie to nie je minulorocna :D ........... tento obrazok je uz X rokov stary :D .... ale nieco taketo sa moze vyskytnut ale my sme mali z toho tak asi ten prvy priklad :D .... ale predtermin je jednoduchy :D
netreban a skusku vytlacit nieco na dvojharok ako pri MAT 1 ?
Quote from: Fanky on 13.12.2011, 16:18:19
netreban a skusku vytlacit nieco na dvojharok ako pri MAT 1 ?
Áno, treba: http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Skuska-ML-%28A3%29.pdf (http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Skuska-ML-%28A3%29.pdf)
Quote from: ppeess on 13.12.2011, 02:58:32
Nie to nie je minulorocna :D ........... tento obrazok je uz X rokov stary :D .... ale nieco taketo sa moze vyskytnut ale my sme mali z toho tak asi ten prvy priklad :D .... ale predtermin je jednoduchy :D
asi si uz nepamatas ze co cca ste mali, ci ? alebo nemas nejaky obrazok z min. roka :D ;D ?
Quote from: veteran on 13.12.2011, 16:24:53
Quote from: Fanky on 13.12.2011, 16:18:19
netreban a skusku vytlacit nieco na dvojharok ako pri MAT 1 ?
Áno, treba: http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Skuska-ML-%28A3%29.pdf (http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Skuska-ML-%28A3%29.pdf)
diky
Otazky ktore boli na predtermine s Drazenskou minuly rok:
Teoria:
1.Definuj literal, elementarnu konjunkciu, elementarnu disjunkciu, DNT, KNT. Uved priklad na formulu v DNT a na formulu v KNT
2. Co je dokaz vo vyrokovej logike. Vysvetlite, kedy je formula G bezprostredným dosledkom F1,F2 .... Fn.
3. Napiste pravidlo rezolucie a rezolucny princip. Na priklade vysvetlite rezolucny uzaver mnoziny T.
4. Uvedte jazyk predikatovej logiky. Uvedte logicke a specialne symboly.
5. Co je term. Bola dana formula, a trebalo rozhodnut, ci je mozne uvedeny term t substituovat za premennu.
6. Vypiste axiomy a odvodzovacie pravidla predikatovej logiky v teorii bez rovnosti.
Priklady:
1. Dana boolovska funkcia, najst minDNT – vyrokova logika
2. Zistit, ci mnozina formul S je splnitelna. – vyrokova logika
3. K danym formulam predikatovej logiky priradit spravne vety (Boli uvedene formuly aj vety). – predikatova logika
4. Upravit formulu na klauzularny tvar. – predikatova logika
5. Zistit, ci formula fi je sematickym dolsedkom mnoziny formul S. – predikatova logika
Znenia su len priblizne, aby ste mali zhruba sajnu, co bolo. Bol este jeden priklad, ale neviem aky.
kolko bodov prilepsuje Myskova na predtermine? :D
Quote from: Tren on 14.12.2011, 01:06:37
kolko bodov prilepsuje Myskova na predtermine? :D
dobra otazka :D
btw. idete v obleku ? :D
Quote from: xxx3 on 14.12.2011, 01:29:35
Quote from: Tren on 14.12.2011, 01:06:37
kolko bodov prilepsuje Myskova na predtermine? :D
dobra otazka :D
btw. idete v obleku ? :D
ja neidem v obleku..
ani ja, nemam ho na intraku este :D
ani sa som sa nechystal, len ci nehcete zaposobit na Myskovu :D
Quote from: xxx3 on 14.12.2011, 01:40:26
ani sa som sa nechystal, len ci nehcete zaposobit na Myskovu :D
to je jedno teraz, mozno na vyhodnoteni by uz bodlo :D
a to vyhodnotenie bude hned v stredu ?
nemyslim, potom by som tiez nemal oblek :D 45 pisomiek neopravy za den si myslim, mozno o den neskor alebo neviem
uloha: pouzite vetu o dedukcii na nasledovne:
Bude pršat.
Zoberiem si dáždnik.
Nezmoknem.
ako to bude?
Quote from: esperian on 14.12.2011, 01:59:26
a to vyhodnotenie bude hned v stredu ?
Ti sibe :D ..... tusim sa to dozviete asi az cez prazdniny :D
Quote from: esperian on 13.12.2011, 19:08:10
Quote from: ppeess on 13.12.2011, 02:58:32
Nie to nie je minulorocna :D ........... tento obrazok je uz X rokov stary :D .... ale nieco taketo sa moze vyskytnut ale my sme mali z toho tak asi ten prvy priklad :D .... ale predtermin je jednoduchy :D
asi si uz nepamatas ze co cca ste mali, ci ? alebo nemas nejaky obrazok z min. roka :D ;D ?
nemam nic ...... ale co si mate pamatam tusim ze chalani hovorili ze to bolo o nieco tahsia zapoctovka ci tak neak :D
takze nieco take ze vyhodnotenie nebude? nejake prilepsenia ked chyba nam malo bodov k lepsej znamke? :)
este nemate na Maise vysledky? kto bol na predtermine a cviko ma s Myskovou vo stvrtok?
nem nemam este
nestresuj :D... na zaciatku hovorila ze mozno ked bude stihat tak bude mat stvrtok vecer, a najpravdepodobnejsie je, ze da az v piatok..
Ahoj, je tu niekto kto ma cvicenie v piatok o 9:10 s Drazenskou? potreboval by som opisat alebo prefotit cvicenie z minuleho tyzdna. Najlepsie na Jedlikovej 9 ale prisposobim sa :)
čo to spomínala minule Draženská ? že tento týždeň nemusíme prísť na cviko ? že nebude robiť prezenčku ? dačo take si pamätám, že nech prídu len tí, čo majú nejaké nejasnosti...
stvrtkove skupiny este stale nic na MAISe? >:( skupiny Drazenskej uz maju.
stale nic
shit...
na cvika doniesla testy? (na stvrtkove...)
Mysková dala na MAIS vysledky z predterminu
sakra som myslel ze bude lepsie :D :D
co mas ? :D
neviete co hovorila o tom preskusani? kedy mozme prist? a hovorila iba o tom ze si ich mozme prist pozriet alebo nam da moznost si aj prilepsit nejaky bodik?
Quote from: xxx3 on 16.12.2011, 04:31:31
co mas ? :D
D ako debil xDD :D a ty ako ? ci si nebol ?
Quote from: luko on 16.12.2011, 04:32:08
neviete co hovorila o tom preskusani? kedy mozme prist? a hovorila iba o tom ze si ich mozme prist pozriet alebo nam da moznost si aj prilepsit nejaky bodik?
čo máš B 90% a chceš A ? :D
mne sa zdá, že nehovorila nič o doskúšaní, len hovorila, že keby sme boli nespokojní a chceli by sme vidieť písomku, tak že môžme prísť ... nepamätám sa síce kedy, ale myslím, že utorok spomínala ... ale neverím, žeby bola taká, žeby nedala možnosť prilepšiť si 1-2 body .. možno aj viac ;) .. však mne minulý rok Buša až 6 bodov pridal po dodatočnej úlohe, podla mňa aj Myšková by bola toho schopná :D
Ma A 91 a chce ciste A :D
D a chcel som B :D
čo ste mali na predtermíne? ešte si to niekto pamätá? :D Ak hej, napíšte ;)
teoria co si pametam : veta o dedukcii, abeceda predikatovej logiky, odvodzovacie pravidla a axiomy vo vyrokovej logike, nejaky priklad + definicia modus ponens, priklady na zakon dunsa scota, nejake take zakladne veci..otazky skor z vyrokovej logiky, z predikatovej bola len ta na abecedu nic ine..
priklady: len zakladne ale uz ani neviem co bolo :D ked si spomeniem tak dopisem, alebo niekto iny
Vysvetlite, čo rozumieme pod pojmom formula A vyplýva zo systému formúl T (T |= A). Z definície (nie pomocou rezolučnej metódy) rozhodnite, či platí p => q, p v q |= p ^ q.
Uveďte axiómy a odvodzovacie pravidlá výrokovej logiky. Uveďte príklad na aplikáciu odvodzovacieho pravidla.
Vyslovte vetu o tranzitívnosti implikácie a zákon Dunsa Scotta. Ku každej vete uveďte príklad z bežného života, kde bude správne použitá.
Definujte abecedu jazyka predikátovej logiky, rozdeľte symboly na logické a špeciálne.
Vyslovte vetu o dedukcii v predikátovej logike.
Definujte viazaný a voľný výskyt premennej, uzavretú a otvorenú formulu predikátovej logiky. Napíšte príklady troch formúl s aspoň tromi premennými: uzavretej, otvorenej a formuly, ktorá nie je uzavretá ani otvorená.
Definujte pojmy z výrokovej logiky: literál, elementárna konjunkcia a disjunkcia, disjunktívny normálny tvar (DNT) a konjunktívny normálny tvar (KNT). Napíšte úplný konjunktívny normálny tvar foolovskej funkcie F(x,y,z), ktorá nadobúda hodnotu 0 v argumentoch 010, 001, 110, 100.
Vysvetlite pojmy: formula dokázateľná zo systému predpokladov T, formula vyvrátiteľná zo systému predpokladov T, sporný systém formúl, konzistentný systém formúl.
Vyslovte vetu o neutrálnej formule a vetu o dôkaze rozborom prípadov. Ku každej vete uveďte príklad z bežného života, kde bude správne použitá.
Uveďte axiómy a odvodzovacie pravidlá predikátovej logiky v jazyku bez rovnosti.
Vyslovte vetu o úplnosti v predikátovej logike.
Vysvetlite, čo rozumieme pod pojmom: formula je splnená v štruktúre M. Napíšte príklady formuly s dvomi premennými, ktorá je splnená a formuly, ktorá nie je splnená v štruktúre M pre jazyk príbuzenstva, ak univerzom je rodina pozostávajúca z matky, otca, dcéry a syna. Napíšte interpretácie predikátových symbolov v danej štruktúre.
mnoze mi tu niekto PROSIIIM oskenovat cviko u Myskovej z 24.11. a posledne cviko?^^ budte taki dobriii^^
Dobrá duša, ktorá by vedela povedať všetky okruhy, kt. sa prebrali u Draženskej na prednáške a budú určite na skúške?
a čo sa vyskytlo z príkladov na predtermíne? čo môžeme očakávať ? niečo podobne ako na zápočte+predikátová logika ?
u Myskovej na predtermine bolo z definicie urcit, ci jeden system je semantickym dosledkom druheho (spravis tabulku), pomocou rezoluznej metody urcit tiez, ci je semantickym dosledkom, potom nejake tie zapisy pomocou jazyka pribuzenstva a take tie, ze hudobnici, maliari a podobne veci, z predikatovej logiky este tam bolo napisat klauzularny tvar (spravit prenexny tvar, skolemizaciu a tie veci ..)
.. len co sa pocitalo na cvikach ...
žiadna mapa, NKT, ÚNDT, MDT, ... ?
hej, este aj to ... bolo take, kde bolo 5 premennych
3.26 e,f ... vie niekto hodiť postup ?
Nema niekto vypracovanu 10. otazku z pdfka teorie konkretne z casti predikatova logika? nie je mi jasna interpretacia konkretneho prikladu. Prosiim
Koľká snaha o tento predmet :emot-dance:
nj.. tak diki za pomoc^^
Mam otazku ohladom prenexneho tvaru formuly. Dajme tomu, ze dostanem formulu, ktora pozostava z nejakych podformul, medzi ktorymi su spojky V a ^ a kazda ma nejaky kvantifikator pred sebou. V akom poradi vyberam tieto kvantifikatory dopredu ak su vsetky rovnako hlboko vnorene?
Lebo potom pri skolemizacii vychadzaju vzdy ine formuly, podla toho v akom poradi su kvantifikatory.
(Tajne ocakavam, ze to je jedno)
ked mas napr. (x v y) (Ex)(Vy)(Ez)(x v y v z) tak tie tri kvantifikatory musis vybrat dopredu v takom istom poradi v akom su, vlastne vzdy, aj ked nie su rovnako vnorene na rovnakej urovni ajtak musis tie kvantifikatory vyberat v takom poradi v akom su z lava, nemozes ich prehadzovat
Myslel som ked mas pred kazdou podformulov prave jeden kvantifikator. Napriklad [(Ex)(x v y) ^(Vy)(x v y v z)].
tak ich vyberas v takom poradi v akom su z lava, cize najskor vyberies (Ex) potom (Vy) .. ze budes mat pred celym vyrazom (Ex)(Vy)[...]
a už máme verdikt na MAIS-e slečny :beer1:
E51 ;D bu :evica: bp
nema niekto prefotene/prepisane zadania?:)
Mal by som takúto otázočku:
Ide o tretiu úlohu, čo bola na skúške u Myškovej - rezolučná metóda, tá s dovolenkármi... Urobím rezolučnú metódu a na záver dopíšem tie šípky. Ako z toho potom zistím aspoň jedno zloženie účastníkov výletu? ???
Quote from: veteran on 09.01.2012, 19:20:33
Mal by som takúto otázočku:
Ide o tretiu úlohu, čo bola na skúške u Myškovej - rezolučná metóda, tá s dovolenkármi... Urobím rezolučnú metódu a na záver dopíšem tie šípky. Ako z toho potom zistím aspoň jedno zloženie účastníkov výletu? ???
Ked spravis ohodnotenie...a kde budes mat 1 napr(danka a janka)...potom na vylet pojde danka a janka
Vie sem niekto hodit vypocitany priklad z knihy 3.33 ? Typu "kazde dozrete jablko je zdrave - nie kazde cervene jablko je zdrave | nie kazde cervene jablko je dozrete " ?
Neviem stym pohnut... potreboval by som vidiet vypocitany priklad
Quote from: BlackBerry on 09.01.2012, 23:51:53
Quote from: veteran on 09.01.2012, 19:20:33
Mal by som takúto otázočku:
Ide o tretiu úlohu, čo bola na skúške u Myškovej - rezolučná metóda, tá s dovolenkármi... Urobím rezolučnú metódu a na záver dopíšem tie šípky. Ako z toho potom zistím aspoň jedno zloženie účastníkov výletu? ???
Ked spravis ohodnotenie...a kde budes mat 1 napr(danka a janka)...potom na vylet pojde danka a janka
Dík :) :beer1:
Quote from: Hessesian on 10.01.2012, 05:49:12
Vie sem niekto hodit vypocitany priklad z knihy 3.33 ? Typu "kazde dozrete jablko je zdrave - nie kazde cervene jablko je zdrave | nie kazde cervene jablko je dozrete " ?
Neviem stym pohnut... potreboval by som vidiet vypocitany priklad
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg850.imageshack.us%2Fimg850%2F7316%2Fml333d.jpg&hash=9a06fb30d84d29765bd42595e39aae1a468bf2a7)
ako si dostal z V(x)(negP(x) v negZ(x)) klauzulu D ?
Quote from: Hessesian on 10.01.2012, 21:22:21
ako si dostal z V(x)(negP(x) v negZ(x)) klauzulu D ?
Nejak extra dobre tomu nerozumiem, ale tak sme to robili na cvičení. Odstránili sa tie dve negácie a z (P(x)' ∨ Z(x)') vzniklo (P(x) ∧ Z(x)). No a ešte sa zamenila premenná x za y (ale prečo sa to robí, neviem ???).
Po dlhsom dumani som to pochopil :D Je tam vela sraciek okolo toho, ale princip pri takychto ulohach je zda sa jednoduchy.
To pod ciarou sa zneguje, odignoruju sa kvantifikatory a premenne vo vnutri, a ked ma kazda formula niekde negaciu, tak je usudok spravny, a ked daco nema svoju negaciu, je usudok nespravny :P tj P'vZ, Z', P, kazde ma svoju negaciu tympadom je usudok spravny... Ale normalne to clovek vysvetlene v ucebnici nenajde...
Quote from: Hessesian on 10.01.2012, 21:50:24
Po dlhsom dumani som to pochopil :D Je tam vela sraciek okolo toho, ale princip pri takychto ulohach je zda sa jednoduchy.
To pod ciarou sa zneguje, odignoruju sa kvantifikatory a premenne vo vnutri, a ked ma kazda formula niekde negaciu, tak je usudok spravny, a ked daco nema svoju negaciu, je usudok nespravny :P tj P'vZ, Z', P, kazde ma svoju negaciu tympadom je usudok spravny... Ale normalne to clovek vysvetlene v ucebnici nenajde...
Obávam sa, že tvoja teória nie je správna :D Úsudok je správny, ak na konci neodvodíme nijakú rezolventu (resp. odvodíme prázdnu rezolventu -
F).
Pozri príklad 3.33 f)
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg85.imageshack.us%2Fimg85%2F1663%2Fml333f.jpg&hash=ec165598614a9dae2e8a901a2fadd550f9162bb0)
Jakze neni spravny, ved prave to ze odvodime prazdnu rezolventu, tj ked sa pozries na ten zapis, mas tam neg F(x) a v C: F(b), potom mas F(o(x)) a neg F(o(x)), staci to vyskrtat a ak ti nic nezostane, tak je usudok spravny :P Ostatne je uz len formalny zapis
Quote from: Hessesian on 10.01.2012, 22:26:35
Jakze neni spravny, ved prave to ze odvodime prazdnu rezolventu, tj ked sa pozries na ten zapis, mas tam neg F(x) a v C: F(b), potom mas F(o(x)) a neg F(o(x)), staci to vyskrtat a ak ti nic nezostane, tak je usudok spravny :P Ostatne je uz len formalny zapis
Jaj taáák. Už som pochopil, čo myslíš ;) Ale si si to riadne zjednodušil :D Napíš jej aj do teórie "tam toto vyškrtáme a keď nič nezostane..." :D Ja som tak podobne nematematicky napísal odôvodnenie na zápočtovke a uznala mi ho :D
nevie niekto, kto bol dnes na skuske, kedy a kde je zajtra vyhodnotenie?
Quote from: kepasa on 18.01.2012, 19:34:14
nevie niekto, kto bol dnes na skuske, kedy a kde je zajtra vyhodnotenie?
12.00 katedra matematiky