Ementa/Descrição: |
Análise de algoritmos. Noções de lógica e técnicas de demonstração. Conjuntos e funções. Relações combinatória. Máquinas de estado finito e de turing, linguagens formais. Parâmetros de eficiência, modelo de computação, complexidade local, complexidade assintótica, recursividade e critério de tempo polinomial. Grafos. Desenvolvimento de algoritmos. Classes de problemas algorítmicos, máquinas de turing, problemas de decisão da classe p, algoritmos não determinísticos, problemas np-árduos e np-completos, a classe co-np de problemas de decisão e reduções. |