07/03/2017
|
07/03/2017
|
Aula 01 - Apresentação de Plano de Ensino; Introdução à Teoria da Computação: Autômato, Computabilidade e Complexidade.
|
09/03/2017
|
09/03/2017
|
Não Haverá Aula
|
04/04/2017
|
04/04/2017
|
Aula 02 - Conceitos Preliminares: Representação, Prova de Teoremas e Conjuntos
|
06/04/2017
|
06/04/2017
|
Aula 03 - Conceitos Preliminares: Relações, Funções, Conjuntos Enumeráveis, Definições Recursivas e Indução Matemática
|
11/04/2017
|
11/04/2017
|
Aula 04 - Conceitos Preliminares: Grafos, Linguagens Formais, Gramáticas e Problemas de Decisão
|
18/04/2017
|
18/04/2017
|
Aula 05 - Máquinas de Estados Finitos: Autômatos Finitos Determinísticos
|
20/04/2017
|
20/04/2017
|
Aula 06 - Máquina de Estados Finitos: Minimização de Autômatos, Autômatos Finitos Não Determinísticos e Equivalência entre AFD e AFN
|
25/04/2017
|
25/04/2017
|
Aula 07 - Máquinas de Estados Finitos: AFN Estendido, AFN com Transições Vazias, Equivalência entre AFN e AFN com Transições Vazias
|
27/04/2017
|
27/04/2017
|
Aula 08 - Máquinas de Estados Finitos: Equivalência entre AFN e AFN com Transições Vazias, Lema do Bombeamento, Máquinas de Mealy e Moore
|
02/05/2017
|
02/05/2017
|
Aula 09 - Máquinas de Estados Finitos: Estudo Dirigido com Aplicação de Lista de Exercícios
|
04/05/2017
|
04/05/2017
|
Aula 10 - Máquinas de Estados Finitos: Simulando AFDs por meio de Máquinas de Moore, Máquinas de Mealy, Equivalência entre Máquinas de Mealy e de Moore
|
09/05/2017
|
09/05/2017
|
Aula 11 - Máquinas de Estados Finitos: Revisão e Correção de Exercícios
|
11/05/2017
|
11/05/2017
|
Aula 12 - Máquinas de Estados Finitos: Primeira Avaliação
|
16/05/2017
|
16/05/2017
|
Aula 13 - Máquinas de Estados Finitos: Expressões Regulares, Gramáticas Regulares; Autômatos com Pilha: Autômatos com Pilha Determinísticos
|
18/05/2017
|
18/05/2017
|
Aula 14 - Autômatos com Pilha: Autômatos com Pilha Não Determinísticos
|
23/05/2017
|
23/05/2017
|
Aula 15 - Autômatos com Pilha: Gramáticas Livre do Contexto
|
25/05/2017
|
25/05/2017
|
Aula 16 - Autômatos com Pilha: Formas Normais e Equivalência entre GLC e AP
|
30/05/2017
|
30/05/2017
|
Aula 17 - Maquinas de Turing
|
01/06/2017
|
01/06/2017
|
Aula 18 - Máquinas de Turing: Equivalências entre Variações de Máquinas de Turing
|
06/06/2017
|
06/06/2017
|
Aula 19 - Máquinas de Estado Finito (Gramáticas e Expressões Regulares) e Autômatos com Pilha: Estudo Dirigido com Aplicação de Lista de Exercícios
|
08/06/2017
|
08/06/2017
|
Aula 20 - Máquinas de Estado Finito (Gramáticas e Expressões Regulares) e Autômatos com Pilha: Revisão e Correção de Exercícios
|
13/06/2017
|
13/06/2017
|
Aula 21 - Máquinas de Estados Finitos: Correção da Primeira Avaliação; Autômatos com Pilha: Revisão e Correção de Exercícios
|
20/06/2017
|
20/06/2017
|
Aula 22 - Máquinas de Estado Finito (Gramáticas e Expressões Regulares) e Autômatos com Pilha: Segunda Avaliação
|
22/06/2017
|
22/06/2017
|
Aula 23 - Máquinas de Turing: MT Não Determinística, Gramática Irrestrita, Autômato Linearmente Limitado e Gramática Sensível ao Contexto
|
23/06/2017
|
23/06/2017
|
Aula 24 - Máquinas de Estado Finito (Gramáticas e Expressões Regulares) e Autômatos com Pilha: Correção da Segunda Avaliação; Máquinas de Turing: Resolução de Exercícios.
|
27/06/2017
|
27/06/2017
|
Aula 25 - Decidibilidade: Modelos de Computação, Tese de Church-Turing, Problemas de Decisão, Máquina de Turing Universal e Problema da Parada.
|
29/06/2017
|
29/06/2017
|
Aula 26 - Random Access Machine: Funções RAM computáveis
|
30/06/2017
|
30/06/2017
|
Aula 27 - Maquina de Turing, Decidibilidade e Random Access Machines: Estudo Dirigido com Aplicação de Lista de Exercícios
|
04/07/2017
|
04/07/2017
|
Aula 28 - Máquina de Turing, Decidibilidade e Máquina de Acesso Aleatório: Revisão e Resolução de Exercícios
|
06/07/2017
|
06/07/2017
|
Aula 29 - Máquina de Turing, Decidibilidade e Máquina de Acesso Aleatório: Revisão e Resolução de Exercícios
|
07/07/2017
|
07/07/2017
|
Aula 30 - Máquina de Turing, Decidibilidade e Máquina de Acesso Aleatório: Terceira Avaliação
|