Fundamente de informatică

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

• Compilatorul OCaml şi documentaţia. Puteţi edita în emacs cu tuareg-mode.
• O scurtă introducere în OCaml (Scott Smith, Johns Hopkins U.)
• Mediul integrat de dezvoltare OCaIDE (plugin Eclipse)
• Alternativ, puteţi scrie în F#, un limbaj inspirat din ML, disponibil pe platforma .NET .