===== Syllabus =====

==== I Teoria computabilității ====

1. Introducere; probleme și algoritmi

2. Mașina Turing

3. Mașina Turing Universală

4. Acceptare și Decidabilitate

5. Probleme nedecidabile; problema terminării

6. Reduceri Turing

7. Teorema lui Rice

==== II Teoria complexității ====

8. Introducere; notații asimptotice

9. Recurențe

10. Analiză amortizată

11. Mașina Turing Nedeterministă; problema P vs NP

12. Problema satisfiabilității (SAT)

13. Clasele NP-H, NP-C

14. Reduceri polinomiale

==== III Corectitudine ====

15. Invarianți la ciclare

16. Dezvoltarea de algoritmi folosind invarianți la ciclare

17. Tipuri de date abstracte (TDA)

18. Inducție structurală