Zkouška
Po delší úvaze jsem se rozhodl nakonec oficiálně vypsat termíny v IS. Stále sice platí, že na zkoušení se lze dohodnout e-mailem, ale preferoval bych, pokud byste přišli v jeden z termínů vypsaných v IS.Syllabus
K dispozici je syllabus (html verze). U vět, pod
kterými je uvedeno without proof, nebudu zkoušet důkazy. Čísla za definicemi/tvrzeními
odkazují do knížky Marcja, Toffalori: A Guide to Classical and Modern Model Theory, pokud je před číslem H, pak odkazuje do knihy Hodges: A Shorter Model Theory. V syllabu se mohou vyskytovat chyby, předem se za ně omlouvám a též
se omlouvám za pozdní zveřejnění.
Ke Stažení
Studenti kurzu si mohou stáhnout učebnici.
Uživatelské jméno je Tarski, heslo bylo domluveno na přednášce, v případě potřeby sdělím e-mailem. Text
je ve formátu djvu, k prohlížení lze využít například program WinDjView.
Literatura
- W. Hodges, A Shorter Model Theory, CUP 2003
- C. C. Chang and H. J. Keisler, Model Theory, North-Holland 1973
- A. Marcja, C. Toffalori, A Guide to Classical and Modern Model Theory, Kluwer 2003