Logika matematyczna ogólnie; zastosowania logiki w informatyce i
sztucznej inteligencji; logika klasyczna; logika algebraiczna; logika kwantowa;
logiki modalne; złożoność obliczeniowa; formalizacja i automatyzacja
rozumowań matematycznych; zbiory przybliżone; rozumowania przybliżone;
odkrywanie wiedzy z danych.