Skuska 27.5.2008

[ig0r]

Hladam slecnu ktora prisla dnes pocas skusky z logiky za Stepankom, usmiala sa na mna ked ma skusal a zasmiala ked mi zapisal skusku do blbeho riadku v indexe. Bola si vazne zlata Ozvi sa mi ak chces

Inak skuska v pohode, ustne sa oplatia, vsetci co neboli mozu lutovat, pisomna uz taka pohoda nebude (viem z minuleho roka).

[Návštěvník]

dokaz: A <-> (Qx) A , ked x nie je volna v A
dokaz komutativitu kvantifikatorov. to je taka ta veta v skriptach, ze existuje permutacia pi, taka, ze ked lubovolne zpermutujes x-ove indexy (Qx_i) i tak je to ekvivalentne tomu, ako ked su indexy 1..n.

nevrta sa v tom, co je velmi dobre, buducim generaciam vrele odporucam predtermin

[PyromaN]

Dostal jsem:
1] definice varianty formule
2] dokazat ze vsechny varianty formule jsou navzajem ekvivalentni
p.Stepanek mi praci prosel vcelku peclive - onen dukaz je dukazem 4 [JEDNODUCHYCH] implikaci.
V jedne nebylo jasne co predpokladam a co dokazuju. Vysledek za 2. Celkovy cas 40min.

Slysel jsem padnout otazky:
- Veta o dedukci pro predikatovou logiku a jak obejit problem s konstantama.
- Formuluj+dokaz: Bezespornost <=> Splnitelnost
- Veta o dukazu rozborem pripadu
- Konzervativni rozsireni teorie [imho VRAZDA]

Good luck vsem co pujdete na dalsi terminy - budou znatelne drsnejsi.

[Leshy]

Tak ja jsem dostal:
- definice rozsireni teorie
- definice konzervativniho rozsireni teorie
- vety charakterizujici tyto teorie pomoci modelu + dukaz

- Konzervativni rozsireni teorie [imho VRAZDA]

Vis, co je nejlepsi? Ze jsem to vsechno mel, ale v jedny z tech vet jsem napisal, ze model zvetsim misto expanduji. To se panu Stepankovy nelibilo. Rekl at to opravim (sedel porad u me - byl jsem posledni). Tak jsem si to uvedomil, opravil a on se zeptal jak zni definice toho 'expanduje'. No a to se mi zrovna vykourilo z hlavy a pan Stepanek rekl, ze takhle to nepujde a dal mi 4. (K tem dukazum se ani nedostal...)

[ig0r]

Mate uz tu skusku v SISe ? Lebo ja nie q neviem ci sa mi nestalo to co uz raz predtym, ze som na papier napisal meno tak necitatelne, ze nevedel komu to zapisat

[mathew...]

nie este to nemam v SISe. a pritom som sa snazil na papier napisat svoje meno co najcitatelnejsie

[pepa]

Mně se dneska v SISu objevil zápočet, ale zkouška zatím ne...

[ig0r]

Uz to mam v SISe, takze v pohode, meno rozlustil.