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 k hlavni probirane latce.

Drivejsi program (podrobnosti):

  • 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

    Program zimniho semestru 09/10: dle dohody ucastniku

    Moznym tematem je teorie modelu telesa realnych cisel a souvisejici teorie tzv. o-minimalnich struktur. Toto tema je soucasti sirsi oblasti tzv. aplikovane teorie modelu.

    Misto a cas konani:

    Umluva na seminar bude v seminarni mistnosti KA (Karlin, 3.p.), ctvrtek 1.10. ve 12.3o.