-

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

Tópicos Aulas
Introdução: motivação e plano de ensino (23/04/2014 - 23/04/2014)

Introdução a Teoria da Computação

Por que estudar Teoria da Computação?

Discussão do plano de ensino e sistema de avaliação

   aula1-TermosFormais 
aula01-termosFormais.pdf
    
Inicia em 29/04/2014 às 0h 0 e finaliza em 04/05/2014 às 23h 59
  Livro texto 
Introdução aos Fundamentos da Computação Linguagens e Máquinas.pdf
Teoria da Computação: introdução (28/04/2014 - 28/04/2014)

Autômatos e linguagens

Teoria da computabilidade

Teoria da complexidade

    
Inicia em 14/04/2014 às 0h 0 e finaliza em 30/04/2014 às 23h 59
Hierarquia de Chomsky (30/04/2014 - 30/04/2014)

Discussão sobre a Hierarquia de Chomsky:

Gramáticas Regulares, Gramáticas Livres de Contexto, Gramáticas Sensível ao Contexto e Gramáticas Irrestritas.

  aula03-hierarquia de Chomsky.pdf 
aula03-hierarquia de Chomsky.pdf
Autômatos (05/05/2014 - 21/05/2014)

DES: Definição

DES baseado na Teoria de Autômatos

Implementação de algoritmos

  Linguagens e automatos para DES-parte2.pdf 
Linguagens e automatos para DES-parte2.pdf
  Linguagens e automatos para DES-total.pdf 
Linguagens e automatos para DES-total.pdf
  Linguagens e automatos para DES-parte1.pdf 
Linguagens e automatos para DES-parte1.pdf
    
Inicia em 29/04/2014 às 0h 0 e finaliza em 25/05/2014 às 23h 59
    
Inicia em 05/05/2014 às 0h 0 e finaliza em 31/05/2014 às 23h 59
Autômatos com guarda (26/05/2014 - 26/05/2014)

Autômatos com guarda

Statecharts (28/05/2014 - 28/05/2014)

Statechars: conceitos, modelos e propriedades

Rede de Petri (02/06/2014 - 18/06/2014)

DES baseados em Redes de Petri (RdP)

RdP: conceitos, modelos e propriedades

Implementação de algoritmos

  SED Redes de Petri.pdf 
SED Redes de Petri.pdf
  Rede de Petri - modelos gráficos 
SED Redes de Petri-parte1.pdf
    
Inicia em 26/05/2014 às 0h 0 e finaliza em 09/06/2014 às 23h 59
    
Inicia em 16/06/2014 às 0h 0 e finaliza em 13/07/2014 às 23h 59
Decidibilidade (23/06/2014 - 02/07/2014)

A tese de Church-Turing; Máquinas de Turing e Problemas de Decisão; Máquina de Turing Universal; Problema da Parada; Redução de problemas.

 

Máquina de Turing (07/07/2014 - 09/07/2014)

Definição; Variações de Máquinas de Turing; Gramáticas e Máquinas de Turing; Propriedades das LREs e das Linguagens Recursivas.

 

    
Inicia em 11/07/2014 às 0h 0 e finaliza em 16/07/2014 às 23h 59
Atividade prática (14/07/2014 - 16/07/2014)

Resolução de exercícios sobre máquinas de turing e decidibilidade.

