Zkouška 12.9.2006 + skóre
- random
- Matfyz(ák|ačka) level II
- Příspěvky: 63
- Registrován: 30. 5. 2005 11:40
- Typ studia: Informatika Mgr.
- Kontaktovat uživatele:
Zkouška 12.9.2006 + skóre
Venku pěkně svítilo sluníčko...
- tutchek
- Site Admin
- Příspěvky: 795
- Registrován: 21. 9. 2004 00:40
- Typ studia: Informatika Mgr.
- Login do SIS: tulam4am
- Bydliště: Praha, Bohnice
- Kontaktovat uživatele:
Takze... konecne jsem napopate dovrsil svuj prvni pokus.... ted jen doufat ze bude i posledni ))
pamatuju si:
prevedte do CNF: (nejaky hnus fialovy)
dokazte
|- [(A->B)->C] --> [A -> (B -> C)]
|- (A&B)&C --> A&(B&C)
... mnoho prikladu, ktere jsem ani nevedel, natoz abych si pamatoval zadani.... ale opet vesmes teorie a nejaky kejkle s nimi... rozhodne tentokrat nic z toho co jsme se ucili primo... same aplikace
dokazte v PA: (Vx)(x >= 0)
pamatuju si:
prevedte do CNF: (nejaky hnus fialovy)
dokazte
|- [(A->B)->C] --> [A -> (B -> C)]
|- (A&B)&C --> A&(B&C)
... mnoho prikladu, ktere jsem ani nevedel, natoz abych si pamatoval zadani.... ale opet vesmes teorie a nejaky kejkle s nimi... rozhodne tentokrat nic z toho co jsme se ucili primo... same aplikace
dokazte v PA: (Vx)(x >= 0)
exAdmin. Magistr přes umělou inteligenci. Právník přes daně.
- Hugo
- Donátor
- Příspěvky: 233
- Registrován: 2. 6. 2005 13:31
- Typ studia: Informatika Mgr.
- Bydliště: treti kontejner zleva
- Kontaktovat uživatele:
tendence ztezovani opet nezklamala (alespon, co se tyce cetnosti veci, ktere lze najit ve skriptech - dnes snad nebyly zadne, same vymysleni)..
nevim, zda si to pamatuji dobre, spise jen matne zachvevy z me mysli (pozor, uz jsem se tu jednou udajne seknul ,
takze, co jeste nenapsal tuchek
- L je jazyk a M jeho model, A fle L, A' uzavrena fle, dokazte M|=A prave kdyz M|=A' (10B)
- plati to same, jako v predeslem priklade, pricemz mame jeste uplnou aritmetiku Th(M) (jsou v ni pravdive vsechny uzavrene fle), dokazte, ze je to uplna teorie (10B)
-dokazat nejake odvozovaci pravidlo (nejaky rez) AvB, nonA v C|-BvC, pricemz B nebo C nebo i oboji muze byt vynechano. Pokud jsou vynechana B i C, znaci se to novym specialnim symbolem, ktery vlastne oznacuje false (k tomu tam bylo jeste o hodne delsi povidani, uz nevim, co tam vse bylo). Dokazat korektnost tohoto pravidla. (15B)
-Pak tam bylo neco ve stylu L je jazyk teorie T a jazyk L' teorie T' vznikne rozsirenim z L o nove konstanty a,b,c.
dokazte je-li T'|-a=b ->(b=c -> a=c) pak T|-x=y ->(y=z -> x=z) (10B)
- dokazat jednoduchou fli s nerovnostmi, ktera se vyskytla na 1. terminu (5B)
-a to posledni si moc nepamatuji, neco ze pro kazdy model T plati, ze je i modelem T' a dokazat, ze T' je rozsirenim T
a pak jeste dokazat s nejakymi dalsimi predpoklady ekvivalenci tech teorii (ale to zadani bylo mnohem delsi, sorry 10B
a ten dukaz z PA, ze vsechny x jsou nezaporne byl za 15B
no, pocitejte, ze jsem se v tech zadani urcite spletl, neco napsal nepresne, sem tam pozapomnel zminit
nevim, zda si to pamatuji dobre, spise jen matne zachvevy z me mysli (pozor, uz jsem se tu jednou udajne seknul ,
takze, co jeste nenapsal tuchek
- L je jazyk a M jeho model, A fle L, A' uzavrena fle, dokazte M|=A prave kdyz M|=A' (10B)
- plati to same, jako v predeslem priklade, pricemz mame jeste uplnou aritmetiku Th(M) (jsou v ni pravdive vsechny uzavrene fle), dokazte, ze je to uplna teorie (10B)
-dokazat nejake odvozovaci pravidlo (nejaky rez) AvB, nonA v C|-BvC, pricemz B nebo C nebo i oboji muze byt vynechano. Pokud jsou vynechana B i C, znaci se to novym specialnim symbolem, ktery vlastne oznacuje false (k tomu tam bylo jeste o hodne delsi povidani, uz nevim, co tam vse bylo). Dokazat korektnost tohoto pravidla. (15B)
-Pak tam bylo neco ve stylu L je jazyk teorie T a jazyk L' teorie T' vznikne rozsirenim z L o nove konstanty a,b,c.
dokazte je-li T'|-a=b ->(b=c -> a=c) pak T|-x=y ->(y=z -> x=z) (10B)
- dokazat jednoduchou fli s nerovnostmi, ktera se vyskytla na 1. terminu (5B)
-a to posledni si moc nepamatuji, neco ze pro kazdy model T plati, ze je i modelem T' a dokazat, ze T' je rozsirenim T
a pak jeste dokazat s nejakymi dalsimi predpoklady ekvivalenci tech teorii (ale to zadani bylo mnohem delsi, sorry 10B
a ten dukaz z PA, ze vsechny x jsou nezaporne byl za 15B
no, pocitejte, ze jsem se v tech zadani urcite spletl, neco napsal nepresne, sem tam pozapomnel zminit
- Kate
- Matfyz(ák|ačka) level III
- Příspěvky: 146
- Registrován: 8. 1. 2005 10:52
- Typ studia: Informatika Mgr.
- Login do SIS: opock4am
- Bydliště: Milada squat
- Kontaktovat uživatele:
marne cekani
a já pořád nic je ještě někdo, kdo už má známku? .... no, sice lepší nic, než 4, ale i tak ... už by byl pomalu čas začít se učit na další zkoušku. doufám, že nejpozději v utery v 13:59 budou výsledky v SISU
Re: marne cekani
Som na tom podobne,tiez este bez vysledku... myslim,ze ak som to nespravil,nema zmysel chodit na dalsi termin,kedze zakazdym je skuska tazsia.Aj tak v tej stupajucej narocnosti nevidim ziadnu logikuKate píše:a já pořád nic je ještě někdo, kdo už má známku? .... no, sice lepší nic, než 4, ale i tak ... už by byl pomalu čas začít se učit na další zkoušku. doufám, že nejpozději v utery v 13:59 budou výsledky v SISU
- random
- Matfyz(ák|ačka) level II
- Příspěvky: 63
- Registrován: 30. 5. 2005 11:40
- Typ studia: Informatika Mgr.
- Kontaktovat uživatele:
Já jdu prubnout až ten poslední termín, páč v pondělí multitaskuju na automatech a kombagře, takže by si pouze blázen zapsal další den pana profesora. Na druhou stranu mi můj cvičící (p. Olmer) mailem sám nabídl inzultaci, za což mu velice děkuji, na které jsem byl a hned mám jiný pohled na svět. Ohledně obtížnosti - jsem blázen, ale věřím v lepší časy - ono to už snad ani brutálnější být nemůže.
- macbeth
- Matfyz(ák|ačka) level III
- Příspěvky: 201
- Registrován: 11. 2. 2005 14:48
- Typ studia: Informatika Mgr.
- Bydliště: PPraha
- Kontaktovat uživatele:
ROFLrandom píše:Na druhou stranu mi můj cvičící (p. Olmer) mailem sám nabídl inzultaci, ..., na které jsem byl a hned mám jiný pohled na svět.
http://slovnik-cizich-slov.abz.cz/web.p ... -insultace
(ps: sorry za to, ze sa smejem...)
- tutchek
- Site Admin
- Příspěvky: 795
- Registrován: 21. 9. 2004 00:40
- Typ studia: Informatika Mgr.
- Login do SIS: tulam4am
- Bydliště: Praha, Bohnice
- Kontaktovat uživatele:
aha... ty zjevne nejsi obeznamen s dvojici slov "Olmer" a "inzultace"macbeth píše:ROFLrandom píše:Na druhou stranu mi můj cvičící (p. Olmer) mailem sám nabídl inzultaci, ..., na které jsem byl a hned mám jiný pohled na svět.
http://slovnik-cizich-slov.abz.cz/web.p ... -insultace
(ps: sorry za to, ze sa smejem...)
http://petr.olmer.cz/vyuka/317116_item.php
Hromadná konzultace
Cvičení z logiky 2005/6
Hromadná konzultace k dokazování v predikátové logice: pátek 12. května 14:00 v S5.
Vzhledem k tomu, že kvůli státním svátkům přicházíme celkem o tři pondělní cvičení, vyhlašuji tuto hromadnou konzultaci. Základem konzultace budou individuální dotazy — předpokládám, že pokud přijdete, přijdete připraveni.
Pokud vám nevyhovuje termín, potřebujete konzultovat starší látku apod., nebojte se ozvat emailem. Problémy můžeme vyřešit na dálku nebo si můžete domluvit osobní konzultaci.
Petr Olmer, 27.04.2006, 13:43:00, trvalý odkaz
Komentář k tomu píše: 27.04.2006, 13:59:35 enimen
osobní konzultaci? já vám pane magistře nabízím osobní inzultaci...
exAdmin. Magistr přes umělou inteligenci. Právník přes daně.
- Kate
- Matfyz(ák|ačka) level III
- Příspěvky: 146
- Registrován: 8. 1. 2005 10:52
- Typ studia: Informatika Mgr.
- Login do SIS: opock4am
- Bydliště: Milada squat
- Kontaktovat uživatele:
huraaaa takovou radost z dvojky jsem jeste nemala (a hlavne, ze to uz neuvidim)
znamky se zapisuji jen zitra (a za tyden v utery) na terminu nebo jeste nekdy jindy, nevite?
znamky se zapisuji jen zitra (a za tyden v utery) na terminu nebo jeste nekdy jindy, nevite?
Naposledy upravil(a) Kate dne 18. 9. 2006 12:34, celkem upraveno 1 x.
- Andrej
- Matfyz(ák|ačka) level I
- Příspěvky: 47
- Registrován: 15. 9. 2006 17:08
- Typ studia: Informatika Mgr.
- Login do SIS: podza4am
- Bydliště: Zlín
- Kontaktovat uživatele:
Pořád nic...
Tak to já v SISu pořád nic nemám. S pravděpodobností hraničísí s jistotou mě čeká vyhazov, jenže i takovou zprávu chce člověk radši dostat včas...