✎ laborator [books]

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Laborator AA ======

==== Masina Turing ====

  * Exercitii simple cu MT
  * Exercitii cu MTU si conceptul de simulare
  * Algoritmi

==== Decidabilitate ====

  * Ce este o problema de decizie?
  * Problema si rezolvare;
  * Lista de probleme care (pot/nu pot) fi rezolvate;
  * Reduceri
  * Further work: coRE, complement, dovetailing

==== Notatii asimptotice ====
  * Implementari care sa ilustreze faptul ca constanta conteaza/nuconteaza
  * Implementari care sa ilustreze faptul ca log n >> n >> n2 >>> n3
  * Grafice (in ?!)
  * Exercitii clasice

==== Recurente ====
  * Cativa algoritmi si recurentele lor
  * Exercitii clasice

==== NP completitudine ====
  * Implementare care sa ilustreze exponentiala (backtracking); legatura cu MTN.
  * Reduceri pentru SAT solvere
  * Exercitii clasice cu reduceri

==== TDA-uri ====
  * Conceptul de operator vs cel de functie (exercitiu in C, exercitiu in Haskell, pe Liste)
  * Exercitii clasice