Matfyz Wiki
Venku pěkně svítilo sluníčko...
Zkouška 12.9.2006 + skóre
random at 2006-09-12 16:07:52
tutchek at 2006-09-12 22:36:54
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)
Hugo at 2006-09-12 23:30:17
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 :roll: ,
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 :roll: 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
Almer at 2006-09-15 13:35:16
MAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAM
Zazrak, ale za 3 :lol: :lol:
Kate at 2006-09-16 14:59:24
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 :lol:
roberto7 at 2006-09-16 15:39:16
Kate wrote: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 :lol:
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 logiku :)
random at 2006-09-16 22:24:48
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 at 2006-09-16 23:49:39
random wrote: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.
:lol: :lol: ROFL :lol: :lol: :lol: :lol:
http://slovnik-cizich-slov.abz.cz/web.p ... -insultace
(ps: sorry za to, ze sa smejem...)
tutchek at 2006-09-17 00:50:31
macbeth wrote:
random wrote: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.
:lol: :lol: ROFL :lol: :lol: :lol: :lol:
http://slovnik-cizich-slov.abz.cz/web.p ... -insultace
(ps: sorry za to, ze sa smejem...)
aha... ty zjevne nejsi obeznamen s dvojici slov "Olmer" a "inzultace"
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 wrote: 27.04.2006, 13:59:35 enimen
osobní konzultaci? já vám pane magistře nabízím osobní inzultaci...
macbeth at 2006-09-17 10:27:15
aha, tak nic, opat som nebol v obraze :oops:
random at 2006-09-17 18:07:26
Tutchek: jsem moc zdechlej to vysvětlovat, tak dík za to 8)
Hugo at 2006-09-18 12:26:37
checkujte SIS, prave jsem dozvedell vysledek a...spokojenost :)
Ani mi neprislo upozorneni na mail (mozna dorazi o trochu pozdeji)
preji hodne stesti
Kate at 2006-09-18 12:33:02
huraaaa :D 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?
tutchek at 2006-09-18 12:34:11
Pote co jsem odeslal nekolikaodstavcovou tryznu na tema "nemam znamku v SIS" se mi tam zjevila trojka...
Cimrman wrote:trojka je prece take pekna znamka...
z chovani?
Andrej at 2006-09-18 13:57:08
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...
tutchek at 2006-09-19 21:56:06
A už je i v indexu, hurá hurá, na to se musí připít
