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).
Skuska 27.5.2008
Re: Skuska 27.5.2008
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 (Qxi) 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
dokaz komutativitu kvantifikatorov. to je taka ta veta v skriptach, ze existuje permutacia pi, taka, ze ked lubovolne zpermutujes x-ove indexy (Qxi) 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
Re: Skuska 27.5.2008
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.
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.
Re: Skuska 27.5.2008
Tak ja jsem dostal:
- definice rozsireni teorie
- definice konzervativniho rozsireni teorie
- vety charakterizujici tyto teorie pomoci modelu + dukaz
- definice rozsireni teorie
- definice konzervativniho rozsireni teorie
- vety charakterizujici tyto teorie pomoci modelu + dukaz
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...)PyromaN píše:- Konzervativni rozsireni teorie [imho VRAZDA]
- ig0r
- Matfyz(ák|ačka) level I
- Příspěvky: 4
- Registrován: 27. 5. 2008 15:47
- Typ studia: Informatika Bc.
- Login do SIS: kulmi5am
- Bydliště: Prešov
- Kontaktovat uživatele:
Re: Skuska 27.5.2008
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
Re: Skuska 27.5.2008
nie este to nemam v SISe. a pritom som sa snazil na papier napisat svoje meno co najcitatelnejsie
- ig0r
- Matfyz(ák|ačka) level I
- Příspěvky: 4
- Registrován: 27. 5. 2008 15:47
- Typ studia: Informatika Bc.
- Login do SIS: kulmi5am
- Bydliště: Prešov
- Kontaktovat uživatele:
Re: Skuska 27.5.2008
Uz to mam v SISe, takze v pohode, meno rozlustil.