TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2010/2011 => 2. ročník => Topic started by: ursus on 28.09.2010, 02:51:40
-
hey blokes and birds ;D
neviete naaahodou kde su skripta z ML? thx
-
a koho mas na prednaskach ?
-
tak mal by som mat drazensku ale bol som u myskovej, to je hadam jedno nie?
-
myskova este nema spracovane veci v elektronickej forme, aspon minuly rok nemala, mozno uz ma tak ju popros ci ti to neposle na mail ;)
-
Ja som bol u Draženskej na prednáške a ona povedala že skriptá ešte nie su (píše ich spolu s Myškovou) ale posnažia sa aby ich stihli aj s recenziou do skúškového obdobia. Príklady sú vraj na stránke katedry ale ja som tam našiel len príklady s diskretnej matematiky (predchodca ML) no ale tam sa zhoduje možno jedna kapitola. ???
-
hm, a toto co nam projektoruje je hadam schopne, okej idem pekne poprosit ;D
-
prednasky http://www.sendspace.com/file/jpw9ri (http://www.sendspace.com/file/jpw9ri)
-
citro: super diky :)
-
Matematicka logika scripta z 2007
http://stargate.cnl.tuke.sk/~klimek/skola/ml/FEI-ML-skripta.pdf (http://stargate.cnl.tuke.sk/~klimek/skola/ml/FEI-ML-skripta.pdf)
-
http://www.sendspace.com/file/8gcyxe (http://www.sendspace.com/file/8gcyxe)
5 stranova zbierka yea, but whatever ;)
-
neskenol (alebo nenafotil) by niekto od Myskovej (najlepsie piatkova skupina 7:30 :D ) minulotyzdnove cviko + zadanie domacej ak bola?
-
OT. pre skupiny s Myškovou: Kedy a ako má byť zápočet? (sa mi zdá že 8-9t, ale 9t prednáška asi nebude vychádza to na 17násteho). Píše sa to vôbec na cviku či na prednáške?
-
co je na tom OT? :D
-
OT. pre skupiny s Myškovou: Kedy a ako má byť zápočet? (sa mi zdá že 8-9t, ale 9t prednáška asi nebude vychádza to na 17násteho). Píše sa to vôbec na cviku či na prednáške?
V 9. týždni na cvičeniach.
-
co je na tom OT? :D
^ Toto je OT.
<-- A toto. :puf:
-
co je na tom OT? :D
^ Toto je OT.
<-- A toto. :puf:
Ach vy spameri!!! :D
-
kto vie ake budu otazky na zapocte s drazenskou dava taka iste priklady co sme ratali na cviku alebo ako dik
-
kedy je vobec zapich s drazenskou ?
-
kedy je vobec zapich s drazenskou ?
v 9 tyzdni :D na cviku
-
zdravim vas tu mate link na prednasky
http://www.uloz.to/6513173/matematika-prednasky-zip (http://www.uloz.to/6513173/matematika-prednasky-zip)
-
Skenoval som poznamky pre spoluziakov, tak mozno sa zidu aj niekomu z vas.
PS: Matiku mam z Drazenskou
http://www.ulozto.sk/6538449/matematika-rar (http://www.ulozto.sk/6538449/matematika-rar)
-
Nema niekto zbierku z ML ? Nechce sa mi pisat Myskovej :D
-
vie niekto ktore typy prikladov budu na zapocte pri myskovej ???
-
vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...) vo VL a PL a okrem binarnych relacii
-
vsetko ohladom druhakov Inf..cize skripta, a taketo veci najdete na ftp na intraku 192.168.170.4 ...uploudujte vsetko co je treba :) a je tam aj ZBIERKA Z ML ( PREDIKATOVA A VYROKOVA LOGIKA ) 8)
-
:baaa: nevie nahodou nikto ake boli priklady na zapocte minuly rok?????? :beer1:
-
karnaughove mapy ci jak sa to pise budu na milionsestotisic percent :D
-
neveite niekto, či bude u Draženskej aj sémantika predikátovej logiky?
-
vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...) vo VL a PL a okrem binarnych relacii
aj u drazenskej? neviete niekto?
-
drazenska nevravela nic konkretne. ale tak v zosite toho nemame vela. staci prejst vsetko co bolo na cviku a nemal by byt problem. tie binarne relacie podla mna nebudu.
-
k tej rezolucnej metode by mi nevedel niekto plz nieco povedat? :laugh: , hlavne ten koniec, a zaver z toho vyplyvajuci, thx
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fd.imagehost.org%2Ft%2F0101%2FClipboard01.jpg&hash=78fcb7a9176c37bd6b9f18ea0680b21e08166464) (http://d.imagehost.org/view/0101/Clipboard01)
napr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??
-
vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...) vo VL a PL a okrem binarnych relacii
Takže tie dôkazy nebudú vôbec? Viem, že nebudeme mať napísať samotný dôkaz, to vravela. Ale napr. určiť, či je formula pod čiarou dôsledkom formúl nad čiarou alebo vypísať použité pravidlá pre existujúci dôkaz, to tam môže byť, či nie?
-
Pokial som dobre pocul na cviku, tak ani to ...
A ani v zbierke to nie je, hmm
-
k tej rezolucnej metode by mi nevedel niekto plz nieco povedat? :laugh: , hlavne ten koniec, a zaver z toho vyplyvajuci, thx
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fd.imagehost.org%2Ft%2F0101%2FClipboard01.jpg&hash=78fcb7a9176c37bd6b9f18ea0680b21e08166464) (http://d.imagehost.org/view/0101/Clipboard01)
napr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??
ti dostaneš t v v ale je to tam zbytočné písať keď vidíš že z ďalšej dostaneš prázdnu formulu čiže F čiže celá množina formúl je nesplniteľná (množina formúl je splniteľná keď neobsahuje prázdnu formulu0
-
upne niekto tu zbierku? :angel:
-
Spravne som pochopil ako sa vytvaraju uplne tvary?
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fu.cwls.info%2Fuploads%2FScreen%2520shot%25202010-11-17%2520at%252014.57.12.png&hash=27df9213d9d7ae1c0c37c4d53a533b8e024405bf)
:puf: :puf: :puf:
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fu.cwls.info%2Fuploads%2FScreen%2520shot%25202010-11-17%2520at%252014.57.21.png&hash=9afb2b7d2b38c159b1e9e09363e9090628d4723e)
-
Spravne som pochopil ako sa vytvaraju uplne tvary?
pochopil si to spravne ;)
-
Áno, ale pri úplných tvaroch musí každá elementárna konjunkcia/disjunkcia obsahovať všetky premenné (až pri minimálnych nie).
-
k tej rezolucnej metode by mi nevedel niekto plz nieco povedat? :laugh: , hlavne ten koniec, a zaver z toho vyplyvajuci, thx
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fd.imagehost.org%2Ft%2F0101%2FClipboard01.jpg&hash=78fcb7a9176c37bd6b9f18ea0680b21e08166464) (http://d.imagehost.org/view/0101/Clipboard01)
napr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??
ti dostaneš t v v ale je to tam zbytočné písať keď vidíš že z ďalšej dostaneš prázdnu formulu čiže F čiže celá množina formúl je nesplniteľná (množina formúl je splniteľná keď neobsahuje prázdnu formulu0
ok diky a tento druhy pripad?
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fi51.tinypic.com%2Fdo1gg1.jpg&hash=40c16cd66ed7709a9eef291a560728ed80a03174)
-
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.
-
tak term je premenna, konstanta, a funkcia aplikovana na tolko termov kolko ma arnost
a formule je predikat aplikovany na term, arnosti tiez musia sediet + logicke spojky este, cize napr formula AND formula = formula
//no a olem, zisti mi tu moju otazku ;D
-
tak term je premenna, konstanta, a funkcia aplikovana na tolko termov kolko ma arnost
a formule je predikat aplikovany na term, arnosti tiez musia sediet + logicke spojky este, cize napr formula AND formula = formula
//no a olem, zisti mi tu moju otazku ;D
A niekto kto to vysvetli pomocou nejakeho prikladu? bola by som vdacna.
P.S.:na konci rezolucnej som mala tiez problemy no teraz zacinam tusit ze si to musis tiez rozpisat pomocou tabulky a potom ked mas aspon jednu 1 tak mas splnitelnu formulu. proste zistujes splnitelnost formule ktora ti vysla.
-
nemáte niečo zrozumiteľmé k tým karnaughovým mapám? Bo ma dnes z toho ebne
-
tie su v pohode, to len si musis pozriet ze ten pas kde je x napriklad, tak tam je x jedna, inde je x nula, a tak pre ostatne premenne vies zapisat tu velku tabulku, resp z karnafovej vypisat min knt a dnt
-
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.
Ak ti vyjde F tak je mnozina dokazatelna, inak je splnitelna (cize ak ti NEVYSLO F)... ja sa riadim podla toho
-
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.
Ak ti vyjde F tak je mnozina dokazatelna, inak je splnitelna (cize ak ti NEVYSLO F)... ja sa riadim podla toho
A co je to F kontradikcia?
-
Kontradikcia je opak tautologie, cize ked je formula nepravdiva pri kazdom ohodnoteni...ako to suvisi s F ?
-
Vedel by niekto povedat ze ako rozlozime A<=>B ??? pomohlo by dikes.
-
Kontradikcia je opak tautologie, cize ked je formula nepravdiva pri kazdom ohodnoteni...ako to suvisi s F ?
Ja som sa len pytal ze co je F ???
a nevies nahodou ako rozlozime A<=>B ???
-
A<=>B je semanticky ekvivalentne s (A=>B) ∧ (B=>A)
F je prazdna rezolventa (klauzula)
-
A<=>B je semanticky ekvivalentne s (A=>B) ∧ (B=>A)
F je prazdna rezolventa (klauzula)
ok diky
-
okej k tej rezolucnej napr.
{a V b; -b V c}
b 1 0 a V c // teraz este mozem vybrat a alebo c? ok vyberiem a
a 1 c
c 1 F
cize henta mnozina je nesplnitelna ? ale ked si to spravim napr cez normalnu tabulku tak mi vyjde daco ine, ci to je uplne ina vec? :D
a b c a V b -b V c
1 1 1 1 1
1 1 0 1 0
1 0 1 1 1
0 1 1 1 1
1 0 0 1 1
0 1 0 1 0
0 0 1 0
0 0 0 0
cize existuje riadok ktory ma same jednotky, cize podla tohto by mala byt splnitelna ne?
-
{a V b; -b V c}
b 1 0 a V c //"kombinujem" nulu s jednotkou, ostava a V c
a x x 1 //davam xka aby som sa neplietol ci tam mozem dat daco //pod ceckom neni neg. takze napisem 1
c x x x
nevyslo F => je splnitelna
-
preco do toho a-ckoveho riadku nedas do rezolventy c ?
-
to by tam musela byt na riadku b nejaka negacia a, cize by pod tym bolo nula, a mohol by som skombinovat 0 (neg. a) a 1 (a)
-
revelc nevedel by si mi este raz vysvetlit na nejakom priklade co je term a co formula? diky
-
v zbierke je taky jeden priklad kde to je popisane:
2.12 V jazyku s P = {P, Q, =}, F = {f, g} a K = {a, b}, pričom Q, f
sú binárne a P, g unárne pre nasledujúce slová určte, či sa jedná o term,
alebo formulu predikátovej logiky, alebo to nie je ani term ani formula:
a) f (x, g(a)) · g(f (g(y), a))
b) f (a, x) · y = Q(z, b)
c) (∃x)Q(x, a) ⇒ y = z · a
d) (∀x)(x ∧ y ∨ z)
e) f (b, x) · g(f (a, y))
f) (∃y)[Q(a, P (y)) ∨ ¬(x = y)
g) g(a) · f (y, b) = z
h) f (g(x), f (y, a), y))
riesenie:
a) term; lebo mas tam len tie funkcne symboly , plus sedi arita
b) nie je term ani formula; lebo rovna sa je predikatovy symbol a aj Q je predikatovy symbol a nemoze byt v pred. symbole pred. symbol.
c) formula; lebo je tam pred. symbol a v nom su termy
d) nie je term ani formula;
e) term;
f) nie je term ani formula; lebo v Qcku je Pecko
g) formula; lebo je tam pred. symbol rovna sa
h) nie je term ani formula. ; lebo nesedi arita efka
-
{a V b; -b V c}
b 1 0 a V c //"kombinujem" nulu s jednotkou, ostava a V c
a x x 1 //davam xka aby som sa neplietol ci tam mozem dat daco //pod ceckom neni neg. takze napisem 1
c x x x
nevyslo F => je splnitelna
Taká otázka... ak dostanem 1 0 0, alebo 1 1 0, alebo 1 1 0 0, tak ako to kombinujem? Vezmem stále jednu jednotku so všetkými nulami, alebo vždy len jednu jednotku a jednu nulu (v podstate každá s každou)?
-
hlasujem za kazdu s kazdou...
-
pomalsie s tym 'kazda s kazdou' :-D
ja mam dojem, ze tie 1/0 su ako pohlavia. Sice kazdy s kazdym, ale ziadne gay pary.
-
pomalsie s tym 'kazda s kazdou' :-D
ja mam dojem, ze tie 1/0 su ako pohlavia. Sice kazdy s kazdym, ale ziadne gay pary.
presne tak..
-
ma uz niekto po pisomke ??...hadzte sem typy prikladov 8)
-
teraz som dopisal.. nesfotil som to ale mam mam foto prikladov co boli minuly rok a typovo su presne take iste.. presne toto, presne 6 prikladov, myslim ze aj zaradom idu tak ako na tomto obrazku.. vela zdaru :)
http://uploader.imghost.sk/imagehosting/wgoue0zeis7skjl6x9d.jpg (http://uploader.imghost.sk/imagehosting/wgoue0zeis7skjl6x9d.jpg)
-
teraz som dopisal.. nesfotil som to ale mam mam foto prikladov co boli minuly rok a typovo su presne take iste.. presne toto, presne 6 prikladov, myslim ze aj zaradom idu tak ako na tomto obrazku.. vela zdaru :)
http://uploader.imghost.sk/imagehosting/wgoue0zeis7skjl6x9d.jpg (http://uploader.imghost.sk/imagehosting/wgoue0zeis7skjl6x9d.jpg)
Nevyzerá to ťažko dáko... snáď to zajtra dám :)
-
mam zadany normalny konjutívny tvar (x v !y v z v !t) tak je to 0101?
mam zadany normalny dizjunktívny tvar (x ^ !y ^ z ^ !t) tak je to 1010?
to s výkričníkom je negované.
-
Áno tak, lebo NKT je z elementárnych dizjunkcií a tie sú pri nule. A ak vyberáš nulu tak premenné berieš ako nenegované pri nule a ako negované pri jednotke.
Pri NDT podobne.
-
Zdravím, neviete ako sa toto zátvorkuje ?
xVy=>z
je to toto ? (xVy)=>z alebo toto ? xV(y=>z) ?
-
Zdravím, neviete ako sa toto zátvorkuje ?
xVy=>z
je to toto ? (xVy)=>z alebo toto ? xV(y=>z) ?
(x ∨ y) ⇒ z
Dizjunkcia je prioritnejsia ako implikacia.
-
ok dík :)
-
vedel by niekto povedat aky vasledok ma byt v priklade 2?
ten minimalny disjunkt tvar
vdaka
-
ako by ste spravili prvy priklad? bez pouzitia rezolucnej metody (z definicie)
-
ako by ste spravili prvy priklad? bez pouzitia rezolucnej metody (z definicie)
Hovoríme, že formula φ je sémantickým dôsledkom množiny formúl S (vyplýva z množiny formúl S), keď je pravdivá pri každom ohodnotení výrokových premenných, pri ktorom je pravdivá každá formula z množiny S.
Zapises do tabulky vsetky definicie a zistis ci formula je pravdiva pri tych ohodnoteniach, kedy su pravdive vsetky formuly z mnoziny.
-
ešte k tým príkladom .. ako by ste spravili v štvorke C a D ? je to tam nejaké divné
-
ešte k tým príkladom .. ako by ste spravili v štvorke C a D ? je to tam nejaké divné
Co je na tom divne:
C. Existuje clovek, ktoreho otec je hudobnik a matka nie je maliarka.
D. Kazdy koho otec nie je hudobnik je matka maliarka.
-
prosim vas mohol by niekto napisat ako riesit 6.priklad ???
dakujem
-
prosim vas mohol by niekto napisat ako riesit 6.priklad ???
dakujem
A co na tom nevies, ved to je lahke. Je to to iste ako tie pravdivostne tabulky uplne na zaciatku, len musis brat do uvahy kvantifikatory - a teda tam kde su premenne viazane, tam nezalezi na hodnote tej premennej, ale od mnoziny. (Cize ked je existuje x, ktore je take a take - tak je ti jedno, aku ma x hodnotu v tom riadku, ale ta zaujima ci v tej mnozine take x existuje.)
-
ratal niekto 3. ? co ma vyjst?
-
ratal niekto 3. ? co ma vyjst?
mne tam vyšla tautológia, ale či to je dobre tak to vážne netuším.
nemohli by ste ten 6. príklad odfotiť a hodiť sem? pls
-
ratal niekto 3. ? co ma vyjst?
Mne vyšlo, že je splniteľná bv
Chcem sa opýtať pánov humoristov, že či obe skupiny mali typovo tie isté príklady? :emot-prettywink:
-
ja mam nesplnitelnu :DDD cize kazdy ma iny vysledok
kto to ma dobre dajte to sem :D
-
:banana_guitar: kua ale sme dobrí bp
-
ok
chcel som sa ucit cez vikend, ale nevydalo, ale neva, mam este stredu
ani v stredu nevydalo, ale neva, urobim si volno vo stvrtok
lenze ani dnes nevydalo
what a fuckup is gonna happen tomorrow :ohmigod:
-
ok
chcel som sa ucit cez vikend, ale nevydalo, ale neva, mam este stredu
ani v stredu nevydalo, ale neva, urobim si volno vo stvrtok
lenze ani dnes nevydalo
what a fuckup is gonna happen tomorrow :ohmigod:
toto sa velmi podoba na moje posledne dni :D
-
ok
chcel som sa ucit cez vikend, ale nevydalo, ale neva, mam este stredu
ani v stredu nevydalo, ale neva, urobim si volno vo stvrtok
lenze ani dnes nevydalo
what a fuckup is gonna happen tomorrow :ohmigod:
:thumbs-up:
-
Nesalte sa, lahke to je, pozrite si otazky bude okaka :puf:
-
zdravim v tej 5tej ulohe, ktore premenne budu mat viazany a ktore volny vyskyt? a preco? dik nebudu vsetky xka viazane? ;D
-
Zdravim ,
troška som sa hral s prikladmi z tej pisomky a snad je to dobre
... ak nie tak ma upozornite :D aby som nepisal blbosti do zapoctovky :P
..
.
1: (https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg593.imageshack.us%2Fimg593%2F2193%2F64551762.th.png&hash=9b32e8eff515f92412241d171b0323e91c5b0269) (http://img593.imageshack.us/i/64551762.png/)
2,3: (https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg696.imageshack.us%2Fimg696%2F8792%2F87926069.th.png&hash=89bdf71f5d10113bb1a3c2a42df6e15d209d28be) (http://img696.imageshack.us/i/87926069.png/)
4,5: (https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg526.imageshack.us%2Fimg526%2F427%2F21262960.th.png&hash=cc6a442acce2b5bbcd5e69481ca1b9c16fdbea76) (http://img526.imageshack.us/i/21262960.png/)
6: (https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fimg530.imageshack.us%2Fimg530%2F214%2F88929180.th.png&hash=afd0e5cc961fb5364404f4c7122ed44c99981a0a) (http://img530.imageshack.us/i/88929180.png/)
:whacko:
-
Komisia zložená z dvoch členov overila výsledky a rozhodla že máš chybu pri 6 tom príklade po B, správne má byť: (exist. x) x I> y má hodnotu 1 tým pádom výsledok je hodnota 1.
A ďalej pri UKNT tam je KM zle nakreslená, dosadzuj nuly na pozície a označuj:
xy 00
a nie:
y 0
x 0
na ľavej strane...
-
to pri KM neni jedno ? :D:D ved ked pootocis hlavu o 90° doľava ta maš xy :D:D ..
..
pri 6tke: može byť že dcera je predkom syna ? :/
-
v 2 priklade ked je zadane KNT tak treba doplnovat nuly a ne jednotky, aspon si myslim, uz som to mala na inom zapocte a mala som to dobre
-
pri 6ke máš EXISTUJE takže ignoruješ tu dcéru a vyberáš z univerza postupne a dosádzaš či daktoré pasuje. Ak pasuje tak dáš 1. Ak máš kvantifikátor tak neberieš to čo je pri tom e(x) alebo e(y) ale riadiš sa podľa kvantifikátora.
Ak je existuje x - tak za x vyberáš postupne z univerza a ak platí pre niektoré z univerza tak dáš 1.
Ak je všetky x - tak za x vyberáš postupne z univerza a ak platí pre každé tak dáš 1, ak pre niektoré neplatí dáš 0.
Aspoň my tak chápeme.
Pri KM musíš dávať to čo je elementárna konjunkcia (píšeš 1) alebo elementárna dizjunkcia (píšeš 0). V UNDT máš element. konjunkcie a v UNKT máš element. dizjunkcie.
-
to pri KM neni jedno ? :D:D ved ked pootocis hlavu o 90° doľava ta maš xy :D:D ..
..
pri 6tke: može byť že dcera je predkom syna ? :/
ta hej len sa potom pomylis ked doplnujes do mapy... A ked mas UKNT doplnujes nuly, nie jednotky... A kedze chces MDT kruzkujes jednotky.
A 6-ka: Mas tam kvantifikator existencny. Takze to x sa nevztahuje na to zadane, ale na celu tu mnozinu, lebo je viazane... A ypsilon pozeras to zadane. Takze pozeras ci sa v celej mnozine nachadza niekto kto je predkom syna.
void to kus vyssie vysvetloval :)
edit : zas ma vsetci predbehli :/
-
Ľudia, kedy je opravná z logiky? Je to túto stredu? Takže si môžem pospať a nemusím sa trepať na tú prednášku?
-
Ľudia, kedy je opravná z logiky? Je to túto stredu? Takže si môžem pospať a nemusím sa trepať na tú prednášku?
Mám taký pocit že opravná je v 12. týždni a aj tak sa budeme musieť trepať lebo mám taký pocit že len malé percento nespravilo čiže ešte bude aj prednáška
-
Opravna je v 12. tyzdni na prednaske a predtermin v 13. na prednaske.
-
Ľudia, kedy je opravná z logiky? Je to túto stredu? Takže si môžem pospať a nemusím sa trepať na tú prednášku?
Mám taký pocit že opravná je v 12. týždni a aj tak sa budeme musieť trepať lebo mám taký pocit že len malé percento nespravilo čiže ešte bude aj prednáška
podla mna to nespravilo dost vela ludi a ked aj spravili tak vela z nich malo len 16 bodov.
-
heh... mňa tu spolubývajúci presviedča, že je to túto stredu a mne sa zdá, že raz na prednáške vravela, že v 9. sa píše a potom o 2 týždne je opravná na prednáške.... :ropebanana:
-
kto planuje ist na predtermin k p.p. Myskovej.... su k dispozicii teoreticke otazky z minuleho roka...ako by to malo vyzerat na skuske... nemusi byt presne to,ale nieco podobne... :buttrock:
http://www.uloz.to/6748242/teoria-pdf (http://www.uloz.to/6748242/teoria-pdf)
-
kto planuje ist na predtermin k p.p. Myskovej.... su k dispozicii teoreticke otazky z minuleho roka...ako by to malo vyzerat na skuske... nemusi byt presne to,ale nieco podobne... :buttrock:
http://www.uloz.to/6748242/teoria-pdf (http://www.uloz.to/6748242/teoria-pdf)
Diky, ale... Stranka nenalezena :D
-
nemate niekto sfotene presne znenie uloh pls???
-
kto planuje ist na predtermin k p.p. Myskovej.... su k dispozicii teoreticke otazky z minuleho roka...ako by to malo vyzerat na skuske... nemusi byt presne to,ale nieco podobne... :buttrock:
http://www.uloz.to/6748242/teoria-pdf (http://www.uloz.to/6748242/teoria-pdf)
Diky, ale... Stranka nenalezena :D
hmmm..uloz.to padlo :) ... http://www.ulozisko.sk/349194/Teoria.pdf (http://www.ulozisko.sk/349194/Teoria.pdf)
-
nema niekto nafotene priklady zo zapoctovky u drazenskej ???
-
Ludia pls kedy je opravna? Tento tyzden ci buduci?
-
nema niekto nafotene priklady zo zapoctovky u drazenskej ???
http://img508.imageshack.us/img508/7208/30112010184.jpg (http://img508.imageshack.us/img508/7208/30112010184.jpg)
-
nema niekto nafotene priklady zo zapoctovky u drazenskej ???
http://img508.imageshack.us/img508/7208/30112010184.jpg (http://img508.imageshack.us/img508/7208/30112010184.jpg)
dik :-)
-
Ludia pls kedy je opravna? Tento tyzden ci buduci?
u drazenskej je az o tyzden v 12 tyzdni
-
OK
ti co mali dnes prednasku s Drazenskou rano o 7.30 v ZP4
co vravela ku koncu (poslednych cca 10 minut som musel odist) ohladom skusky?
budu na skuske typovo aj priklady co uz boli na zapoctovke?
bude v 12. tyzdni aj prednaska alebo odpada a budu len opravne zapocty?
dajako to skuste zhrnut ak ste niekto boli
vdaka
-
vie niekto kde sa daju najst prednasky na nete? ak nejake su
-
OK
ti co mali dnes prednasku s Drazenskou rano o 7.30 v ZP4
co vravela ku koncu (poslednych cca 10 minut som musel odist) ohladom skusky?
budu na skuske typovo aj priklady co uz boli na zapoctovke?
bude v 12. tyzdni aj prednaska alebo odpada a budu len opravne zapocty?
dajako to skuste zhrnut ak ste niekto boli
vdaka
za skusky vravela len to ze v 13 tyzdny predterminy asi a 12 tyzden su opravaky nieje prednaska a opravaky su tak ti co maju cvika vo stvrtok pisu o 7:30 a ty co v piatok o hodinu pozdejsie
-
ked mam pri rezolucnej metode x^y tak to mam nejako upravit??? ako to zapisem do tej tabulky na rezolucnu metodu???
-
drazenska nam vravela na cviku ze ked je takyto tvar tak to musis rozdelit. cize do tabulky zapises X a zapises aj Y.
cize v tabulke to bude vyzerat nejak takto:
| x | y |
opravte ma ak sa mylim :)
-
ano x aj y ale zvlast x do stlpca a zvlast y do stlpca a este pozor na take chytaky ze ked jeden z vyrazov je tautologia tak to rovno vyskrtnes a vobec nepises do tabulky.
-
diky :)
-
Mam otazku ty co mame s drazdenskou v piatok o 7:30 opravak je zajtra rano 7:30 v ZP4 alebo kedt vlastne.... Dik
-
Mam otazku ty co mame s drazdenskou v piatok o 7:30 opravak je zajtra rano 7:30 v ZP4 alebo kedt vlastne.... Dik
piatkove cviko ma opravak stredu o cca 8:40 v zp4
-
Ako je to vlastne pri tych vetach co sme mali napisat a potom dany vyraz znegovat? pri negacii sa meni vseobecny kvantifikator na existencna a naopak? a co sa este meni? aj a sucasne na implikaciu? ci nie? dava sa tam niekde aj znak negacie? diky
-
Ten priklad co bol na zapocte s drazenskou:
Negacia W(x) => Existuje y ( W(y) /\ y |> x ) pre M, D, S1, S2.
Aky tam mal vyjst vysledok ? Akurat som to teraz preratal a vyslo mi ze je to splnitelne. ALe neviem ci to je dobre.
-
v tretom priklade,uz ste sa konecne zhodli na nejakom spravnom rieseni,ci je splnitelna alebo je nesplnitelna? co mam robit dalej ak mi ostali stlpce t,u,u^t?
-
wtf - to co bola za opravnu pisomku ? Take veci dala co sme ani neratali, ked to mam porovnat s prvou pisomkou tak toto bolo o 50% tazsie...
:o ??? :j_huh:
keby som tam isiel tak ze nemam zapocet tak by som urcite prenasal :D
-
Neviete kedy je opravny zapocet u Myskovej ?
-
Mne sa vidi, ze dnes na prednaske. Tak sup sup mas 20 minut :-)
-
:DDDDDDDDDDDDDDDDDDD
Sranda musi byt: povedala si Drazenska a supla fajnovu pisomku :DDDDDDDD
Kebyze nemam 16 bodov uz istych neviem neviem ci by bola taka naladicka :metal:
-
wtf - to co bola za opravnu pisomku ? Take veci dala co sme ani neratali, ked to mam porovnat s prvou pisomkou tak toto bolo o 50% tazsie...
:o ??? :j_huh:
keby som tam isiel tak ze nemam zapocet tak by som urcite prenasal :D
taka ista pisomka bola aj dnes u Myskovej... a predstav si, ja som tam siel tak ze nemam zapocet :D ale dufam ze som to dal na 16 bodov
-
sak tam boli uplne typovo rovnake priklady, to iste
-
zajtra este je cviko s myskovou o 12:20 ci uz ne?
-
zajtra este je cviko s myskovou o 12:20 ci uz ne?
zajtra určite a podľa mňa možno aj o týždeň
-
mate niekto nejake priklady z opravnej?
-
Mate prosim dakto naskenovane prednasky s Drazenskou? mam po 8. prednasku a potreboval by som zvysne.
-
Cafte. Jak mame v prednaskach na strane 7 taku kopu pravidiel (9), to sa treba ucit na skusku?
-
Mate prosim dakto naskenovane prednasky s Drazenskou? mam po 8. prednasku a potreboval by som zvysne.
Odfotim ti moje? ;D Skener nemam prave poruke, len fotak...
-
Mate prosim dakto naskenovane prednasky s Drazenskou? mam po 8. prednasku a potreboval by som zvysne.
Odfotim ti moje? ;D Skener nemam prave poruke, len fotak...
No bol by som moc vdacny a zrejme aj kopu inych ludi :) ...a mas prednasky s Drazenskou?
-
Mate prosim dakto naskenovane prednasky s Drazenskou? mam po 8. prednasku a potreboval by som zvysne.
Odfotim ti moje? ;D Skener nemam prave poruke, len fotak...
No bol by som moc vdacny a zrejme aj kopu inych ludi :) ...a mas prednasky s Drazenskou?
Yop, s Drazenskou. Len ci po mne precita vobec niekto tie poznamky... ah:
-
Yop, s Drazenskou. Len ci po mne precita vobec niekto tie poznamky... ah:
neboj precita :) ked dokazem precitat po sebe tak dokazem po hocikom 8)
-
:) Tak nech sa paci
http://www.edisk.sk/stahni/46615/ML_poznamky.zip_45.15MB.html (http://www.edisk.sk/stahni/46615/ML_poznamky.zip_45.15MB.html)
-
Yop, s Drazenskou. Len ci po mne precita vobec niekto tie poznamky... ah:
neboj precita :) ked dokazem precitat po sebe tak dokazem po hocikom 8)
ja by som ta skor poprosil tych prvych osem keby ich niekde dal ;)
-
to aj vy (drazenskej grupa) mate na maise Maximálne možné hodnotenie: 40 % Minimálne možné hodnotenie: 21 % ??
bo mam 20 a vedla toho ze neprospel :D tak chcem napisat maila, ale sa pytam zeby nas takych nebolo viac co jej napiseme..
-
tu by mala byt 1-8 prednaska http://www.ulozto.sk/6538449/matematika-rar (http://www.ulozto.sk/6538449/matematika-rar)
a ano aj my mame nastavene na 40%...snad to coskoro zmeni :)
-
to aj vy (drazenskej grupa) mate na maise Maximálne možné hodnotenie: 40 % Minimálne možné hodnotenie: 21 % ??
bo mam 20 a vedla toho ze neprospel :D tak chcem napisat maila, ale sa pytam zeby nas takych nebolo viac co jej napiseme..
teraz som kukol, a tiez to mam tak... :)
-
Cafte. Kus si prechadzam teoriu na predtermin. Neviete niekto, ci:
Treba vediet vsetky tieto pravidla: Dunsa Scotta, Rezu, O dedukcii, O uplnosti, atd - a ci treba vediet ich dokazy? hm? :-)
-
kto planuje ist na predtermin k p.p. Myskovej.... su k dispozicii teoreticke otazky z minuleho roka...ako by to malo vyzerat na skuske... nemusi byt presne to,ale nieco podobne...
http://www.uloz.to/6748242/teoria-pdf (http://www.uloz.to/6748242/teoria-pdf)
tak ja sa ucim toto... pochybujem, ze by sa za rok nieco zmenilo
-
chcem sa opytat, ci niekto ma cvicenia v pitok o 10.50 so Stasom
konkretne ci bude aj v 13. tyzdni cviko
vdaka
-
to aj vy (drazenskej grupa) mate na maise Maximálne možné hodnotenie: 40 % Minimálne možné hodnotenie: 21 % ??
bo mam 20 a vedla toho ze neprospel :D tak chcem napisat maila, ale sa pytam zeby nas takych nebolo viac co jej napiseme..
no.. uz je to opravene :D takze zapich na 20 no.. bq
-
treba na predtermin nejaky vytlaceny harok alebo nieco take??? :buttrock: ci staci cisty dvojharok?
-
"system formul VL nazyvame sporny prave tedy ked je v nom dokazatelna kazda formula VL"
neviete preco je sporny ked je vsetko dokazatelne? nemalo by to byt opacne? :o
Ved preto je sporny, lebo je v nom dokazatelne vsetko, kazda jedna forumula, ktora ta napadne, a dobry system - konzistentny je taky, ktorym nieco dokazes a nieco vyvratis, nemozes vsetko dokazat
-
Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?
-
"system formul VL nazyvame sporny prave tedy ked je v nom dokazatelna kazda formula VL"
neviete preco je sporny ked je vsetko dokazatelne? nemalo by to byt opacne? :o
Ved preto je sporny, lebo je v nom dokazatelne vsetko, kazda jedna forumula, ktora ta napadne, a dobry system - konzistentny je taky, ktorym nieco dokazes a nieco vyvratis, nemozes vsetko dokazat
ale tam nie je hocico co mi napadne, tam su dane formuly...
btw:
system formul je sporny ked je kazda formula dokazatelna.
mnozina klauzul je splnitelna ked kazda klauzla je pravdiva.
pride mi to ako keby to bolo raz tak a potom inak...
praveze tam nie su dane formuly, krore dokazujes,
system formul je sporny ked je v nom kazda formula dokazatelna.
mnozina klauzul je splnitelna ked kazda z danych klauzl je pravdiva.
to mas tak, ze pomocou toho systemu dokazujes formuly, neurcujes ich pravdivostnu hodnotu.
sporny system je napriklad φ a ¬φ a mas dokaz:
1. ¬φ
2. φ
3. ¬φ => (φ => ψ) - zakon Dunsa Scotta
4. φ => ψ - modus poens (1,3)
5. ψ - modus poens (2,4)
cize formula ψ je dokazatelna zo systemu, a ψ je lubovolna formula, cize system je sporny
-
Keby toto niekomu pomohlo: http://openetherpad.org/tqgY1sFVx0 (http://openetherpad.org/tqgY1sFVx0)
Pisem si otazky, ku niektorym odpovede. Priebezne doplnam, hento je live verzia.
Da sa to editovat, feel free to add your 2 cents ;-)
Peace out
-
neviete o akej je v stredu ten predtermin ? na maise pise ze o 7 : 00 >:( >:(,???? nieje nahodou o 7 :30 ?
-
Tak jak prednaska, 9:55. Ale dojdi na 7:30, si zopakujes aspon :D
-
Tak jak prednaska, 9:55. Ale dojdi na 7:30, si zopakujes aspon :D
preto sa pytam lebo prednasky boli dve jedna od 7:30 a druha 9:55 ,......
-
Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?
ja nemam a viem aj o dalsej osobe ktora nema a co ostatny neviem..
-
na skúšku sa môžem zapísať na ktorú chcem?
-
Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?
ja nemam a viem aj o dalsej osobe ktora nema a co ostatny neviem..
ja som tiez nemal ale ked som jej napisal mail tak mi ho tam napisala,problemom moze byt bud to ze nemate dostatok bodov,alebo mate privela neospravedlnenych hodin alebo jednoducho na vas zabudla,najskor vylucte dve moznosti a tretiu rieste :)
-
Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?
ja nemam a viem aj o dalsej osobe ktora nema a co ostatny neviem..
ja som tiez nemal ale ked som jej napisal mail tak mi ho tam napisala,problemom moze byt bud to ze nemate dostatok bodov,alebo mate privela neospravedlnenych hodin alebo jednoducho na vas zabudla,najskor vylucte dve moznosti a tretiu rieste :)
tak s tim ze malo bodov asi nebude kedze poznam jedneho co mal 4 body a dvakrat chýbal a ma uz zapisane a ja som chýbal len raz a nic z toho a tiež viem že on ani jednu ospravedlnenku jej nedal
-
:baaa:
este raz pre moj pokojny spanok sa chcem spytat , mi co sme prihlaseny v maise na 7:00 matika v ZP1 tak mame predtermin o 9:55 realne ?
-
este raz pre moj pokojny spanok sa chcem spytat , mi co sme prihlaseny v maise na 7:00 matika v ZP1 tak mame predtermin o 9:55 realne ?
Ano, 9:55 , normalne ako prednaska je predtermin, v maise to je len tak, aby sa jej to nekrylo z prednaskou
-
ako by ste toto robili?
Použite vetu o dedukcii pre nasledujúci príklad:
Bude pršat.
Zoberiem si dáždnik.
Nezmoknem.
-
ako by ste toto robili?
Použite vetu o dedukcii pre nasledujúci príklad:
Bude pršat.
Zoberiem si dáždnik.
Nezmoknem.
Bude pršat.
Ak si zoberiem dáždnik, nezmoknem
-
Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?
ja nemam a viem aj o dalsej osobe ktora nema a co ostatny neviem..
Ja som mal zapocet spraveny a isiel som na opravnu a uz v sobotu som to mal na maise tak neviem. Skus napisat maila miesto pocul som o jednom ze vraj ....
-
musim ist na cvicko teraz v 13tom tyzdni, ak som nebol na predtermine ?
-
musim ist na cvicko teraz v 13tom tyzdni, ak som nebol na predtermine ?
nemusis
-
No, nie som z toho predterminu prilis nadseny :-/
-
Ake typy prikladov boli ? Boli aj take co sme mali riesit na zapocte ?
-
Hej, Karnaughova mapa bola, rezolucna metoda, potom tie smiesne co trebalo zapisat formalne slovne vyroky, no a dalej napisat klauzarny tvar - to bolo za 9 body ... :-/
-
prosim Vas ,
ten kto robil predtermin u Drazenskej, mohol by prispiet otazkami ktore sa tam objavili ???
-
Ktoré termíny skúšok v MAISe sú pre tých, čo mali s Myškovou? Alebo je to jedno?
-
Ktoré termíny skúšok v MAISe sú pre tých, čo mali s Myškovou? Alebo je to jedno?
4.1 je isto s Myškovou - po prihlásení mi tam píše.
-
ale mozem tam ist aj ked som mal prednasky s Drazenskou, ci nie?
-
ale mozem tam ist aj ked som mal prednasky s Drazenskou, ci nie?
Radšej sa vopred dohodni, lebo aj dnes na predtermíne u Myškovej tam ktosi prišiel od Draženskej a nebola z toho nadšená.
-
Otazky ktore boli na predtermine s Drazenskou:
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.
-
Neviete kdeze je zajtra to vyhodnotenie o 11? S Myskovou.
-
je tu niekto taky kto chodil k drazenskej, bol na opravaku a este stale nema zapisanu znamku na maise? lebo mne sa to stale a uz v utorok som jej pisal mail co sa deje lebo znamky zo zapoctov mali byt uz v pondelok..
nevravela na prednaske alebo tak ze ak niekto nebude mat ospravedlnenky ze mu neda prejst alebo take nieco? lebo ja som asi nemal nejake :P
-
Neviete kdeze je zajtra to vyhodnotenie o 11? S Myskovou.
→ v patek sa mi zda že po cvikach asi 10 30 ... a ked ne ta až po dalšom cviku 12 20 ... ale neber ma za slovo :embarassed:
-
Neviete kdeze je zajtra to vyhodnotenie o 11? S Myskovou.
→ v patek sa mi zda že po cvikach asi 10 30 ... a ked ne ta až po dalšom cviku 12 20 ... ale neber ma za slovo :embarassed:
Kde, nie kedy.
-
viete nietko odpoveď na toto:
Vysvetlite rozdiel medzi ohodnotením premenných a pravdivostnou hodnotou
formula v predikátovej logike.
-
okej uz trosku vnimam, moze mi niekto zrekapitulovat co ocakavat na skuske (drazenskej) ? viem ze bude teoria + priklady, moze niekto upresnit okruhy alebo tak ?
thx
-
http://www.uloz.to/7205372/teoria-pdf (http://www.uloz.to/7205372/teoria-pdf)
ja sa učím z tohto. Kamoš, čo bol na predtermíne povedal, že mu toto stačilo
-
http://www.uloz.to/7205372/teoria-pdf (http://www.uloz.to/7205372/teoria-pdf)
ja sa učím z tohto. Kamoš, čo bol na predtermíne povedal, že mu toto stačilo
U koho mal predtermin? :xmas:
-
draženská
-
:baaa: robi niekto nejaky tahak z teorky na matiku?????pls supnite tu :beer1:
-
vedel by mi niekto napisat ako vyzeraju axiomy VL a PL v jazyku rovnosti a bez rovnosti????????
-
vedel by mi niekto napisat ako vyzeraju axiomy VL a PL v jazyku rovnosti a bez rovnosti????????
Príklad 3.6 v skriptách.
-
vedel by mi niekto napisat ako vyzeraju axiomy VL a PL v jazyku rovnosti a bez rovnosti????????
Príklad 3.6 v skriptách.
nemam skripta:)
-
to aj dajake skripta existuju? :o
-
vedel by mi niekto napisat ako vyzeraju axiomy VL a PL v jazyku rovnosti a bez rovnosti????????
Príklad 3.6 v skriptách.
nemam skripta:)
Príloha omg :/
-
ku komu je lepsie ist na skusku drazenska ci myskova??
-
sak logicky ta s ktorou si mal cvika :D To asi lepsie vies, co od nej ocakavat
-
Myšková je vraj alergická na to že sa zapíšeš ku Draženskej. A naopak to tiež nie je dobrý nápad.
-
aj relacia aj syntax vyrokovej ?
-
sak logicky ta s ktorou si mal cvika :D To asi lepsie vies, co od nej ocakavat
a ked som cvika nemal ani s jednou z nich?
ja som mal otiz so Stašom asi ako jedina skupina z celeho rocnika (+ este externistov v piatok mal on)
inac kto mi vie povedat, kde je L9-B_220
v zivote som tam nebol ani som tam nic nemal.
vdaka
-
pomoc pomoc :D dufam ze sa bude dat u drazenskej 5ho opisovat :D
-
ked viem priklady a dajme tomu ze sa naucim teoriu potial, co bolo na zapoctovke, bude to stacit na 21b zo 70?
neviete niekto z predterministov kolkobodove boli ulohy?
-
inac kto mi vie povedat, kde je L9-B_220
hlavna budova, beckovy blok, druhe poschodie (niekde nad bistrom, co tam predavaju tote fajne hamburgery)
http://www.tu-ke.com/forum/1-rocnik/poslucharne/ (http://www.tu-ke.com/forum/1-rocnik/poslucharne/)
-
má niekto vypracované tieto otázky ? alebo hoci len časť z nich:
http://www.uloz.to/7205372/teoria-pdf
-
ked viem priklady a dajme tomu ze sa naucim teoriu potial, co bolo na zapoctovke, bude to stacit na 21b zo 70?
neviete niekto z predterministov kolkobodove boli ulohy?
s plnym zapoctom by som sa tam ani neukazal, neni sanca
-
ked viem priklady a dajme tomu ze sa naucim teoriu potial, co bolo na zapoctovke, bude to stacit na 21b zo 70?
neviete niekto z predterministov kolkobodove boli ulohy?
s plnym zapoctom by som sa tam ani neukazal, neni sanca
;D
-
huh ???
dajako som asi moc unaveny a som to nepochopil tie posledne 2 posty
mozte dajak jednoduchsie na mna?
-
huh ???
dajako som asi moc unaveny a som to nepochopil tie posledne 2 posty
mozte dajak jednoduchsie na mna?
http://en.wikipedia.org/wiki/Sarcasm (http://en.wikipedia.org/wiki/Sarcasm)
-
to je jaka kktina bordel v tych predikatoch, raz je to konjukcia, raz je to implikacia .. uhm ..
niekto ma dobru kondiciu
ja by som povedal ze
existuje niekto taky co ma dobru kondicku
cize
Ex O(x) => K(x)
ale v zosite mam
Ex O(x) /\ K(x)
co je existuje niekto a ma dobru kondicku
.. nechapem ..inac je to cele jasne, len toto s implikaciou vs konjukciou ak mam z vety tvorit predikat, je loteria..
-
To ta mila teta drazenska robila taky okruh tem, jak davala myskova svojim(tych 40 otazok), ci to obidve davaju z toho okruhu alebo ako je to vlastne, vie tu niekto? bv
-
To ta mila teta drazenska robila taky okruh tem, jak davala myskova svojim(tych 40 otazok), ci to obidve davaju z toho okruhu alebo ako je to vlastne, vie tu niekto? bv
Ja mam skusku zajtra pri Drazenskej, ale nenasiel som nic od nej, tak sa ucim teoriu z tych otazok od Myskovej, podla mna to bude to iste...
-
huh ???
dajako som asi moc unaveny a som to nepochopil tie posledne 2 posty
mozte dajak jednoduchsie na mna?
http://en.wikipedia.org/wiki/Sarcasm (http://en.wikipedia.org/wiki/Sarcasm)
OK, shame on me
ale vecer som uz mal dost
tak ja si to snad pozriem aspon dajaku teoriu a 21b dajako napisem
btw aka je ta miestnost?
ked nas tam bude 60, bude sa dat odpisovat alebo je velka a budeme sediet ze siroko daleko zivej duse a teda nic neodpisem
-
napise niekto otazky ake boli dnes na skuske ???? :ringsmiley:
-
ok
a este by ma zaujimalo ako boli distribuovane body na skuske
35b teoria a 35b priklady alebo ako?
-
pisomka je 35 priklady a 35 teoria .... teoriu sa mi nepodarilo sfotit ... ale bola postupnost v predikatovej logike .. veta o uplnosti vo vyrokovej ... semanticky dosledok a nepamatam uz viac .. ked si spomeniem este napisem
-
mohol by sem prosim vas niekto nahodit riesenie 4. a 5. prikladu
dakujem velmi pekne
-
ked spravim rezolucnu, ako dostanem potom to aspon jedno spravne riesenie, ci ako to povedat ?
-
OK, shame on me
ale vecer som uz mal dost
tak ja si to snad pozriem aspon dajaku teoriu a 21b dajako napisem
btw aka je ta miestnost?
ked nas tam bude 60, bude sa dat odpisovat alebo je velka a budeme sediet ze siroko daleko zivej duse a teda nic neodpisem
Velka asi ako ZP1. Takze kapacita 200 ludi? Nemam moc odhad v tomto ale asi tak dako. Na odpisovanie sa nespoliehaj. Jedine skusit tahaky
-
ked spravim rezolucnu, ako dostanem potom to aspon jedno spravne riesenie, ci ako to povedat ?
z tabulky by som to logicky vedel, ale takto ..
-
akym stylom bola riesena dnes ta teoria a s kolkych otazok bola aspon priblizne ze ci trebalo aj nejake dokazy alebo postupnosti pisat alebo len cisto teoria...
-
fi : -W(x) => Ey y|>x
e(x) -W(x) e(y):val y|>x = 1 val y|>x val fi
m 0 - 0 1
d 0 {m} 1 1
s 1 {m} 1 1
vsade jednicky, cize splnena, tak ?
-
ako mam sformalizovat v 2. priklade 3 posledne vety aby som mohol pouzit RM???
-
fi : -W(x) => Ey y|>x
e(x) -W(x) e(y):val y|>x = 1 val y|>x val fi
m 0 - 0 1
d 0 {m} 1 1
s 1 {m} 1 1
vsade jednicky, cize splnena, tak ?
ako si dostal na konci tie tri jednotky nemala byt ta prva 0???
-
0 => 0 = 1
-
0 => 0 = 1
ale ved A=>B je nepravdiva pvk A je pravdiva B nepravdiva alebo sa mylim??
dobre uz doslo mi :D
-
prosim vas ako sformalizovat vety v 2.priklade
napiste aj ako maju vyzerat vety v trojke
diky moc
-
prosim vas ako sformalizovat vety v 2.priklade
napiste aj ako maju vyzerat vety v trojke
diky moc
1.A=>B
2.E=>(a & D)
3.-(B & C)
4.(C & D) or (-C & -D)
5. D or E
-
a nebude to nahodou takto ???
1.A=>B pretoze tam je ta implikacia postavena opacne - ked pojde Alfonz, pojde aj Blazena
2.E=>(A & D)
3.-(B & C)
4.(C & D) or (-C & -D)
5. E or D
-
a nebude to nahodou takto ???
1.A=>B pretoze tam je ta implikacia postavena opacne - ked pojde Alfonz, pojde aj Blazena
2.E=>(A & D)
3.-(B & C)
4.(C & D) or (-C & -D)
5. E or D
mas pravdu tak to treba
-
ak pouzijete rezoluc metodu tak vam vyjde ze je splnitelna?? alebo co je vysledok??
-
V Karnaughovej mape sa moze kruzkovat 2,4,8,16 prvkov alebo 2,4,6,8,10...? Nasobky 2 alebo mocniny2
-
mocniny
-
4.(C & D) or (-C & -D)
Nema to byt nahodou C <=> D ??
-
tak tak
-
ja sa chcem opytat na tu vetu 3 a 5
blazena a cecilia spolu urcite nepojdu
ja som to zapisal takto:
(C & -B) or (-C & B)
no a tak podobne som riesil aj vetu 5
(C & -D) or (-C & D) or (C & D)
kedze bud pojde aspon jeden z nich alebo aj obaja
dajako mi to skuste objasnit
vdaka
...
-
naco by som tam doplnal negaciu?
ekvivalnecia ma hodnotu 1 len ked su obidve v 1. Cize pojdu len obidvaja, alebo nikto.
-
4.(C & D) or (-C & -D)
Nema to byt nahodou C <=> D ??
Ak si to upravis dostanes to iste bq
-
Mozte niekto odfotit vypocitany piaty priklad? Ten s tym klauzualnym tvarom
-
sorry, zle cislo vety som videl
viete mi niekto povedat, ci moja veta 3 a 5 je OK?
-
podla mna si nevystihol cislo prikladu. Bavime sa o cecilii a dionizovi. Ake ked dioniza - D preoperujes na Blazenu B a cele to prenesies do 3. prikladu, mohol by si mat pravdu.
-
Vie niekto ten 5. priklad, alebo nie? 9 bodov by potesilo
-
:ohmigod:
uz mi z toho hrabe a to som sa moc este ani nenaucil
moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka
-
Na skuske boli z teorie len definicie alebo aj bolo treba uviest nejaky priklad?
-
:ohmigod:
uz mi z toho hrabe a to som sa moc este ani nenaucil
moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka
tvoja veta 5 je uplne scestna. Napriklad tam mas uplne ine pismenka, nechapem ako chces aby ti to potom sedelo pri rezolucnej metode. Ma tam byt D a E
Takze nikto nema priklad c5?? Upravu na klauzualny tvar??
-
prosim vas ak ma niekto 3 a 5 priklad please dajte ho sem
thanks
-
Prilad cislo 3, dufam ze spravne prepisany.
a, Ex (T( x ) and negS(x))
b, Ex F( x )
c, T(F( x )) => T( x )
d, T(T( x ) + T( y ))
e, S( x ) <=> (T( x ) and P( x ))
Bol by som velmi vdacny za priklad c5
-
:ohmigod:
uz mi z toho hrabe a to som sa moc este ani nenaucil
moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka
tvoja veta 5 je uplne scestna. Napriklad tam mas uplne ine pismenka, nechapem ako chces aby ti to potom sedelo pri rezolucnej metode. Ma tam byt D a E
Takze nikto nema priklad c5?? Upravu na klauzualny tvar??
hej, vsimol som si prave
cize posledna uprava
3.
(C & -B) or (-C & B)
5.
(E & -D) or (-E & D) or (E & D)
takze je to OK, ci nie?
-
Neviete, treba ku Drazenskej dvojharok?
-
Prilad cislo 3, dufam ze spravne prepisany.
d, T(T( x ) + T( y ))
Vo formule nemozes mat predikat v predikate. lebo nie je term.
-
hej, vsimol som si prave
cize posledna uprava
3.
(C & -B) or (-C & B)
5.
(E & -D) or (-E & D) or (E & D)
takze je to OK, ci nie?
[/quote]
nestaci v 5. napisat (E or D) ??
-
Prilad cislo 3, dufam ze spravne prepisany.
d, T(T( x ) + T( y ))
Vo formule nemozes mat predikat v predikate. lebo nie je term.
A ako teda?
-
hej, vsimol som si prave
cize posledna uprava
3.
(C & -B) or (-C & B)
5.
(E & -D) or (-E & D) or (E & D)
takze je to OK, ci nie?
nestaci v 5. napisat (E or D) ??
[/quote]
very nice
samozrejme ze staci :buttrock:
v 4. som to urobil takto, ale ruku do ohna za to nedam
Pre kazde x1, x2 [T(x1) & T(x2)] => T([x1+x2])
teda ak obe cisla su deltitelne troma tak aj sucet je delitelny troma
-
Prilad cislo 3, dufam ze spravne prepisany.
d, T(T( x ) + T( y ))
Vo formule nemozes mat predikat v predikate. lebo nie je term.
A ako teda?
nedam za to ruku do ohna ale ja by som dal ze: (T(x) + T(y) ) = T(z) no takto to tiez nepojde lebo som sa docital ze "=" je tiez predikat binarny
-
Vie niekto poradit? prosim: som zufaly:
Vyslovte vetu o normálnom tvare??? Nenasiel som to nikde...
-
OK, pardon,
uz sa to viac nestane, vo od stvrtka uz aj tak nebudem v SR
-
4 Vyslovte vetu o normálnom tvare
Ku každej formule A výrokovej logiky existujú s ňou výrokovo ekvivalentné formuly B, C, v ktorých sú nanajvýš tie výrokové premenné, ktoré sa vyskytujú vo formule A, pričom formula B má disjunktívny normálny tvar a C má konjunktívny normálny tvar.
totaluser preco mu namiesto tych picovin radsej nepomozes? :03:
-
hm, to ze "jazyk s rovnostou" znamena ze mozem pouzit "=" ?
-
hm, to ze "jazyk s rovnostou" znamena ze mozem pouzit "=" ?
ano
-
tak potom 3b) by som dal
Ex, x = f(y)
ci ?
-
Ano...
nema fakt nikto priklad c5? staci sfotit mobilom, viem ze to je vela pisania.
-
tak potom 3b) by som dal
Ex, x = f(y)
ci ?
no ja som to riesil podobne
E x,y x=F(y)
lebo podla mna je vhodne povedat nieco aj o tom Y, teda ho nejako okvantifikovat
-
3. je podla mna takto:
a) ┐(Vx)(T(x)˄F(x))
b) (Ex)(x=f(y))
c) T(f(x))=>T(x)
d) T(+(T(x),T(y)))
e) S(x)<=>(T(x)˄P(x))
inak, v tom prvom po a) sa nemoze dat existencny kvantifikator, ako si to vela ludi mysli, lebo veta a) nepoukazuje na EXISTENCNY kvantifikator, ale na VSEOBECNY, teda musime pracovat s tymto... Jednoduchou negaciou dostaneme slovne spojenie "nie kazde" :)
-
A aky je rozdiel, medzi tym, ked povies:
1/ Nie kazdy je velky.
2/ Existuje niekto, kto je maly.
hmm?
-
4 Vyslovte vetu o normálnom tvare
Ku každej formule A výrokovej logiky existujú s ňou výrokovo ekvivalentné formuly B, C, v ktorých sú nanajvýš tie výrokové premenné, ktoré sa vyskytujú vo formule A, pričom formula B má disjunktívny normálny tvar a C má konjunktívny normálny tvar.
diky
-
co je klauzularny variant k uzaveru formuly? ;D
-
v jazyku s rovnostou je = binarny predikat ?
-
A aky je rozdiel, medzi tym, ked povies:
1/ Nie kazdy je velky.
2/ Existuje niekto, kto je maly.
hmm?
praveze v tomto...ako to povies...ty mas pisat podla toho, co je napisane v priklade...ak tam mas napisane NIE KAZDY, tak nebudes predsa pisat EXISTUJE, nie?? :) je to logicky to iste, ale inak sa to pise...
-
d) T(f(T(x),T(y)))
len nerozumiem, preco si tam pouzil to "f".... sice chapem, ze je to jediny binarny predikatovy symbol tam, ale tak v tej formule nie je ani zmienka o "f" teda o tom, ze priradi druhu mocninu....
v d) je sucet dvoch cisel....nemozes napisat T(x) + T(y) :D :D musis pouzit funkciu....ak je f binarna, tak robi sucet dvoch cisel...
-
d) T(f(T(x),T(y)))
len nerozumiem, preco si tam pouzil to "f".... sice chapem, ze je to jediny binarny predikatovy symbol tam, ale tak v tej formule nie je ani zmienka o "f" teda o tom, ze priradi druhu mocninu....
v d) je sucet dvoch cisel....nemozes napisat T(x) + T(y) :D :D musis pouzit funkciu....ak je f binarna, tak robi sucet dvoch cisel...
jj jasne, sry mas pravdu :) dnes som prisiel na jednu vec.... mal by som si poriadne precitat co pise v zadaniach az potom rozmyslat ;D
-
bullshit kamarade
d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi
podla mna .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu
-
bullshit kamarade
d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi
podla mna .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu
f ako binarna funkcia spocita 2 cisla...citaj poriadne...je to na za tym, ze priradzuje mocninu ;) + pokial viem, nemozes pouzit len tak...musi to byt vo funkcii...
-
bullshit kamarade
d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi
podla mna .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu
v zosite som nasiel nieco take, ze namiesto +(x,y) sa pouziva x+y... namiesto "patri"(x,y) sa pouziva x "patri" y...ergo z toho mi vychadza, ze oba zapisy su spravne, akurat to "f" zmenit na plus kvoli tomu co si spomenul...
-
bullshit kamarade
d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi
podla mna .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu
f ako binarna funkcia spocita 2 cisla...citaj poriadne...je to na za tym, ze priradzuje mocninu ;) + pokial viem, nemozes pouzit len tak...musi to byt vo funkcii...
prepac, ale co si chuj ;D?
"..unarnym funkcnym symbolom: f - pripadi prirodz. cislu jeho druhu mocninu a binarnym funkcnym symbolom + pre scitanie"
-
Výrok dňa:
Nehľadaj logiku v matematickej logike :D
-
bullshit kamarade
d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi
podla mna .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu
v zosite som nasiel nieco take, ze namiesto +(x,y) sa pouziva x+y... namiesto "patri"(x,y) sa pouziva x "patri" y...ergo z toho mi vychadza, ze oba zapisy su spravne, akurat to "f" zmenit na plus kvoli tomu co si spomenul...
no hej, to je detail ci to napises tak ci onak, problem podla mna je ze T(T(x)) uz nie je formula, kedze T(x) neni term, cize uz "+" ako funkcny symbol, uz tma je ta termovost porusena, ci? ;D
rozmyslam, ale sak to sa ani inac neda jak nevnorit tam ten T(), jedine nejake ((a+b) /\ T(a) /\ T(b)) ale to sa mi zda kus odveci
-
bullshit kamarade
d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi
podla mna .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu
f ako binarna funkcia spocita 2 cisla...citaj poriadne...je to na za tym, ze priradzuje mocninu ;) + pokial viem, nemozes pouzit len tak...musi to byt vo funkcii...
prepac, ale co si chuj ;D?
"..unarnym funkcnym symbolom: f - pripadi prirodz. cislu jeho druhu mocninu a binarnym funkcnym symbolom + pre scitanie"
a vazne :D diky, mas pravdu ;) to som sa sekol s inym prikladom, tam bola f presne tak, ako som pisal...ze ak je unarna, tak je mocnina a ak je binarna, tak je ako scitavanie...teda ak si napisal f(x) tak to bola mocnina, a ak f(x,y), tak to bolo scitavanie :D tak teda, nepouzijes f ale +...ale je to ako funkcny symbol, teda je akokeby funkciou, teda to mozes zapisat ako +(x,y)...z toho dovodu, ze nemozes napisat T(T(x)+T(y)), lebo predikat bude v dalsom predikate...ale mozes napisat T(+(T(x),T(y)))...teda neviem, podla mna by to takto malo byt...obidva zapisy, ako bolo spominane su spravne... Este raz sorry za FAIL :)
-
Pre kazde x1, x2 [T(x1) & T(x2)] => T([x1+x2])
toto sa mi najviac paci
-
Pre kazde x1, x2 [T(x1) & T(x2)] => T([x1+x2])
toto sa mi najviac paci
je to pekne, akurat nechapem tym hranatym zatvorkam vovnutri okruhlych.. :D a este by som vynechal "pre kazde x1,x2", lebo tam o tom nic nieje v priklade....ja len tak, ze podla mna si budu vsimat kazdu somarinu, tak zeby to nevzali ako chybu...kvantifikator by som proste vyradil, malo by to aj tak zmysel...
-
tie hranate som tam dal len aby sa zvyraznilo to scitanie, ze to je funkcia (inac by som dal napr T(+(x1, x2)), ale to je jedno, aj keby si ich tam nedal, podla mna ok)
ten kvantifikator nam vravel cviciaci
ze ked neni povedane explicitne, mam sa na to pozriet a dat podla toho, ako to plati
kedze toto plati pre kazde take cislo co je delitelne troma, dal som vseobecny
opat, ruku do ohna za to nedam, ale ja by somho tam dal
-
este k dvojke po d)
(c/\d) V (-c /\ -d)
ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?
cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad
-
zevraj kazdy s kazdym a tautologie ignorujem a nedam ich do rezolucnej
-
este k dvojke po d)
(c/\d) V (-c /\ -d)
ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?
cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad
co tak C<=>D?? ;) bud obidve jednotky, alebo obidve nuly....
-
este k dvojke po d)
(c/\d) V (-c /\ -d)
ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?
cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad
co tak C<=>D?? ;) bud obidve jednotky, alebo obidve nuly....
no hej, to je jedno, aj tak to musis rozpocitat a vyjde ti -cVd /\ -dVc
-
este k dvojke po d)
(c/\d) V (-c /\ -d)
ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?
cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad
Z toho (c/\d) V (-c /\ -d) napises ekvivalentnimi upravami toto (C \/ -D) /\ (D \/ -C) a v rezolucnej pracujes len s (C \/ -D), (D \/ -C)
-
bv zajtra to asi bude kopec srandy :ropebanana:
-
okej podme na tu 5ku vajcaci
-
okej podme na tu 5ku vajcaci
podla mna previezt totu velku pcvinu do klauzularneho tvaru.....teda na klasicky konjuktivny tvar....
-
no to jo, ale predtym uzavret formulu, premenovat one, vytiahnut kvantifikatore dopredu, skolemizovat a az tak..
-
no to jo, ale predtym uzavret formulu, premenovat one, vytiahnut kvantifikatore dopredu, skolemizovat a az tak..
jej prenexny tvar by mal (podla mna :D ) vyzerat nejako takto:
┐(Vx)(Ǝu)(Vt)((P(x,y)=>Q(x)˅R(z))=>(Q(u)˄P(t,t)))
kde za y som dosadil t a za z som dosadil u v druhej casti za tou implikaciou.... A toto by sa malo previest na konjuktivny tvar, nie??
-
hej, a este uzavri ju, cize ovlne vyskyt zviaz
-
hej, a este uzavri ju, cize ovlne vyskyt zviaz
(P(x,y)=>Q(x)˅R(z))=>(Q(u)˄P(t,t))
tu ju mas, vsetko volne :D
k teme: asik myslis tu skolemizaciu, ci jak sa tota ona vola...toto neviem robit, treba sa asik naucit....ale zneje to dost zlozito... :D vie to tu niekto??
edit.:
inak, sekol som sa.....ma to vyzerat takto, lebo tie kvantifikatory su az za implikaciou, vtedy sa nemenia zo vseobecnych na existencne a opacne.....dalsi FAIL, mal by som sa uz asik na matiku vykaslat :D
┐(Vx)(Ǝu)(Vt)((P(x,y)=>Q(x)˅R(z))=>(Q(u)˄P(t,t)))
edit2.:
uzaver by mal mat vsetky premenne viazane....teda malo by to vyzerat nejako takto:
uzaver: ┐(Vx)(Vy)(Ǝu)(Vt)((P(x,y)=>Q(x)˅R(z))=>(Q(u)˄P(t,t)))
a skolemovsky tvar to skomoli :D pokial som dobre pochopil, odstrania sa existencne kvantifikatory a pomocou funkcii vseobecnych premennych sa urobia existencne premenne....asik to pisem zlozito a odveci, ale tu je proste vysledok mojich myslienkovych pochodov :D
skolemovsky tvar: ┐(Vx)(Vy)(Vt)((P(x,y)=>Q(x)˅R(z))=>(Q(f(y))˄P(t,t)))
je to dobre?? moze byt?? uz sa to moze prerabat na konjuktivny tvar??
-
dobre len, ak je E tak musis zmenit na f(, , , , ) vseobecnych pred nim, cize das potom Q(f(x,y))
plus este tusim tie pravidla pre implikaciu su kus ine, takze najprv si to pojeb do konjukcii implikacii, az tak vyberaj
-
matiku nechcem vidiet minimalne pol roka, uz mi z toho kvalitne zajebava, asik uderim pivo abo co na prebratie......
Takze, akosi som to prerobil, ci to je dobre to neviem a pravdupovediac ma to ani nejak extra netrapi.... :D napisem mu tam toto, co som pisal tu a ked im to nebude stacit, tak mi dufam daju aspon nejaky ten bodik.... :) Takze, spet ku mojmu vytvoru... konjunkcia a disjunkcia ma vecsiu prioritu, ako implikacia, teda...pre zjednodusenie budem pisat iba pismena predikatov ;) nesme v skole :D
(P=>(Q˅R))=>(Q˄P)
┐(P=>(Q˅R))˅(Q˄P)
(P˄┐(Q˅R))˅(Q˄P)
(P˄┐Q˄┐R)˅(Q˄P)
a mame disjunktivny tvar :D ppc :banana_guitar: parada, ja to uz kaslem....komu sa chce, nech to dokonci...ja idem asik biflit teoriu, lebo z nej neviem ani hovno... :D
napisem do skusky:
P˄┐Q˄(┐R˅Q)˄P
a neriesiiiiiiiim bq
-
Kedze som nikde nenasiel jasnu odpoved na otazku cislo 2, tak som zacal nad tym rozmyslat, akoby sa to dalo... Mame pouzit rezolucnu metodu, ale ako pomocou nej zistit, ktori ludia maju ist na ten vylet?? Chcel som na to prist nejakym inym postupom, ale stale som niekde zlyhal, je to dost zlozite... Tak som sa vratil spet k myslienke s tou rezolucnou metodou... Kazdy si to asik hadze rovno do tej tabulky a hlada stvorec... Pisem tu cely postup, ako som sa ku tomu dostal. Snad si to niekto este rano precita :)
zadane:
A=>B, E=>(A˄D), ┐(B˄C), C<=>D, E˅D
po uprave na konjuktivny tvar to (u mna :D ) vyzera takto:
(┐A˅B)˄(┐E˅A)˄(┐E˅D)˄(┐B˅┐C)˄(┐C˅D)˄(┐D˅C)˄(E˅D)
mojimy myslienkovymi pochodmi som prisiel na uzasnu vec :D kazda elementarna disjunkcia musi byt vyhodnotena ako 1...ale ako to docielit...??? Spominanou rezolucnou metodou si to trosicku zjednodusime...
[1,2] [3,7] [4,6] [5]
(B˅┐E)˄D˄(┐B˅┐D)˄(┐C˅D)
dalsia uprava:
[1,3] [2] [4]
(┐E˅┐D)˄D˄(┐C˅D)
finalna uprava:
[1,2] [3]
┐E˄(┐C˅D)
dosiel som ku tomuto...dalej sa to upravovat neda, teda je jasne, ze to splnitelne je...ale ked sa pozrieme na to, co nam vzniklo, tak je jasny (jeden) par veci... E urcite nepojde na vylet a kedze ma byt ┐C˅D pravdive, tak to z tohto nemozme jednoznacne urcit. Preto sa pozrieme uplne na zaciatok... Je tam nieco take ako: E˅D... Kedze vieme, ze E bude nulove, tak D MUSI byt jednotkove... Z toho vyplyva, ze D bude jednotka. Kedze C<=>D, tak aj C bude 1. Kedze ┐(B˄C), tak B musi byt 0. Ostalo nam A, ktoreho hodnota vyplyva z A=>B. B vieme, ze je 0 a ak to ma byt pravdive pre 0, tak na mieste A musi byt tiez 0. Teda mame vysledok:
A = 0
B = 0
C = 1
D = 1
E = 0
Z tohto vyplyva, ze na vylet pojdu iba cecilia a dioniz... Nech sa zabavia ;) Kto mi neveri, nech si hocikde vyssie do formul dosadi hodnoty za jednotlive pismenka, ci mu vsade povychadzaju jednotky ;)
Drzim palce zajtra ;) drzte aj mne :D
-
ked mate tieto vety prepisat slovne, tak vzniknu dve rovnake vety?
(∀x) (Ǝy) (x⊳y∧┐W)
(Ǝy) (∀x) (x⊳y∧┐W)
-
no, nad tym som aj ja rozmyslal, dal som hej, ale zevraj ma byt rozdielne..
//ta nam nalozila, teorie hlavne :huh2:
-
dnesne priklady a otazky asi nikto nezaznamenal? bk
-
napadlo ma to ze by sa zislo vyfotit, ale jednak som nemal cim a striehla tam ako sup taze som bol rad ze sa ako-tak dal pouzit tahak :D
-
yeeeeees ... je tam !!! :evica: mam za sebou ... :metal: :metal: :metal: :metal:
-
nema niekto odfotenu skupinu C s Myskovou ?
iba priklady by som potreboval
-
A skupina posledny priklad ak si niekto pamata, trebalo vypisat vsetky klauzuly a nemam ani sajnu co tam chcela :DDD vie niekto?
-
drazenska nam vcera nakladla neskutocne :D toto sme si nezasluzili :( :( :(
-
mal si dojsť načas :D
-
ved som dosiel 29 :D neviem co sa tak rozculila hned :DDD
-
len by som chcel vediet ci priklady na skuske 5ho boli rovnakeho typu ako na predtermine a ci si zhruba niekto pamata teoriu ked uz to nikto nesfotil,danke
-
ved som dosiel 29 :D neviem co sa tak rozculila hned :DDD
Nechcem sa hadat ale nebolo to 29 ale 31 a stali ste dam dole jak .... keby ste nechceli ist na skusku asi 10 ludi
-
zle vam vsetkym sli hodinky :D my sme boli nacas :D
-
len by som chcel vediet ci priklady na skuske 5ho boli rovnakeho typu ako na predtermine a ci si zhruba niekto pamata teoriu ked uz to nikto nesfotil,danke
hej ako na predtermíne. Niektoré boli dokonca rovnaké. plus v príkladoch bola ešte rezolučná medóda predikátovej
-
ved som dosiel 29 :D neviem co sa tak rozculila hned :DDD
Nechcem sa hadat ale nebolo to 29 ale 31 a stali ste dam dole jak .... keby ste nechceli ist na skusku asi 10 ludi
nooo booze... az minutu sme meskali.... dobre, ze kvoli tomu svet nespadol... a ona sa nervovo nezrutila... ne kazdy ma doma atomove hodinky jak ona... ;) a asi si zaobstaram pistol a ujovi v elektricke poviem, ze ked uz tolko meska tak nech sa nezastavuje na semaforoch lebo mojej matematikarke sa nepaci, ze meskam... minutu :D a navyse jasne, ze sme tam stali len tak, zo spodu to vyzeralo, ze nie je kde sadnut a jej asi nedotrklo, ze ma nam ma milostiva najprv objasnit kde sa moze a kde nemoze sadat.... ale tak to len detail bq ;D
-
omg čo tu riešite zbytočnosti? Keď sa jej to nepáčilo tak to je je jej problém. Horšie by bolo, keby vás rovno vyhodila :D
-
omg čo tu riešite zbytočnosti? Keď sa jej to nepáčilo tak to je je jej problém. Horšie by bolo, keby vás rovno vyhodila :D
lebo sranda musi byt ne? :bannana_guitar: :beer1:
-
a z teorie boli len tie veci co tu niekdo zdielal v pdfku pod nazvom teoria? tusim myskova im to davala,lebo zacinam davat dokopy teoriu z prednasok tak nech viem na co sa mam vyje....kaslat ah:
-
hej, ked sa naucis vsetky tie otazky tak s teorie na skuske by si nemal mat problem
-
hej, ked sa naucis vsetky tie otazky tak s teorie na skuske by si nemal mat problem
stale tam je to BY ktore mi nevnasa pokoj do duse :) chcem vediet este nazor viac ludi bk
-
hej, ked sa naucis vsetky tie otazky tak s teorie na skuske by si nemal mat problem
ja som mal z toho pdfka 3 zo 6 otázok. Takže len to pdf nestačí
-
hej, ked sa naucis vsetky tie otazky tak s teorie na skuske by si nemal mat problem
ja som mal z toho pdfka 3 zo 6 otázok. Takže len to pdf nestačí
takze mi je odporucane radsej si prejst tie prednasky ktore tu dal niekto zdielat,vsetku teoriu zaradom :)
-
prejdi si všetky otázky z toho pdf, otázky z pedtermínu a ak sa ti bude chcieť tak aj prednášky :D. Neviem, čo všetko je na tom pdf s prednáškami
-
vtipne,a moje dni trvaju 48 hodin :) postaci mi to pdfko s otazkami doplene o otazky z predterminu,plus by som bol happy keby si niekto spomenul na akekolvek dalsie otazky co sa nenachadzaju na tom myskovej pdfku :metal:
-
hej, ked sa naucis vsetky tie otazky tak s teorie na skuske by si nemal mat problem
ja som mal z toho pdfka 3 zo 6 otázok. Takže len to pdf nestačí
ktore to boli ? lebo ja som napr. mal vsetky otazky z toho pdfka
-
hej, ked sa naucis vsetky tie otazky tak s teorie na skuske by si nemal mat problem
ja som mal z toho pdfka 3 zo 6 otázok. Takže len to pdf nestačí
ktore to boli ? lebo ja som napr. mal vsetky otazky z toho pdfka
dobrá otázka :D
-
a mohol by sa niekto vyjadrit o predtermine a skuske s Drazenskou ??? dik
-
uz mam od drazenskej vysledok na maise.. bq bp
-
49 bodov...poj*balo byyyyyyyyyyyy bu bu bu bu bu bu bu bu bu
-
taaak E 55 :beer1: :D som spokojny, este raz pisat zeby som siel ku nej dajaku skusku z toho, to by chcelo nasilie... vela nasilia na mne napachat ;D
-
do prrdele jak ti fajne :D To mi musela posanovat tote 2 body :(
-
do prrdele jak ti fajne :D To mi musela posanovat tote 2 body :(
tak ako uprimne, cakal som viac, ze na teorii nachytam.. neviem jak to hodnotila a rozmyslam, ze radsej ani vediet nechcem, lebo vyskumy potvrdzuju, ze rozculovat sa nie je dobre pre zdravie... ;D hej noo... asi ma plany tyzden... abo svoje dni.... abo oba naraz ;D
-
do prrdele jak ti fajne :D To mi musela posanovat tote 2 body :(
tak ako uprimne, cakal som viac, ze na teorii nachytam.. neviem jak to hodnotila a rozmyslam, ze radsej ani vediet nechcem, lebo vyskumy potvrdzuju, ze rozculovat sa nie je dobre pre zdravie... ;D hej noo... asi ma plany tyzden... abo svoje dni.... abo oba naraz ;D
dufam ze ju to prejde do stvrtku :o
-
lol zo skusky som chytil neuveritelnych 14 bodov :D:D
V pondelok tam idem pozriet, to som zvedavy, jak to opravovala.
-
Pri zapocte 37 to je idealna cifra :)
-
OMFG E55,
33b zo skusky, dve body viem kde som posral, cize 28+5b, cize iba jednu skurvenu ulohu mi uznala z teorie a to som mal SECKO, pici tam, tak isto ma ojebali aj na MAT1, mrte by som chcel vidiet jak opravovali tu teoriu, ale jebem ich do ucha sa hadat arghh
-
OMFG E55,
33b zo skusky, dve body viem kde som posral, cize 28+5b, cize iba jednu skurvenu ulohu mi uznala z teorie a to som mal SECKO, pici tam, tak isto ma ojebali aj na MAT1, mrte by som chcel vidiet jak opravovali tu teoriu, ale jebem ich do ucha sa hadat arghh
Tak asi netreba riesit blbe priklady pred skuskou ktore mala druha skupina (a my sme take nemali) ale sa treba presne naucit teoriu nestaci vlastnymi slovami ale presne definicie matika sa uci tak veta+ dokaz, definicia + veta + dokaz ja som sa to ucil tak a som spokojny so svojimy bodmi.
-
please, shut up
-
please, shut up
Pravdu ludia nemaju radi :D
-
ok sry, achjaj akoze fakt, nerozumiem co som tam pisal ze 0 za kazdu okrem jednej..whatever, spravil som, ale nasere..
-
ok sry, achjaj akoze fakt, nerozumiem co som tam pisal ze 0 za kazdu okrem jednej..whatever, spravil som, ale nasere..
a nemoze byt ze si stratil na nejakom priklade hoci si si isty chybicka sa tam mohla dostat . Skus skocit na vyhodnotenie. hoci s tym E uz ajtak nic nespravis len ak nepojdes na opravnu.
-
takze ku kazdej vete treba aj to overenie co je v prednaskach za kazdou vetou? to nieje myslene vazne preboha
-
mam jednu vetu ktoru som si neni vobec isty, ako byt o malo byt spravne?
Dovolenkari Alfonz, Blazena, Cecilia, Dionyz a Emilia sa rozhoduju ci pojdu na vylet. Podmienky od ktorych zavisy ucast jednotlivych dovolenkarov.
- Aspon jeden z panov Dionyz a Emil si vylet nenechaju ujst.
(E /\ D) V (neg. E /\ D) V (E /\ neg. D)
alebo iba
E v D
-
prosim vas mohol by niekto napisat otazky + priklady skupiny A ktore boli na skuske 05.01. s drazenskou ???
dakujem
-
chcem sa opytat, niekde tu bolo PDF s otazkami vola sa
Teória.pdf
je tam dokopy 16 + 19 otazok z vyrokovej a predikatovej logiky,staci ak sa na skusku naucim tuto teoriu? vdaka
edit:skusajuca myskova
-
a ku komu ides na skusku ?
-
myskova
-
tak potom staci
-
tak potom staci
tak co pisali ludia co boli na skuske aj u drazenskej to staci samozrejme ak nechces mat plny pocet kedze sa moze vyskytnut nieco co tam nieje,zatial som si to teoria.pdf doplnil len o jednu otazku a to - Napiste pravidlo rezolucie a rezolucny princip.
-
Kedy ma byt zajtra to vyhodnotenie u drazenskej a kde? Nejak som si to zabudol poznacit.
-
nesupne tu niekto otazky z teorky co bol pri drazenskej a bol A skupina???
-
o kolkej je vyhodtenie pri myskovej a kde ??
-
V stredu, o 14:00, v BN604.
-
v druhom priklade ma byt prva veta A => B alebo B => A?
-
v druhom priklade ma byt prva veta A => B alebo B => A?
B => A
-
Dakujem :) tak podla rovnakej logiky mi vychadzaju vety ze
1. B => A
2 (A a D) => E
3. B v C
4. C <=> D
5. D v E
A na konci vysledok ze nejde nikto nikam... spravne? :D
-
Dakujem :) tak podla rovnakej logiky mi vychadzaju vety ze
1. B => A
2 (A a D) => E
3. B v C
4. C <=> D
5. D v E
A na konci vysledok ze nejde nikto nikam... spravne? :D
riesil som to a spravne, pozri si moj posledny prispevok trosku dozadu... :) ja to spravne mam, ide o to urobit taku kombinaciu 0 a 1, ze kazdy a jeden vyrok ti vyde pravdivy, teda 1....mam tam aj "dokaz" :D
-
ked pojdem na opravny a spravim na horsie alebo nespravim, co sa deje ?
-
tak u drazenskej aspon co si pamatam boli otazky
prenexny tvar, literal, klauzula - vsetko v PL
co je uplny system logickych spojok + bolo zadane daco a urcit ci tvori uplny system log. spojok
dalej ten zakon rezu a rezolucny princip ci ako to je
definovat strukturu jazyka
a este 1 otazka z terie ale nespomeniem si :D
a priklady karnaughova mapa pre 5 prvkov
prepisat vyroky (v jazyku pribuzenstva) do viet
rezolucna metoda v predikatovej logike
este nejake 2 priklady, jeden z VL lahky nieco trebalo dokazat tam cez tu tabulku ci je semanticky ekvivalentne
a ten druhy nemam sajnu :D
-
vcera kto bol a mal skupinu B?
-
ludkovia, ti ktori ste boli 13.01. na skuske pri drazenskej ,
mohli by ste prispiet otazkami ktore sa tam objavili ???
dakujem
-
ludkovia, ti ktori ste boli 13.01. na skuske pri drazenskej ,
mohli by ste prispiet otazkami ktore sa tam objavili ???
dakujem
z teorie co si pametam:
veta o dedukcii uplnosti
PL definovat abecedu rozdelit na specialne a logicke
dalej co je tautologia kedy je formula sponitelna kedy splnena co je literal co DNT KNT min KNT minDNT
tak dalej co je formula v PL alebo vo VL uz prestne neviem dalej definovat co je dokaz vo VL
priklady rezolucna metoda
rezolucna met.v PL
klauzularny tvar
k.mapa o 5 premennych a napisat aj mkt a aj mdt do jednej otazky ako wtf.
dalej vl prepisat formuly do VL
viac si nepametam....
-
preco sme my 5ho nemali take otazky to by som vsetko vedel :ringsmiley:
-
Zdravím,neviete ako ma vyzerat riesenie na priklady 2,4,5? resp.nemate ich niekto vyriesene?Su to otazky zo skuzky(skupina Myšková)
http://img819.imageshack.us/img819/9605/fotografia681.jpg (http://img819.imageshack.us/img819/9605/fotografia681.jpg)
http://img692.imageshack.us/img692/4254/fotografia680.jpg (http://img692.imageshack.us/img692/4254/fotografia680.jpg)
-
kedy je zajtra vyhodnotenie pri drazenskej a kde?????????
-
kedy je zajtra vyhodnotenie pri drazenskej a kde?????????
vyhodnotenie uz bolo na maise :D toto bude len konzultacia :P
a.. v BN32 niekde na siestom poschodi.. dakde tam ma kancl..
a.. tusim od osmej do dvanastej, ale to uz neviem presne..
(tiez tam idem sa kuknut jak to opravovala :ohmygod: )
-
trebalo si na skusku vytlacit nejaky papier tak ako to bolo na matike1 ? {skusku mam u myskovej}
-
zajtra ma skusku Myskova ci Drazenska? :D
-
zajtra ma skusku Myskova ci Drazenska? :D
myskova :P drazenska pozajtra...
-
sakra :/ Tak sa idem ucit :D
-
sakra :/ Tak sa idem ucit :D
no trebolo by ...najvyssi cas ;D a treba nejaky papier doniest ci ona da ? 8)
-
na teoriu da ona a na priklady treba mat vlastny.... bv
-
na teoriu da ona a na priklady treba mat vlastny.... bv
diky ;)
-
takze ja to vidim tak ze asi by to uz trebalo spravit jak tak civim na ten mais je to jej posledny termin a aj moj dekansky :D :D am
-
takze ja to vidim tak ze asi by to uz trebalo spravit jak tak civim na ten mais je to jej posledny termin a aj moj dekansky :D :D am
GL ;) ...ja v maise vidim este jeden a posledny termin s myskovou 08.02.2011 08:00... 8)
-
Ta u mna prvy termin to je :D Ani nie som nan prihlasena, bo som stale prihlasena na ten ktory som prespala :D Ak zajtra zas zaspim ta uz neviem... ;D
-
Hahaaa nezaspala som :D Ale ma zjebala kusok, nevadii, brala som to s usmevom! :D Hlavne ze skusku som snad spravila ;D
-
Neviete co mam ocakavat zajtra na dekanskom u drazdenskej? podobne otazky ako boli doteraz na riadnom a opravnom? ci da nieco ulne ine? nemate niekto nejake info resp skupina u myskovej mali ste tazku dnes skusku?
-
ak ma niekto otazky z 19.01. (u drazenskej) tak nech prispeje prosim
dakujem
-
ak ma niekto otazky z 19.01. (u drazenskej) tak nech prispeje prosim
dakujem
a co tie otazky budu zajtra na opravaku?
-
vedel by mi tu niekto hodit prestnu definiciu kedy je formula splnena a kedy splnitelna v strukture M v predikatovej logike thx >:(
-
vedel by mi tu niekto hodit prestnu definiciu kedy je formula splnena a kedy splnitelna v strukture M v predikatovej logike thx >:(
Formula je splnena, teda platí v strukture M, ked je v tejto strukture pravdiva pri kazdom ohodnoteni premennych.
Ak je v strukture M pre jazyk teorie T splena kazda axioma teorie T, hovorime ze m je model teorie T. Teoria,ktora ma model je splnitelna.
-
zajtra Dekansky :metal:
-
B! bq A to som z teorie takmer nic nemala ;D
-
borci nejaky link na priklady ???aby som to dnes vecer este aspon precivicil typu klauzularny tvar rezolucny strom mne sa nedari na nete nic najt :'( :baaa:
-
ved pocitaj dookola tie zo zbierky, ine aj tak neda :D
-
ved pocitaj dookola tie zo zbierky, ine aj tak neda :D
kde najdem zbierku????????????
-
B! bq A to som z teorie takmer nic nemala ;D
pri myskovej? To sa necudujem. Skus si skoci na skusku ku drazenskej
-
B! bq A to som z teorie takmer nic nemala ;D
pri myskovej? To sa necudujem. Skus si skoci na skusku ku drazenskej
taa ja som vedela asi dve poucky z teorie a tie odslova do slova! :D A tie dala hihi :D Ostatne som nevedela uz :/
-
god damned.. a to som si myslel ze tam nemam co dodrbat.. 48b
myslite ze sa mi oplati ist na vyhodnotenie ked je to uz na maise? a z teorie toho moc neviem ???
-
tak sa nauc zajtra doobeda daco a chod :D
-
podla mna urcite, mozno za pekne oci 3 body najde
-
tak nic :) idem sa drvit na dekansky.. asi nemam dost pekne oci :D, ale aspon si nebudem vycitat ze som to nevyskusal.. mozem si len vycitat ze som spravil skolacke chyby a te 3 body som mohol mat.. ba aj viac..
-
Neviete niekto kedy a kde je v pondelok vyhodnotenie u Drazenskej? Tentoraz som si to aj napisal, ale neviem najst nikde ten papier.
-
u nej v kabinete v BN na samom vrchu dolava na dverach ma Drazenska Myskova od 9-11 :thumbs-up: