Teoria Algorytmów i ich Poprawność

Podstawowe koncepcje dotyczące algorytmów, zasady ich projektowania, gwarancje poprawności oraz teoretyczne ograniczenia w rozwiązywaniu problemów.