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