Fundamente de informatică

Curs facultativ, miercuri orele 12-14, A117
cursul de anul trecut

Cursuri și teme

  1. Recursivitatea.
    Fractal arbore (varianta). Scrie la ieșire un fișier în format SVG.
    Câteva exemple cu liste.
    Tema 1
  2. Prelucrări de liste.
    Tema 2
  3. Logică propozițională. Prelucrări de expresii.
    Tema 3
  4. Intrare/ieșire și pointeri în C (discuție, 23 oct. 2012)
  5. Realizabilitatea în logică propozițională (SAT-checking)
    codul complet
    Tema 4
  6. Logica predicatelor. Unificare de termeni
    Discuție despre tema 3 (citire de expresii): soluție în C și în ML cu teste sau excepții.
    Tema 5
  7. Logica predicatelor. Metoda rezoluției
  8. Limbaje formale. Automate (p. 1-97). Limbaje și expresii regulate (p. 24-40).
    Exercițiu: Derivata unei expresii regulate.
    Tema 6
  9. Transformarea între expresii regulate și automate. Automate nedeterministe și determinizarea lor.
  10. Minimizarea automatelor deterministe
    Relații, punct fix, grafuri: închiderea tranzitivă a unei relații; parcurgerea prin cuprindere

Resurse

Limbajul ML

Marius Minea
Last modified: Wed Dec 19 23:00:00 EET 2012