This is an old revision of the document!

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