Algoritmos e Teoria da Computação

Atendimento

• Quarta/Quinta 14-17h; Sexta 08-11h
• Mediante agendamento (thiago.paixao@ufes.br)

Avaliação (resultado parcial)

• Prova 1: 04/09 11/09
• Prova 2: 30/10
• Prova 3: 27/11
• Prova final: 10/12

Aulas

• Aula 0 (06/08/2015): Apresentação do programa da disciplina [pdf]
• Aula 1 (07/08/2015): Introdução [pdf]
  • Leitura recomendada: Artigo "A teoria da computação e o profissional de informática" [pdf]
• Aula 2 (07/08/2015): Conjuntos [pdf] Lógica [pdf]
• Aula 3 (13/08/2015): Relações [pdf] Outras relações [pdf]
• Aula 4 (14/08/2015): Funções [pdf] Outras funções [pdf] Exercícios [pdf]
  • Vídeo recomendado: Os Infinitos de Cantor [youtube]
• Aula 5 (20/08/2015): Métodos de prova [pdf] Exercícios [pdf]
• Aula 6 (21/08/2015): Indução matemática [pdf] Exercícios [pdf]
• Aula 7 (27/08/2015): Programas e máquinas [pdf]
• Aula 8 (28/08/2015): Computação
• Aula 9 (03/09/2015): Função Computada
• Aula 10 (04/09/2015): Equivalência de programas e máquinas [pdf]
• Aula 11 (10/09): Exercícios
• Aula 12 (11/09): Prova 1
• Aula 13 (17/09):
• Aula 14 (18/09):