| Parent unit | |
| Head | dr hab. Anna Gomolińska |
| Secretary | dr Adam Grabowski |
| Staff |
|
| Phones | 85 738 - |
| Seminar | Tuesday 14:15 |
| Scientific research |
mathematical logic in general; applications of logic in computer science and artificial intelligence; classical logic; algebraic logic; quantum logic; modal logics; computational complexity; formalization and automatization of mathematical reasoning; rough sets; approximate reasoning; knowledge discovery. |
| Cooperation |
|
English
Polski
Print
