Kurs obejmuje podstawowe pojęcia logiki i teorii mnogości oraz formalizację języka matematycznego w zakresie niezbędnym dla studenta informatyki.
- Prowadzący: Andrzej Jasiński
- Prowadzący: Sławomir Kost
- Prowadzący: Lidia Tendera
- Prowadzący: Piotr Wojtylak