Kurs dotyczy studentów pierwszego roku informatyki inżynierskiej i jest wprowadzeniem do najważniejszych technik i pojęć abstrakcyjnych, wymaganych na kolejnych latach studiów. Wprowadza głównie w obszar arytmetyki i logiki binarnej, translacji wyrażeń algebraicznych oraz uczy zrozumienia automatów i języków sztucznych.
- Nauczyciel: Boryczka Urszula
- Nauczyciel: Chodacki Miłosław