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):