-

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

Tópicos Aulas
Introdução (03/09/2013 - 05/09/2013)

Discussão sobre o conteúdo programático, plano de ensino e sistemática de avaliação da disciplina.

Aplicação de Redes Neurais (10/09/2013 - 12/09/2013)

Apresentação e discussão sobre algumas aplicações de Redes Neurais; Palestra realizada pelo Prof. Vinícius Ponte.

Aprendizagem de Máquina: Algoritmos Supervisionados (17/09/2013 - 17/10/2013)

Apresentação e discussão sobre aprendizagem de máquina (algoritmos supervisionados): i) C4.5; ii) Máquinas de Comitê; iii) Máquinas de Vetor de Suporte (SVM); e iv) Naive Bayes. Na discussão dos algoritmos apresenta-se detalhes de implementações e as principais aplicações.

 

Aplicações de PLN (22/10/2013 - 24/10/2013)

Apresentação e discussão de aplicações de técnicas de PLN:

i) Question/Answering – Sistemas de Perguntas/Resposta;

ii) Information Extraction – Extração de Informação de e-mails, fóruns, redes sociais e web;

iii) Machine Translation – Tradução Automática;

iv) Sumarização de documentos.

Processamento de Linguagem Natural (PLN) (22/10/2013 - 19/12/2013)
PLN: State of Art (05/11/2013 - 07/11/2013)

a) Problemas quase resolvidos

i) Dectectar spam;

ii) Part of Speech (POS) Tagging (algoritmos TreeTagger, MX-POST e QTag);

iii) Named Entity Recognition (NER).

PLN: State of Art (12/11/2013 - 14/11/2013)

b) Problemas com bom progresso:

i) Sentiment Analysis;

ii) Coreference Resolution;

iii) Word Sense Disambiguation (WSD);

iv) Parsing (Uso da ferramenta ANTLR);

v) Machine Translation (MT);

vi) Information Extraction (IE).

PLN: State of Art (19/11/2013 - 21/11/2013)

c) Problemas em aberto

i) Question Answering (QA);

ii) Paraphrase;

Ex: X acquired Y yesterday. Y has been taken over by X.

iii) Summarization;

iv) Carring on a complete human-machine communication in dialogue.

PLN: Implementações (26/11/2013 - 19/12/2013)

Implementação de aplicações que envolvem o uso de técnicas de PLN, considerando ajustes e adaptações para a língua portuguesa.

Apresentação de trabalhos (07/01/2014 - 16/01/2014)

Apresentação de trabalhos.

Estudo e definições sobre o tema de pesquisa (19/03/2024 - 11/07/2024)

 

1. Revisão bibliográfica: leitura de artigos (surveys) sobre a área;

2. Revisão bibliográfica: leitura de livros texto para a fundamentação teórica;

3. Revisão bibliográfica: leitura de artigos científicos sobre o tema de pesquisa, identificando os principais trabalhos realacionados;

4. Definir uma abordagem/proposta para atacar o problema e responder à questão de pesquisa levantada;

5. Implementar um protótipo com a abordagem proposta na Dissertação;

6. Realizar experimentos preliminares para tentar viabilizar a proposta de Dissertação;

7. Se possível, realizar comparações com outras abordagens e discutir os resultados;

8. Escrever um artigo científico para descrever as atividades/experimentos realizados.

    
Inicia em 09/03/2024 às 0h 0 e finaliza em 09/04/2024 às 23h 59
Introdução (14/08/2012 - 14/08/2012)

Discussão sobre o conteúdo programático, plano de ensino e sistemática de avaliação da disciplina.

Aplicação de Redes Neurais (21/08/2012 - 21/08/2012)

Apresentação e discussão sobre algumas aplicações de Redes Neurais; Palestra realizada pelo Prof. Vinícius Ponte.

Aprendizagem de Máquina: Algoritmos Supervisionados (28/08/2012 - 27/09/2012)

Apresentação e discussão sobre aprendizagem de máquina (algoritmos supervisionados): i) C4.5; ii) Máquinas de Comitê; iii) Máquinas de Vetor de Suporte (SVM); e iv) Naive Bayes. Na discussão dos algoritmos apresenta-se detalhes de implementações e as principais aplicações.

 

Processamento de Linguagem Natural (PLN) (02/10/2012 - 29/11/2012)
Aplicações de PLN (02/10/2012 - 04/10/2012)

Apresentação e discussão de aplicações de técnicas de PLN:

i) Question/Answering – Sistemas de Perguntas/Resposta;

ii) Information Extraction – Extração de Informação de e-mails, fóruns, redes sociais e web;

iii) Machine Translation – Tradução Automática;

iv) Sumarização de documentos.

PLN: State of Art (09/10/2012 - 11/10/2012)

a) Problemas quase resolvidos

i) Dectectar spam;

ii) Part of Speech (POS) Tagging (algoritmos TreeTagger, MX-POST e QTag);

iii) Named Entity Recognition (NER).

PLN: State of Art (16/10/2012 - 18/10/2012)

b) Problemas com bom progresso:

i) Sentiment Analysis;

ii) Coreference Resolution;

iii) Word Sense Disambiguation (WSD);

iv) Parsing (Uso da ferramenta ANTLR);

v) Machine Translation (MT);

vi) Information Extraction (IE).

PLN: State of Art (23/10/2012 - 25/10/2012)

c) Problemas em aberto

i) Question Answering (QA);

ii) Paraphrase;

Ex: X acquired Y yesterday. Y has been taken over by X.

iii) Summarization;

iv) Carring on a complete human-machine communication in dialogue.

PLN: Implementações (30/10/2012 - 29/11/2012)

Implementação de aplicações que envolvem o uso de técnicas de PLN, considerando ajustes e adaptações para a língua portuguesa.

