Filozofická Fakulta

Katedra logiky

Aktuality

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

26. duben 2017

Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné...
22. duben 2017

Mezi hlavní oblasti výzkumu patří:

  • matematické studium klasických i neklasických logik z hlediska vět o nedokazatelnosti a také z hlediska výpočtové složitosti,
  • teorie množin (forcing, velké kardinály a teorie množin reálné osy).

Více informací získáte na stránkách pracovníků katedry.