Czech
English
Ústav teorie informace a automatizace
Jste zde
Forsing
Přednášející:
Oddělení:
Fakulta:
Matematicko-fyzikální fakulta UK
Semestr:
zimní
Typ kurzu:
magisterský
Vyučován:
Ne
Metoda na konstrukce modelů teorie množin a prokazování nedokazatelnosti nebo bezespornosti různých matematických tvrzení.