Fundamente de informatică

Cursuri şi teme

1. Recursivitatea. Vezi şi notiţe de curs şi alte exemple pentru C.
   Câteva exemple cu liste
   Tema 1
2. Prelucrări recursive de liste şi expresii.
   Expresii cu întregi în C şi ML
   Tema 2
3. Logică propoziţională. Realizabilitatea unei formule.
   Tema 3
4. Logică (continuare).
   Cod pentru unificare de termeni
   Tema 4
5. Logică (continuare). Demonstrare prin rezoluţie.
   Un interpretor de Prolog simplificat şi arhiva cu programul complet.
   Tema 5
6. Traversarea grafurilor
   Automate. Conversie NFA -> DFA. Vezi şi prezentare (DFA p.7, NFA pp. 44)
   Tema 6
7. Expresii regulate. prezentare.
   Test de apartenenţă a unui şir la o expresie regulată. Citirea/tipărirea unei expresii regulate şi conversia în automat finit nedeterminist.
   Tema 7

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 .