Programare (facultativă)

1. Recursivitate şi programare funcţională. Aplicaţie: Realizabilitatea formulelor propoziţionale folii PDF
   Resurse: OCaml, OcaIDE
   Lectură: Un comentariu foarte bun: Why Why Functional Programming Matters Matters
   ca introducere la articolul original despre importanţa limbajelor funcţionale.
   Probleme de rezolvat (actualizate): Tema 1
2. Programare dinamică folii PDF
   Resurse: tutorial, M. A. Trick (CMU)
   Cap. 6 din cartea de algoritmi de Dasgupta, Papadimitriou şi Vazirani
   Arhiva educaţionala de la infoarena (sugestie de Titus Nicolae)
   Lectură: (cineva din sala a intrebat daca are sens sa invete Lisp)
   Beating the Averages (Paul Graham despre un startup cu cod scris in Lisp)
   The Perils of JavaSchools (Joel on Software)
3. Algoritmi cu mulţimi. BDD (diagrame de decizie binare, p. 10-21)
   şiruri infinite
4. Demonstraţii şi verificarea programelor
   vezi şi Frama-C ca exemplu pentru C
5. Lucrul cu excepţii: exemplu după o discuţie din archiva CaML
   Expresii regulate: test de apartenenţă, după un exemplu în Scala
   Problemă propusă: Countdown problem