Předmět reprezentuje úvod do dvou základních okruhů teoretické informatiky. Formulace matematických upřesnění pojmu algoritmus (efektivní vyčíslitelnost) a studium role, kterou pojem algoritmu hraje, je jedním z významných přínosů matematické logiky. Od dob svého vzniku se teorie algoritmů neobyčejně rozvinula a v dnešní době představuje teoretický základ vzdělání každého informatika.
- Učitel: Václav Zada