TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2011/2012 => 2. ročník => Topic started by: RiTChi on 23.09.2011, 14:01:09
-
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 :)
-
Ja ju asi mam :) ..... a tusim ze mam aj to co bude na skuske :)
tak nevahaj a urob co ti kaze studentske srdce ;D ;)
-
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 ;)
-
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
-
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
-
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 :)
Tren nám to tu už hodil, a neprepisoval by som to ja ale OCRko :D
aj to je riesenie, cvak ;D
-
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.
-
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?
-
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
-
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?
-
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:
-
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
-
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
-
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 ;)
-
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?
-
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 ...
-
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 <<
-
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?? :)
-
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:
-
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
-
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?
-
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
-
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) ?
-
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ť
-
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:
-
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
-
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. ;)
-
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:
-
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.
-
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?
-
myskova pyta ospravedlnenky?
Áno.
-
myskova pyta ospravedlnenky?
Áno.
ale nebaziruje natom az tak :)
-
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
-
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
-
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
-
alebo sa učiť :P
Nesranduj :laugh:
-
alebo sa učiť :P
Co sa chces na logiku ucit? :D
-
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
-
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 ?
-
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?
-
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
-
potom co vlastne bude :D
tiez by som rad vedel :D
-
potom co vlastne bude :D
tiez by som rad vedel :D
ta citam poradne...
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?
-
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)??
-
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 ?
-
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
-
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 ?
-
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 :)..
-
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..
-
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)
-
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) ??
-
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 )
-
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) ??
-
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) ?
-
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 ?
-
(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
-
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 x
druhy: z <=> u l=l (z=>u) ^ (u=>z) l=l (!z v u ) ^ (!u v z)
treti : mas dobre x ^ negU
stvrty : 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 ?
-
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
-
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
-
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
-
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
-
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 ;)
-
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 ?
-
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)
-
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.
-
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
-
má už niekto zapísane výsledky v MAISE ? am
Vysledky nemaju byt v maise.
-
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
-
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 ?
-
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 ?
-
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...
-
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.
-
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 ?
-
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...???
-
kde tam mas napisane, ze je to predtermin ?
Praveze nikde, co si o tom myslis?
-
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??
-
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
-
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 :)
-
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)
-
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 ?
-
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) . . .
-
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
-
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?
-
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 ?
-
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)
-
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 ?
-
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
-
kolko bodov prilepsuje Myskova na predtermine? :D
dobra otazka :D
btw. idete v obleku ? :D
-
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
-
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?
-
a to vyhodnotenie bude hned v stredu ?
Ti sibe :D ..... tusim sa to dozviete asi az cez prazdniny :D
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?
-
co mas ? :D
D ako debil xDD :D a ty ako ? ci si nebol ?
-
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? ???
-
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
-
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:
-
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 ?
-
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...
-
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
-
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?
-
nevie niekto, kto bol dnes na skuske, kedy a kde je zajtra vyhodnotenie?
12.00 katedra matematiky