Zkouška 12.9.2006 + skóre

[random]

Venku pěkně svítilo sluníčko...

[tutchek]

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]

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

[Almer]

MAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAM

Zazrak, ale za 3

[Kate]

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

[roberto7]

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

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]

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]

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.

ROFL

http://slovnik-cizich-slov.abz.cz/web.p ... -insultace

(ps: sorry za to, ze sa smejem...)

[tutchek]

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.

ROFL

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

27.04.2006, 13:59:35 enimen
osobní konzultaci? já vám pane magistře nabízím osobní inzultaci...

[macbeth]

aha, tak nic, opat som nebol v obraze

[random]

Tutchek: jsem moc zdechlej to vysvětlovat, tak dík za to

[Hugo]

checkujte SIS, prave jsem dozvedell vysledek a...spokojenost
Ani mi neprislo upozorneni na mail (mozna dorazi o trochu pozdeji)

preji hodne stesti

[Kate]

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?

[tutchek]

Pote co jsem odeslal nekolikaodstavcovou tryznu na tema "nemam znamku v SIS" se mi tam zjevila trojka...

trojka je prece take pekna znamka...

z chovani?

[Andrej]

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...