Logică și structuri discrete

Note la laborator
Rezultatele la parțial
Examen (prezentarea 1)
Examen (prezentarea 2)
Examen (prezentarea 3)

Materiale de curs

1. Funcții.
2. Recursivitate.
   Fractal cruce (pătrat); variantă
3. Liste.
4. Mulțimi.
5. Relații. Funcții parțiale.
6. Logică propozițională.
   Evaluarea de expresii boolene
7. Realizabilitatea formulelor boolene
   program complet
8. Logica predicatelor
9. Metoda rezoluției. Aplicații ale logicii predicatelor
10. Limbaje și automate [actualizat cu exemple]
    prelucrarea comentariilor C
11. Expresii regulate [actualizat cu exemple]
    derivata expresiei regulate
12. Gramatici
    Expresii numerice: prefix în ML și C, infix în ML
13. Arbori
    Construire, traversare, desenare
14. Grafuri

Laborator/Seminar

1. Laborator 1: Funcții. Scurte explicații despre limbaj
2. Laborator 2: Recursivitate. Exerciții rezolvate
3. Tema 3 (pentru laboratorul 3).
   Laborator 3: Liste. Exerciții rezolvate
4. Tema 4 (pentru lab. 4): problemele 5a, 7, 9 de la lab. 3
   Laborator 4: Mulțimi. Exerciții rezolvate
5. Tema 4 (pentru lab. 5): problemele 4 și 6 de la lab. 4
   Laborator 5: Mulțimi, relații, funcții parțiale Exerciții rezolvate
6. Laborator 6: Logică propozițională Exerciții rezolvate
7. Laborator 7: Realizabilitatea formulelor boolene Exerciții rezolvate
8. Laborator 8: Logica predicatelor
9. Laborator 9: Logica predicatelor
10. Laborator 10: Automate finite
11. Laborator 11: Expresii regulate
12. Laborator 12: Gramatici
13. Laborator 13: Arbori
14. Exerciții discutate la consultații

Resurse

Alte cursuri

• Theory of Computation (Wayne Goddard, Clemson University).
  (cursurile 1-5 pentru limbaje și automate).
• Introduction to Theoretical Computer Science (Zdeněk Sawa, TU Ostrava)
  (p. 105 ff. pentru limbaje și automate)

Cărți

• Robert M. Keller. Computer Science: Abstraction to Implementation, 2001. O imagine foarte bună asupra științei calculatoarelor: cuprinde atât fundamente, căt și cunoștințe care vor fi parcurse ulterior.
• Alan Doerr, Kenneth Levasseur. Applied Discrete Structures version 2.0, 2013. O carte cu definiții detaliate și multe exemple.

Limbajul ML

• Compilatorul OCaml și documentația. Instrucțiuni despre folosirea OCaml din Emacs.
• Try OCaml: interpretor online, cu lecții și exemple de programe
• O scurtă introducere în OCaml (Scott Smith, Johns Hopkins U.)
• 99 de probleme rezolvate (vezi și alte tutoriale)