-

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

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

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

   Livro texto 
Introdução aos Fundamentos da Computação Linguagens e Máquinas.pdf
    
Inicia em 08/04/2016 às 0h 0 e finaliza em 15/04/2016 às 23h 59
Teoria da Computação: introdução (07/04/2016 - 12/04/2016)

Autômatos e linguagens

Teoria da computabilidade

Teoria da complexidade

    
Inicia em 07/04/2016 às 0h 0 e finaliza em 14/04/2016 às 23h 59
Hierarquia de Chomsky (14/04/2016 - 19/04/2016)

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 (26/04/2016 - 05/05/2016)

DES: Definição

DES baseado na Teoria de Autômatos

Implementação de algoritmos

  Linguagens e automatos para DES-parte1.pdf 
Linguagens e automatos para DES-parte1.pdf
  Linguagens e automatos para DES-total.pdf 
Linguagens e automatos para DES-total.pdf
  Linguagens e automatos para DES-parte2.pdf 
Linguagens e automatos para DES-parte2.pdf
    
Inicia em 27/04/2016 às 0h 0 e finaliza em 03/05/2016 às 15h 59
    
Inicia em 27/04/2016 às 0h 0 e finaliza em 31/05/2016 às 23h 59
    
Inicia em 04/05/2016 às 0h 0 e finaliza em 10/05/2016 às 23h 59
Autômatos com guarda (10/05/2016 - 12/05/2016)

Autômatos com guarda

Statecharts (17/05/2016 - 19/05/2016)

Statechars: conceitos, modelos e propriedades

Rede de Petri (24/05/2016 - 02/06/2016)

DES baseados em Redes de Petri (RdP)

RdP: conceitos, modelos e propriedades

Implementação de algoritmos

  Rede de Petri - modelos gráficos 
SED Redes de Petri-parte1.pdf
  SED Redes de Petri.pdf 
SED Redes de Petri.pdf
    
Inicia em 31/05/2016 às 0h 0 e finaliza em 07/06/2016 às 21h 59
Decidibilidade (07/06/2016 - 14/06/2016)

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 (16/06/2016 - 28/06/2016)

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

 

Atividade prática (30/06/2016 - 30/06/2016)

Atividade sobre máquinas de turing e decidibilidade.

Frequências da Turma
# Matrícula ABR MAI JUN Total
07 12 14 19 21 26 28 03 05 10 19 31 07 14 23
1 2016100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2
2 2016100**** 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 3
3 2016100**** 0 0 0 0 0 2 0 2 0 0 0 0 0 0 1 5
4 2016100**** 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 4
5 2016100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
6 2016100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
7 2016100**** 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 8
8 2016100**** 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2
9 2016100**** 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2
10 2016100**** 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 3
11 2016100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
12 2016100**** 0 0 0 0 0 0 0 0 0 0 2 0 0 2 1 5
13 2016100**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14 2016100**** 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 6
15 2016100**** 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 2016100**** 7,3 7.3 2 AM
2 2016100**** 10,0 10.0 5 AM
3 2016100**** 9,0 9.0 4 AM
4 2016100**** 9,3 9.3 2 AM
5 2016100**** 9,4 9.4 0 AM
6 2016100**** 8,9 8.9 0 AM
7 2016100**** 8,3 8.3 0 AM
8 2016100**** 8,3 8.3 2 AM
9 2016100**** 10,0 10.0 0 AM
10 2016100**** 9,0 9.0 3 AM
11 2016100**** 8,5 8.5 6 AM
12 2016100**** 8,8 8.8 3 AM
13 2016100**** 8,9 8.9 0 AM
14 2016100**** 9,0 9.0 5 AM
15 2016100**** 7,5 7.5 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
05/04/2016
05/04/2016
Introdução: motivação e plano de ensino
07/04/2016
12/04/2016
Teoria da Computação: introdução
14/04/2016
19/04/2016
Hierarquia de Chomsky
26/04/2016
05/05/2016
Autômatos
10/05/2016
12/05/2016
Autômatos com guarda
17/05/2016
19/05/2016
Statecharts
24/05/2016
02/06/2016
Rede de Petri
07/06/2016
14/06/2016
Decidibilidade
16/06/2016
28/06/2016
Máquina de Turing
30/06/2016
30/06/2016
Atividade prática
Avaliações
Data Descrição
30/06/2016 1ª Avaliação
07/07/2016 2a Avaliação
: 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
Registro de notas 22/07/2016
Final da disciplina 19/07/2016
Apresentação Trabalhos Redes de Petri 14/07/2016
Aula 12/07 12/07/2016
Conversa sobre disciplina 04/07/2016
Resultado das Provas de Máquina de Turing 04/07/2016
Trabalho sobre redes de petri 01/07/2016
Adiamento da prova de teoria 19/06/2016
Prova de Teoria: máquina de turing 16/06/2016
Sobre a aula desta semana 16/05/2016
Início das atividades letivas 15/03/2016

SIGAA | Superintendência de Tecnologia da Informação - STI/UFPI - (86) 3215-1124 | sigjb03.ufpi.br.sigaa vSIGAA_3.12.1068 18/04/2024 10:04