Oddělení teoretické informatiky

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.

Oblast našeho výzkumu

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ů:

  • Algoritmické vlastnosti substrukturálních logik.
  • Algebraická logika.
  • Matematická fuzzy logika.
  • Predikátové a modální rozšíření substrukturálních logik.

Seminář

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.

Projekty

Publikace

Aktivity

Členové oddělení