CCMP0039-Teoria da computação

Escola Politécnica de Pernambuco
Engenharia da Computação
PROGRAMA
Disciplina: TEORIA DA COMPUTAÇÃO
Código: CCMP0039
Carga Horária Semestral: 60h
Obrigatória:
x
Eletiva :
Número de Créditos: TEÓRICOS: 04 ; PRÁTICOS: 0 ; TOTAL: 04
Pré-Requisito: CCMP0001-ÁLGEBRA APLICADA À COMPUTAÇÃO
MATM0002-CÁLCULO 1
Co-Requisito:
EMENTA
Teoria dos Grafos
Algoritmos: Algoritmos para pesquisa e ordenação; algoritmos de busca; algoritmos
geométricos; algoritmos recursivos; eliminação de recursividade; algoritmos nãodeterminísticos
Teoria da Complexidade: Medidas de Complexidade. Complexidade do algoritmo no pior
caso; Complexidade do algoritmo no caso médio; Complexidade mínima do problema
Teoria da intratabilidade: Classes P, NP, NP-Completa e NP-Difícil
Teoria dos Autômatos. Teoria da Computabilidade: Máquina de Turing. Computabilidade
efetiva; Funções Recursivas; Tese de Church; Teorema da incompletude de Godel.
OBJETIVOS
Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de
Modo a deixá-lo consciente das limitações da ciência da computação. Aparelhá-lo com as
ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio
do computador.
Teoria da Computação
Escola Politécnica de Pernambuco
Engenharia da Computação
UNIDADE
ITEM
I
1
2
3
4
HORAS AULAS
T
P
CONTEÚDO
4
4
4
2
6
Complexidade
Estruturas de Dados – Listas, Pilhas, Filas
Árvores
Heaps
Árvores Binárias de Busca, AVL e VermelhoPreto
Hashing
II
1
2
3
4
Algoritmos de Ordenação
Algoritmos Geométricos
Algoritmos para Geração de Números Aleatórios
1º Exercício Escolar
2
2
2
2
III
1
2
3
Representação de Grafos
Percurso de Grafos
Algoritmos de Grafos
2
2
6
IV
1
2
Problemas NP
Redução Polinomial
4
4
V
1
2
3
4
5
Teoria dos Autômatos
Máquina de Turing
Tese de Church
Teorema da Incompletude de Gödel
2º Exercício Escolar
4
2
2
2
2
5
6
2
Teoria da Computação
Escola Politécnica de Pernambuco
Engenharia da Computação
METODOLOGIA
•
•
•
Aulas teóricas expositivas
Trabalhos individuais
Trabalhos de grupos
BIBLIOGRAFIA BÁSICA
•
MANBER, Udi. Introduction to Algorithms – A Creative Approach. New York. Ed.
Addison-Wesley, 1989
BIBLIOGRAFIA COMPLEMENTAR
•
•
•
CORMEN, Thomas, LEISERSON, Charles e RIVEST, Ronald. Algoritmos: Teoria e
Prática. Rio de Janeiro. Ed. Campus, 2001
Notas de aula
Artigos científicos
Teoria da Computação