Ten zaawansowany przedmiot pozwoli informatykom na lepsze zrozumienie fundamentalnych zasad logiki oraz wykorzystanie jej narzędzi do rozwiązywania bardziej zaawansowanych problemów informatycznych.
- Nauczyciel: Jerzy Marcinkowski
- Nauczyciel: Jakub Michaliszyn