-

PPGCC001 - TEORIA DA COMPUTAÇÃO - Turma: 01 (2017.1)

Tópicos Aulas
Aula 01 - Apresentação de Plano de Ensino; Introdução à Teoria da Computação: Autômato, Computabilidade e Complexidade. (07/03/2017 - 07/03/2017)
   2017.1 - Plano de Ensino - Teoria da Computação.pdf 
Não Haverá Aula (09/03/2017)
Aula 02 - Conceitos Preliminares: Representação, Prova de Teoremas e Conjuntos (04/04/2017 - 04/04/2017)
Aula 03 - Conceitos Preliminares: Relações, Funções, Conjuntos Enumeráveis, Definições Recursivas e Indução Matemática (06/04/2017 - 06/04/2017)
Aula 04 - Conceitos Preliminares: Grafos, Linguagens Formais, Gramáticas e Problemas de Decisão (11/04/2017 - 11/04/2017)
    
Inicia em 10/04/2017 às 0h 0 e finaliza em 13/04/2017 às 13h 59
Aula 05 - Máquinas de Estados Finitos: Autômatos Finitos Determinísticos (18/04/2017 - 18/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 (20/04/2017 - 20/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 (25/04/2017 - 25/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 (27/04/2017 - 27/04/2017)
Aula 09 - Máquinas de Estados Finitos: Estudo Dirigido com Aplicação de Lista de Exercícios (02/05/2017 - 02/05/2017)
    
Inicia em 01/05/2017 às 0h 0 e finaliza em 08/05/2017 às 23h 59
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 (04/05/2017 - 04/05/2017)
Aula 11 - Máquinas de Estados Finitos: Revisão e Correção de Exercícios (09/05/2017 - 09/05/2017)
Aula 12 - Máquinas de Estados Finitos: Primeira Avaliação (11/05/2017 - 11/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 (16/05/2017 - 16/05/2017)
Aula 14 - Autômatos com Pilha: Autômatos com Pilha Não Determinísticos (18/05/2017 - 18/05/2017)
Aula 15 - Autômatos com Pilha: Gramáticas Livre do Contexto (23/05/2017 - 23/05/2017)
Aula 16 - Autômatos com Pilha: Formas Normais e Equivalência entre GLC e AP (25/05/2017 - 25/05/2017)
Aula 17 - Maquinas de Turing (30/05/2017 - 30/05/2017)
Aula 18 - Máquinas de Turing: Equivalências entre Variações de Máquinas de Turing (01/06/2017 - 01/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 (06/06/2017 - 06/06/2017)
    
Inicia em 06/06/2017 às 0h 0 e finaliza em 08/06/2017 às 13h 59
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 (08/06/2017 - 08/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 (13/06/2017 - 13/06/2017)
Aula 22 - Máquinas de Estado Finito (Gramáticas e Expressões Regulares) e Autômatos com Pilha: Segunda Avaliação (20/06/2017 - 20/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 (22/06/2017 - 22/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. (23/06/2017 - 23/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. (27/06/2017 - 27/06/2017)
Aula 26 - Random Access Machine: Funções RAM computáveis (29/06/2017 - 29/06/2017)
Aula 27 - Maquina de Turing, Decidibilidade e Random Access Machines: Estudo Dirigido com Aplicação de Lista de Exercícios (30/06/2017 - 30/06/2017)
Aula 28 - Máquina de Turing, Decidibilidade e Máquina de Acesso Aleatório: Revisão e Resolução de Exercícios (04/07/2017 - 04/07/2017)
Aula 29 - 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 30 - Máquina de Turing, Decidibilidade e Máquina de Acesso Aleatório: Terceira Avaliação (07/07/2017 - 07/07/2017)
Frequências da Turma
# Matrícula MAR ABR MAI JUN JUL Total
07 04 06 11 18 20 25 27 02 04 09 11 16 18 23 25 30 01 06 08 13 20 22 23 27 29 04 06 07
1 2017100**** 0 0 0 0 0 2 0 2 0 0 0 2 0 2 2 0 0 0 0 0 0 0 0 2 0 2 0 2 2 18
2 2016100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3 2017100**** 2 0 0 2 0 0 0 0 0 2 2 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 40
4 2017100**** 0 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 54
5 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
6 2017100**** 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 0 0 0 12
7 2017100**** 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 10
8 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 2 0 0 0 0 0 2 2 0 10
9 2017100**** 2 0 2 2 0 0 2 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 12
10 2017100**** 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 0 0 10
11 2017100**** 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 6
12 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
13 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2
14 2017100**** 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 4
15 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 4
16 2017100**** 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 6
17 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2
18 2017100**** 0 0 2 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 0 2 0 2 2 0 0 0 2 16
19 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2
20 2017100**** 0 0 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 10
21 2017100**** 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 2 0 0 0 10
22 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
23 2016101**** 0 2 0 2 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 2 0 2 0 2 2 2 2 22
24 2016100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
25 2017100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Notas da Turma
# Matrícula Unid. 1 Prova Final Resultado Faltas Situação
1 2017100**** 8,5 8.5 6 AM
2 2016100**** 5,3 5.3 0 RN
3 2017100**** 7,0 7.0 0 AM
4 2017100**** 2,4 2.4 18 RF
5 2017100**** 0,0 0.0 40 RF
6 2017100**** 0,0 0.0 54 RF
7 2017100**** 2,4 2.4 12 RN
8 2017100**** 7,0 7.0 10 AM
9 2017100**** 8,9 8.9 10 AM
10 2017100**** 7,4 7.4 12 AM
11 2017100**** 8,8 8.8 10 AM
12 2017100**** 6,5 6.5 0 RN
13 2017100**** 8,2 8.2 2 AM
14 2017100**** 4,3 4.3 4 RN
15 2017100**** 9,2 9.2 4 AM
16 2017100**** 8,4 8.4 2 AM
17 2017100**** 0,0 0.0 14 RN
18 2017100**** 5,7 5.7 2 RN
19 2017100**** 4,5 4.5 6 RN
20 2017100**** 6,4 6.4 10 RN
21 2016100**** 8,6 8.6 0 AM
22 2017100**** 9,5 9.5 0 AM
23 2017100**** 7,9 7.9 10 AM
24 2016101**** 0,0 0.0 22 RF
25 2017100**** 9,6 9.6 0 AM

Nenhum item foi encontrado

Plano de Curso

Nesta página é possível visualizar o plano de curso definido pelo docente para esta turma.

Dados da Disciplina
Ementa: Conceitos Preliminares: representação; prova de teoremas; conjuntos; relações; funções; conjuntos enumeráveis; definições recursivas; indução matemática; linguagens formais; gramáticas; problemas de decisão. Máquinas de Estado-Finito: alguns exemplos; autômatos finitos determinísticos; autômatos finitos não determinísticos; linguagens regulares: propriedades; máquinas de Mealy e de Moore; expressões regulares; gramáticas regulares; linguagens regulares: propriedades. Autômatos com Pilha: uma introdução informal; autômatos com pilha determinísticos; autômatos com pilha não determinísticos; gramáticas livres do contexto; linguagens livres do contexto: propriedades. Máquinas de Turing; Algoritmo de Markov; gramáticas e máquinas de Turing; propriedades das linguagens recursivamente enumeráveis e linguagens recursivas. Indecidibilidade: funções primitivas recursivas e a tese de Church-Turing; máquina de Turing universal; o problema da parada; redutibilidade; exemplos de problemas indecidíveis.
Objetivos:
Metodologia de Ensino e Avaliação
Metodologia:
Procedimentos de Avaliação da Aprendizagem:
Horário de atendimento:
Bibliografia:
Cronograma de Aulas

Início

Fim

Descrição
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
Avaliações
Data Descrição
11/05/2017 Primeira Avaliação: Máquinas de Estados Finitos até Equivalência de Máquinas de Mealy e Moore
20/06/2017 Segunda Avaliação: Máquinas de Estado Finito (Gramáticas Regulares e Expressões Regulares - Aula 13) e Autômatos com Pilha (Aulas 13, 14, 15 e 16)
07/07/2017 Terceira Avaliação (Local: sala 261)
12/07/2017 Terceira Avaliação - Segunda Chamada (Local: Espaço Integrado II - Sala 19)
: Referência consta na biblioteca
Referências Básicas
Tipo de material Descrição
Referências Complementares
Tipo de material Descrição
Notícias da Turma
: Visualizar

Título

Data
Resultado Final 14/07/2017
Informes sobre Resultado e Segunda Chamada da Terceira Avaliação 12/07/2017
Terceira Avaliação - 07/07/2017 - de 10h às 12h (Sala 261) 07/07/2017
Errata - Lista 03 - Questão 7b 05/07/2017
Aulas da Próxima Semana 29/06/2017
Respostas da segunda lista no SIGAA 14/06/2017
Informações sobre a aula de TC desta terça-feira (06/06/2017) 03/06/2017
Aulas Extras (Datas) 17/05/2017
Informações sobre a aula de TC desta terça-feira (02/05/2017) 01/05/2017
Informações sobre aula de Quinta-Feira (13/04/2017) 11/04/2017
Informações sobre a aula de TC desta terça-feira (11/04/2017) 07/04/2017
Aulas retornarão amanhã (04/04/2017) 03/04/2017
Retorno das aulas - Licença Paternidade 15/03/2017

SIGAA | Superintendência de Tecnologia da Informação - STI/UFPI - (86) 3215-1124 | sigjb05.ufpi.br.instancia1 vSIGAA_3.12.1054 29/03/2024 05:53