Apresentação de trabalhos (04/12/2012 - 13/12/2012)

Apresentação de trabalhos.

Introdução: motivação e plano de ensino (03/04/2013 - 03/04/2013)

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
  aula1-TermosFormais 
aula01-termosFormais.pdf
  Resultado Final Teoria 2013.1 
Caros, segue resultado final da disciplina, com notas atribuídas a cada questão nos exercícios de teoria.
Teoria da Computação: introdução (08/04/2013 - 08/04/2013)

Autômatos e linguagens

Teoria da computabilidade

Teoria da complexidade

Atividade prática 1 (10/04/2013 - 10/04/2013)

1) Fazer um texto de até uma lauda sobre a palestra de John Hopcroft realizada durante a CLEI 2012:  

Computer science theory to support research in the information age.

 John Hopcroft, Cornell University, Ithaca, New York.

 

2) Fazer um texto de uma lauda (máximo) sobre a palestra de Luiz von Ahn no TED.com em 2011:

Massive-scale online collaboration.

 Luis von Ahn, Carnegie Mellon University.

 

 

    
Inicia em 08/04/2013 às 0h 0 e finaliza em 15/04/2013 às 15h 59
Hierarquia de Chomsky (15/04/2013 - 15/04/2013)

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
Atividade prática 2 (17/04/2013 - 17/04/2013)

 

Questões: 1, 2 e 3 (página 66)

Lista-exercícios-1

Referência:

Vieira, Newton J., Introdução aos Fundamentos da Computação : Linguagens e máquinas. Pioneira Thompson Learning, 2006.

 

 

    
Inicia em 15/04/2013 às 0h 0 e finaliza em 16/04/2013 às 12h 0
    
Inicia em 15/04/2013 às 0h 0 e finaliza em 22/04/2013 às 15h 59
Autômatos (22/04/2013 - 15/05/2013)

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 25/04/2013 às 0h 0 e finaliza em 02/05/2013 às 23h 59
Autômatos com guarda (20/05/2013 - 22/05/2013)

Autômatos com guarda

Statecharts (27/05/2013 - 29/05/2013)

Statechars: conceitos, modelos e propriedades

Rede de Petri (03/06/2013 - 19/06/2013)

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
Decidibilidade (17/06/2013 - 26/06/2013)

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 (01/07/2013 - 03/07/2013)

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 03/07/2013 às 0h 0 e finaliza em 08/07/2013 às 23h 59
    
Inicia em 15/07/2013 às 0h 0 e finaliza em 15/07/2013 às 23h 59
    
Inicia em 14/08/2013 às 0h 0 e finaliza em 30/08/2013 às 23h 59
Atividade prática 3 (08/07/2013 - 10/07/2013)

Resolução de exercícios 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 201310**** 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 0
2 201310**** 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 0
3 201310**** 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4
4 201310**** 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5
5 201310**** 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 6
6 201310**** 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1
7 201310**** 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 5
8 201310**** 0 0 0 0 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 2
9 201310**** 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 6
10 201310**** 0 0 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 2
Notas da Turma
# Matrícula Unid. 1 Prova Final Resultado Faltas Situação
1 201310**** 7,1 7.1 0 AM
2 201310**** 7,6 7.6 1 AM
3 201310**** 7,0 7.0 5 AM
4 201310**** 7,4 7.4 2 AM
5 201310**** 8,3 8.3 4 AM
6 201310**** 8,3 8.3 2 AM
7 201310**** 5,5 5.5 5 RN
8 201310**** 8,4 8.4 6 AM
9 201310**** 9,8 9.8 6 AM
10 201310**** 7,6 7.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: Aulas expositivas (T) <br />Aulas práticas (P) <br />Exercícios (E)<br />Trabalhos de pesquisa bibliográfica (TB) <br />Estudos dirigidos (ED). <br />Grupos de discussão (GD)<br />
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í.<br /> Serão realizadas 4 avaliações envolvendo os conceitos apresentados nas aulas.<br /> Será considerado aprovado na disciplina o aluno que:<br />• Obtiver freqüência igual ou superior a 75% da carga horária da<br /> disciplina.<br />• Obtiver média aritmética nas 4 avaliações maior ou igual a 7 (sete), ou <br />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.<br /> 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.<br /> 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.<br /> 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.<br />
Horário de atendimento:
Bibliografia:
Cronograma de Aulas

Início

Fim

Descrição
03/04/2013
03/04/2013
Introdução: motivação e plano de ensino
08/04/2013
08/04/2013
Teoria da Computação: introdução
10/04/2013
10/04/2013
Atividade prática 1
15/04/2013
15/04/2013
Hierarquia de Chomsky
17/04/2013
17/04/2013
Atividade prática 2
22/04/2013
15/05/2013
Autômatos
20/05/2013
22/05/2013
Autômatos com guarda
27/05/2013
29/05/2013
Statecharts
03/06/2013
19/06/2013
Rede de Petri
17/06/2013
26/06/2013
Decidibilidade
01/07/2013
03/07/2013
Máquina de Turing
08/07/2013
10/07/2013
Atividade prática 3
Avaliações
Data Descrição
29/05/2013 1ª Avaliação
12/08/2013 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
Trabalho Final 14/08/2013
Aula Final 10/08/2013
Aula 05/08 05/08/2013
Aula 10/07/2013 10/07/2013
Avaliação dos trabalhos sobre Redes de Petri 06/07/2013
Máquinas de Turing e Decidibilidade 01/07/2013
Lista de Exercícios 1 17/04/2013

SIGAA | Superintendência de Tecnologia da Informação - STI/UFPI - (86) 3215-1124 | sigjb15.ufpi.br.instancia1 vSIGAA_3.12.1594 08/04/2026 17:49