| Jednostka nadrzędna | Instytut Matematyki |
| Kierownik | dr hab. Anna Gomolińska |
| Sekretarz | dr Adam Grabowski |
| Pracownicy |
|
| Telefony | 85 738 - |
| Seminarium | wtorek 14:15 |
| Tematyka badawcza |
Logika matematyczna ogólnie; zastosowania logiki w informatyce i sztucznej inteligencji; logika algebraiczna; logika kwantowa; logiki modalne; złożoność obliczeniowa; formalizacja i automatyzacja rozumowań matematycznych; wnioskowanie aproksymacyjne; odkrywanie wiedzy z danych; systemy inteligentne; systemy wieloagentowe. |
| Współpraca |
|
English
Polski
Drukuj
