Teorie Modelů

ALG500009
The course is taught in Czech.

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