Předtermín

[dakob]

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.

[janoro]

Co takhle se pochlubit jak dopadly a hlavně probíhaly předtermíny, když už jste je během pěti minut obsadili???

[Fíďa]

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

[HonzaK]

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

[cermi]

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.

[matof]

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"