Předtermín
-
- Matfyz(ák|ačka) level I
- Příspěvky: 22
- Registrován: 20. 9. 2007 19:17
- Typ studia: Informatika Mgr.
- Bydliště: Praha - severní město
- Kontaktovat uživatele:
Předtermín
Nevíte někdo z přednášky, kdy bude? Případně jaká bude kapacita? Loni údajně byla v SISu kapacita velmi malá, ale stačilo napsat mail a předtermín se celkem naplnil.
Re: Předtermín
Co takhle se pochlubit jak dopadly a hlavně probíhaly předtermíny, když už jste je během pěti minut obsadili???
Re: Předtermín
Tak to byla asi zatim nejlehci zkouska v zivote. Skoda, ze se to takhle neda tvrdit i o radnych terminech. Dal nam kazdemu jeden jednoduchy priklad z vyrokovky a pak se kazdeho zeptal na nejakou otazku. Casu na to bylo neomezene, opravdu se jednalo o easy stuff. Ja mel treba: Sestrojte teorie T a S, ze plati ze T je podmnozina S.
a) naleznete formuli A tak, ze je dokazatelna z S a neni z T
b) existuje formule A' takova, ze je dokazatelna z T a neni z S
tot vse. Na ustni se me neptal, protoze jsem mu to pomerne formalne dokazal.
Rada do zivota: cekejte u emailu, az se vypise predtermin a bezte tam!!
Fida
a) naleznete formuli A tak, ze je dokazatelna z S a neni z T
b) existuje formule A' takova, ze je dokazatelna z T a neni z S
tot vse. Na ustni se me neptal, protoze jsem mu to pomerne formalne dokazal.
Rada do zivota: cekejte u emailu, az se vypise predtermin a bezte tam!!
Fida
-
- Matfyz(ák|ačka) level II
- Příspěvky: 71
- Registrován: 28. 9. 2007 17:36
- Typ studia: Informatika Mgr.
- Login do SIS: kohoj7am
- Kontaktovat uživatele:
Re: Předtermín
Potvrzuji dobré zkušenosti s předtermínem - byl jsem dnes taky (7.1.) a dostal jsem tenhle příklad:
a) Vyslovte větu o ekvivalenci
b) Ve VL dokázat:
|- non(nonA & B) <-> (A v nonB)
Podle toho, co bylo na zadání napsáno, se jednalo o první příklad ze zkouškové písemky ze dne 16. 9. 2008
Po tom, co mi to zkontroloval, mi ještě nechal napsat a dokázat lemma o distribuci kvantifikátorů.
Toť celá zkouška, takže taky přidávám doporučení chodit z VPL na předtermíny
(I když uznávám, že není lehké vystihnout správnou dobu a stihnout se na něj přihlásit...)
a) Vyslovte větu o ekvivalenci
b) Ve VL dokázat:
|- non(nonA & B) <-> (A v nonB)
Podle toho, co bylo na zadání napsáno, se jednalo o první příklad ze zkouškové písemky ze dne 16. 9. 2008
Po tom, co mi to zkontroloval, mi ještě nechal napsat a dokázat lemma o distribuci kvantifikátorů.
Toť celá zkouška, takže taky přidávám doporučení chodit z VPL na předtermíny
(I když uznávám, že není lehké vystihnout správnou dobu a stihnout se na něj přihlásit...)
-
- Matfyz(ák|ačka) level I
- Příspěvky: 15
- Registrován: 31. 1. 2008 18:44
- Typ studia: Informatika Bc.
- Login do SIS: cermj7am
Re: Předtermín
Přesně tak, navíc je i dost hodný, já měl s tou ústní části (2. půlka) problémy, ale on jen "trošku zamhouřil oči" a stejně mi dal za 1. Měl jsem
- definici rozšíření teorie
- věta+důkaz: T' je rozšíření teorie T, pak T' není sporná => T není sporná (nebo tak nějak, ve skriptech je to kousek za tou definicí)
- znění věty o kompaktnosti
- důsledek věty o kompaktnosti + důkaz
Jinak vypadá to, že všem dal nějaký příklad z minulého roku.
- definici rozšíření teorie
- věta+důkaz: T' je rozšíření teorie T, pak T' není sporná => T není sporná (nebo tak nějak, ve skriptech je to kousek za tou definicí)
- znění věty o kompaktnosti
- důsledek věty o kompaktnosti + důkaz
Jinak vypadá to, že všem dal nějaký příklad z minulého roku.
Re: Předtermín
tak ja som mal dokazat vetu o ekvivalencii a potom vetu o instancich, stravil u mna maximalne jednu minutu, z coho mi pol minuty zapisoval do indexu "vyborne"