- Úvod
- O nás
- Lidé a výzkum
- Knihovna
- Výsledky a ocenění
- Vzdělávání
- Kalendář událostí
Výzkum v našem oddělení se soustřeďuje do dvou směrů. Jedním jsou neklasické logiky, kde se věnujeme zejména substrukturálním, fuzzy a modálním logikám. Druhým je studium výpočtové složitosti pomocí specializovaných modelů, jako jsou neuronové sítě, branching programy a boolovské funkce.
Logika je základem pro formální metody, které se využívají v nejrůznějších oblastech matematiky a informatiky (např. pro verifikaci programů či hardware). Věnujeme se teoretickému výzkumu především následujících tematických celků:
Společné s Českou společností pro kybernetiku a informatiku oddělení organizuje Seminář aplikované matematické logiky (též zvaný Hájkův seminář dle svého zakladatele a dlouholetého pořadatele), který se pravidelně schází od konce šedesátých let.