Ir para o conteúdo principal
Painel lateral
Disciplinas »
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
AACCs/FFLCH
Pró-Reitoria de Pós-Graduação
Outros
Suporte »
Acesso
Perfis
Ouvintes
Docentes
Criação de Disciplinas da USP
Documentação
HelpDesk e Contato
Guia de uso
Sobre
Português - Brasil (pt_br)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Buscar
Fechar
Buscar
Alternar entrada de pesquisa
Acessar
PCS3556 - Lógica Computacional (2018)
Início
Ambientes
2018
EP
PCS
PCS3556-150-2018
Tópico 1
Undecidable
Undecidable
Clique no link
Undecidable 1.pdf
para ver o arquivo.
◄ Decidable
Seguir para...
Seguir para...
Avisos
Fórum de notícias
Lista de Alunos Matriculados T1
Lista de Alunos Matriculados T2
Avaliação das Atividades em Sala
Notas Finais
Notas Finais 1
Notas Finais 2
Planejamento da Disciplina
Slides utilizados (aulas iniciais)
Preliminares
Diagonal de Cantor - Exemplo em sala
Conjuntos, linguagens
Linguagens Regulares
Autômatos Finitos Determinísticos
Autômatos Finitos Não-determinísticos
Expressões Regulares x Linguagens regulares
Gramáticas Regulares
Propriedades das LR
Bombeamento LR
Exemplos - Bombeamento
Minimização de estados em AF -- em Português
Linguagens Livres de Contexto
Autômato de Pilha
Gramáticas Livres de Contexto -- Árvores de derivação
PDA Accept Context Free
Context Free Pumping
Context Free Properties
DPDA
Formas Normais
Parsers
Máquinas de Turing
Turing Machines
Turing Functions
Turing Variations
Turing Variations Offline
Tese de Church
Other Models
Universal Turing
Decidable
Decidability Reductions
Elixir - Introduction
Apresentação (PDF): Functional Programming With Elixir
Link para um video sobre programação funcional
Livro (HTML) sobre programação em Scheme "How to Design Programs"
Livro (HTML) "Structure and Interpretation of Computer Programs" (SICP)
1a Lista de Exercícios
2a Lista de Exercícios
3a Lista de Exercícios
4a Lista de Exercícios
5a Lista de Exercícios
Link para o vídeo
Infinormática
Artigo sobre os números transfinitos de Cantor
Texto do 1o EP
Entrega do 1o EP
Texto do 2o EP
Entrega do 2o EP
Texto do 3o EP
Automata - 1a referência do EP
Entrega do 3o EP
Texto do 4o EP
Entrega do 4o EP
Notas dos EPs
Exercícios da Aula 1
Exercícios da Aula 2
Exercícios da Aula 3
Exercícios da Aula 4
Exercícios da Aula 5
Exercícios da Aula 6
Exercícios da Aula 7
Exercícios da Aula 8
Exercícios da Aula 9
Exercícios da Aula 10
Exercícios da Aula 11
Decidability Reductions ►