Frequências da Turma
# Matrícula ABR MAI JUN Total
23 28 30 05 07 12 14 19 21 26 28 02 04 09 11 16
1 201410**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2
2 201410**** 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 6
3 201410**** 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2
4 201410**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1
5 201410**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2
6 201410**** 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 4
7 201410**** 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 4
8 201410**** 0 0 0 2 0 0 2 0 0 2 0 0 0 2 0 2 10
9 201410**** 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 4
10 201410**** 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2
11 201410**** 0 0 0 0 0 0 0 2 0 0 0 0 0 2 2 0 6
12 201410**** 0 0 0 0 0 0 2 2 0 0 0 0 0 2 0 0 6
13 201410**** 0 0 0 2 0 0 2 0 0 0 0 2 0 0 2 0 8
14 201410**** 0 0 2 0 0 2 2 0 0 0 0 0 0 0 0 0 6
15 201410**** 1 0 0 0 0 0 0 2 0 2 0 0 0 0 0 2 7
16 201410**** 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2
17 201410**** 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 6
18 201410**** 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 4
19 201410**** 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 201410**** 9,0 9.0 2 AM
2 201410**** 9,4 9.4 6 AM
3 201410**** 9,9 9.9 6 AM
4 201410**** 9,7 9.7 0 AM
5 201410**** 7,9 7.9 6 AM
6 201410**** 7,4 7.4 6 AM
7 201410**** 8,2 8.2 4 AM
8 201410**** 9,9 9.9 2 AM
9 201410**** 9,0 9.0 2 AM
10 201410**** 7,8 7.8 10 AM
11 201410**** 8,3 8.3 2 AM
12 201410**** 8,7 8.7 1 AM
13 201410**** 8,0 8.0 4 AM
14 201410**** 8,7 8.7 2 AM
15 201410**** 9,9 9.9 4 AM
16 201410**** 8,7 8.7 4 AM
17 201410**** 9,3 9.3 7 AM
18 201410**** 9,4 9.4 6 AM
19 201410**** 8,3 8.3 8 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: Aulas expositivas (T)
Aulas práticas (P)
Exercícios (E)
Trabalhos de pesquisa bibliográfica (TB)
Estudos dirigidos (ED).
Grupos de discussão (GD)
Procedimentos de Avaliação da Aprendizagem: Para efeito de avaliação será observada a Resolução 043/95-CEPEX que regulamenta a Verificação do Rendimento Escolar nos Cursos de Graduação da Universidade Federal do Piauí.
Serão realizadas 4 avaliações envolvendo os conceitos apresentados nas aulas.
Será considerado aprovado na disciplina o aluno que:
• Obtiver freqüência igual ou superior a 75% da carga horária da
disciplina.
• Obtiver média aritmética nas 4 avaliações maior ou igual a 7 (sete), ou
média aritmética igual ou superior a 6 (seis), resultante da média aritmética das avaliações e da nota do exame final.
O aluno que obtiver média aritmética das 3 avaliações inferior a 4 (quatro) será considerado reprovado e não realizará avaliação final. A prova final consistirá do conteúdo da disciplina.
O aluno que não comparecer às avaliações e/ ou exame final terá o direito de requerer a oportunidade de realizá-los em segunda chamada.
O candidato a exame de segunda chamada poderá requerê-lo por si ou por procurador legalmente constituído, ao professor da disciplina, através do departamento responsável pela mesma, em um prazo de 3 dias úteis, justificando através de documento o motivo da ausência.
Horário de atendimento:
Bibliografia:
Cronograma de Aulas

Início

Fim

Descrição
23/04/2014
23/04/2014
Introdução: motivação e plano de ensino
28/04/2014
28/04/2014
Teoria da Computação: introdução
30/04/2014
30/04/2014
Hierarquia de Chomsky
05/05/2014
21/05/2014
Autômatos
26/05/2014
26/05/2014
Autômatos com guarda
28/05/2014
28/05/2014
Statecharts
02/06/2014
18/06/2014
Rede de Petri
23/06/2014
02/07/2014
Decidibilidade
07/07/2014
09/07/2014
Máquina de Turing
14/07/2014
16/07/2014
Atividade prática
Avaliações
Data Descrição
30/06/2014 Trabalho de Autômatos
16/07/2014 Trabalho de Máquina de Turing
: 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
Apresentação dos trabalhos de Automatos e Rede de Petri 11/07/2014
Màquina de Turing 11/07/2014
Trabalhos 10/07/2014
Aulas de Teoria 26/06/2014
1o. Encontro 11/06/2014
Definição de atividades 29/04/2014
Início das atividades dia 23/04 11/04/2014
Aulas de Teoria da Computação 19/03/2014

SIGAA | Superintendência de Tecnologia da Informação - STI/UFPI - (86) 3215-1124 | sigjb17.ufpi.br.instancia1 vSIGAA_3.12.1163 07/11/2024 22:37