Table of Contents

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ă