Studentsky logicky seminar
Vyucujici:
Jan Krajicek
Kody predmetu:
zimni semestr NALG050: Studentsky logicky seminar I.
letni semestr NALG051: Studentsky logicky seminar II.
(seminar lze zapsat opakovane)
Studentsky logicky seminar je minen pro
studenty se zajmem o matematickou logiku.
Nevyzaduje "vetsi nez male"
znalosti matematicke logiky, napr. na urovni
uvodniho kursu (jeho absolvovani ale neni
podminkou). Seminar bezi od letniho semestru 06/07.
Studenti jsou vitani i na pokrocilem
Logickem seminari.
V kazdem semestru probirame jine tema - k porozumeni latky neni potreba
ucast na seminari v predchozich semestrech.
Temata jsou volena s ohledem na zajmy a znalosti ucastniku a vetsinou
maji primy ci neprimy vztah k oblasti
"Logika & Slozitost".
Obcas mame prednasky hostu na ruzna pristupna temata relevantni
(vice ci mene) k hlavni
probirane latce.
Program letniho semestru 11/12:
Seminar se tento semestr nebude konat - jsem v Cambridge.
Time and place
:
- - -
Letni semestr 06/07:
Teorie konecnych modelu
Zimni semestr 07/08:
Studium clanku
Dana Scott, A proof of the independence of the continuum
hypothesis, Mathematical Systems Theory, 1, (1967), str.89-111.
Letni semestr 07/08: Omezena aritmetika
Paralelne s timto tematem organizoval student
p.Jan Pich dalsi studium literatury o konecne teorii modelu,
zejmena skripta M.Otta.
Zimni semestr 08/09: Booleovska slozitost
Letni semestr 08/09: Slozitost resoluce
Zimni semestr 09/10:
Teorie modelu usporadaneho telesea realnych cisel
a o-minimalita.
Letni semestr 09/10:
Teorie modelu telesa komplexnich cisel aneb
uvod do geometricke teorie modelu
Zimni semestr 10/11:
NP vyhledavaci problemy
Letni semestr 10/11: Gödelovy vety a slozitost
Zimni semestr 11/12: Open problems in logic & complexity