Skip to main content
Side panel
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
English (en)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Search
Close
Search
Toggle search input
Acessar
PCS3856 - Lógica Computacional (2020)
Home
Courses
2020
EP
PCS
PCS3856-150-2020
Topic outline
General
Collapse all
Expand all
Avisos
Forum
Fórum de notícias
Forum
Topic 1
Acompanhamento:
Alunos Matriculados:
Lista de Alunos Matriculados T1
File
Lista de Alunos Matriculados T2
File
Avaliação das Atividades em Sala
File
Notas P1 & P2
File
Notas Finais
File
Notas Finais no Júpiter 1
File
Notas Finais no Júpiter 2
File
Informações sobre a Disciplina:
Planejamento da Disciplina
File
Conjuntos, linguagens
File
Slides utilizados (aulas iniciais)
File
Diagonal de Cantor - Exemplo em sala
File
Linguagens Regulares
File
Autômatos Finitos Determinísticos
File
Autômatos Finitos Não-determinísticos
File
Expressões Regulares x Linguagens regulares
File
Gramáticas Regulares
File
Propriedades das LR
File
Bombeamento LR
File
Exemplos - Bombeamento
File
Minimização de estados em AF -- em Português
File
Linguagens Livres de Contexto
File
Autômato de Pilha
File
Gramáticas Livres de Contexto -- Árvores de derivação
File
PDA Accept Context Free
File
Context Free Pumping
File
Context Free Properties
File
DPDA
File
Formas Normais
File
Parsers
File
Máquinas de Turing
File
Apresentação sobre Máquina de Turing
File
Turing Machines
File
Turing Functions
File
Turing Variations
File
Tese de Church
File
Other Models
File
Universal Turing
File
Decidibilidade
File
Decidable
File
Decidability Reductions
File
Undecidable
File
Topic 2
Materiais de Apoio:
Elixir - Introduction
URL
Apresentação (PDF): Functional Programming With Elixir
File
Clojure - getting started
URL
Apresentação: Introduction to Clojure
URL
Palestra sobre Clojure -- 06/02/2020
File
Link para um video sobre programação funcional
URL
Livro (HTML) sobre programação em Scheme "How to Design Programs"
URL
Livro (HTML) "Structure and Interpretation of Computer Programs" (SICP)
URL
Máquina de Turing:
Simulador de MT
URL
Miscelânea:
Datomic
URL
Link para o Livro: Clojure for the Brave and True
URL
Listas de exercício (sem compromisso de entrega e sem gabarito):
1a Lista de Exercícios
File
2a Lista de Exercícios
File
3a Lista de Exercícios
File
4a Lista de Exercícios
File
5a Lista de Exercícios
File
Topic 3
Not available
Topic 4
Not available
P2
Not available
Topic 6
Topic 7
Topic 8
Topic 9
Topic 10