Lectures

Saptamana 1  

Curs 1 -- Introducere. Functii ( Varianta pentru tipărit aici )

Saptamana 2  

Curs 2 -- Recursivitate ( Varianta pentru tipărit aici )

Saptamana 3  

Curs 3 -- Liste ( Varianta pentru tipărit aici )

Saptamana 4  

Curs 4 -- Mulțimi ( Varianta pentru tipărit aici )

Saptamana 5  

Curs 5 -- Relații ( Varianta pentru tipărit aici )

Saptamana 6  

Curs 6 -- Grafuri ( Varianta pentru tipărit aici ) traversari

Saptamana 7  

Curs 7 -- Arbori ( Varianta pentru tipărit aici )

Saptamana 8  

Curs 8 -- Logica propozitionala ( Varianta pentru tipărit aici )

Saptamana 9  

Curs 9 -- Logica propozitionala (cont.) ( Varianta pentru tipărit aici )

Aplicatii ale logicii propozitionale

Algoritmul DPLL (+ implementare)

Saptamana 10  

Curs 10 -- Logica predicatelor ( Varianta pentru tipărit aici )

Saptamana 11  

Curs 11 -- Logica predicatelor ( Varianta pentru tipărit aici )

Programare logica

Algoritmul Union-Find

Saptamana 12  

Curs 12 -- Automate. Limbaje regulate ( Varianta pentru tipărit aici )

Saptamana 13  

Curs 13 -- Gramatici ( Varianta pentru tipărit aici )

Saptamana 14  

Curs 14 -- Mașini Turing. Calculabilitate ( Varianta pentru tipărit aici )

Acknowledgements

Acest curs are la baza cursul de Logica si Structuri Discrete al conf. dr. ing. Marius Minea, curs pe care il puteti accesa aici

Bibliografie / Resurse utile

Applied Discrete Structures de Alan Doerr, Kenneth Levasseu (vezi si link alternativ)

Foundations of Computer Science de Alfred V. Aho, Jeffrey D. Ullman

Computer Science: Abstraction to Implementation de Robert M. Keller

Mathematical Foundations of Computing (Stanford University)