Kurzy logiky a nestandardních metod. Výzkum v oblasti teorie modelů aritmetik.
Základní nestandardní seminář je určen posluchačům nižších ročníků a zabývá se problematikou matematické logiky, zvláště teorie modelů, a problematikou teorie množin. Věnuje se též aplikacím, speciálně pak nestandardním metodám, které jsou založené na specifické extenzi matematických struktur. V této souvislosti bude předveden univerzální množinový model nestandardního univerza matematiky. Seminář je koordinován s přednáškou Základy matematické logiky (NLTM006) a umožňuje tak posluchačům lépe si osvojit její látku.
Více o kurzu >>01.05.2012 13:18 Byl aktualizován seznam dosud zadaných problémů k rozmyšlení o úlohy na izomorfní spektra teorií.
24.04.2012 20:38 Byl aktualizován seznam dosud zadaných problémů k rozmyšlení o úlohy týkající se funkce sin(Lx) s L nestandardním přirozeným.
Základní kurz logiky a teorie množin určený studentům učitelství a též studentům PřF a FTVS.
Více o kurzu >>05.03.2012 11:35 Kromě již vypsaných termínů zkouším v průběhu letního semestru pouze ve výjimečných odůvodněných případech a to po individuální domluvě. V případě zájmu bude jeden zkouškový termín vypsán v letním zkouškovém období.
23.02.2012 11:33 Byl vypsán nový termín zkoušky na pátek 9.3.2012 od 9:30 v S304. Na zkoušku je nutné se přihlásit emailem.