Curso: PCS3856 - Lógica Computacional (2020)

Alunos Matriculados:

Lista de Alunos Matriculados T1 Arquivo

Lista de Alunos Matriculados T2 Arquivo

Avaliação das Atividades em Sala Arquivo

Notas P1 & P2 Arquivo

Notas Finais Arquivo

Notas Finais no Júpiter 1 Arquivo

Notas Finais no Júpiter 2 Arquivo

Informações sobre a Disciplina:

Planejamento da Disciplina Arquivo

Conjuntos, linguagens Arquivo

Slides utilizados (aulas iniciais) Arquivo

Diagonal de Cantor - Exemplo em sala Arquivo

Linguagens Regulares Arquivo

Autômatos Finitos Determinísticos Arquivo

Autômatos Finitos Não-determinísticos Arquivo

Expressões Regulares x Linguagens regulares Arquivo

Gramáticas Regulares Arquivo

Propriedades das LR Arquivo

Bombeamento LR Arquivo

Exemplos - Bombeamento Arquivo

Minimização de estados em AF -- em Português Arquivo

Linguagens Livres de Contexto Arquivo

Autômato de Pilha Arquivo

Gramáticas Livres de Contexto -- Árvores de derivação Arquivo

PDA Accept Context Free Arquivo

Context Free Pumping Arquivo

Context Free Properties Arquivo

DPDA Arquivo

Formas Normais Arquivo

Parsers Arquivo

Máquinas de Turing Arquivo

Apresentação sobre Máquina de Turing Arquivo

Turing Machines Arquivo

Turing Functions Arquivo

Turing Variations Arquivo

Tese de Church Arquivo

Other Models Arquivo

Universal Turing Arquivo

Decidibilidade Arquivo

Decidable Arquivo

Decidability Reductions Arquivo

Undecidable Arquivo

PCS3856 - Lógica Computacional (2020)

Programação

Geral

Tópico 1

Tópico 2

Tópico 3

Tópico 4

P2

Tópico 6

Tópico 7

Tópico 8

Tópico 9

Tópico 10

Navegação

Pesquisar nos fóruns

Próximos eventos

Atividade recente