V letním semestru 2010/2011 vedu Základní nestandardní seminář.
Obecné informace
- Seminář se koná ve středu od 15:40 do 17:10 v seminární místnosti Matematického ústavu UK (Karlín, 3.patro).
- Základní nestandardní seminář lze chápat i jako cvičení k přednášce Základy matematické logiky (2/0 Zk, NLTM006). Výraz nestandardní v názvu semináře se vztahuje k aplikacím saturovaných elementárních rozšíření, též probíraných v přednášce; zmíněné aplikace jsou označované jako nestandardní metody. Seminář se bude věnovat všem tématům přednášky "Základy matematické logiky" a umožní tak osvojit si její problematiku mnohostranně.
- Další informace naleznete v SISu, případně na stránkách doc. Mlčka, který vede přednášku Základy matematické logiky.
Materiály k semináři
Materiály k semináři budou zveřejňovány na tomto místě. Další materiály a příklady lze nalézt na stránkách doc. Mlčka či mezi domácími úkoly pro mé cvičení k přednášce Výroková a predikátová logika. Jako doplňkový zdroj (ovšem značně méně obsáhlý) pro osvojení si teorie mohou sloužit mé slidy k přednášce Logika a teorie množin.- NOVÉ Řešené příklady na izomorfní spektra teorií
- NOVÉ Zápočtové problémy z 13.4.2011
- Zápočtové problémy z 30.3.2011
- Zápočtové problémy z 10.3.2011
- Zápočtové problémy z 2.3.2011
- Model Theory, Wilfrid Hodges, Cambridge University Press, Cambridge 1993
Aktuality
- První seminář se koná ve středu 2. března 2011 od 15:40 v seminární místnosti MÚUK (Karlín, 3. patro).
