Salta al contenido principal
Panel 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
Español - Internacional (es)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Buscar
Cerrar
Buscar
Selector de búsqueda de entrada
Acessar
PCS3856 - Lógica Computacional (2020)
Página Principal
Cursos
2020
EP
PCS
PCS3856-150-2020
Diagrama de temas
General
Colapsar todo
Expandir todo
Avisos
Foro
Fórum de notícias
Foro
Tema 1
Acompanhamento:
Alunos Matriculados:
Lista de Alunos Matriculados T1
Archivo
Lista de Alunos Matriculados T2
Archivo
Avaliação das Atividades em Sala
Archivo
Notas P1 & P2
Archivo
Notas Finais
Archivo
Notas Finais no Júpiter 1
Archivo
Notas Finais no Júpiter 2
Archivo
Informações sobre a Disciplina:
Planejamento da Disciplina
Archivo
Conjuntos, linguagens
Archivo
Slides utilizados (aulas iniciais)
Archivo
Diagonal de Cantor - Exemplo em sala
Archivo
Linguagens Regulares
Archivo
Autômatos Finitos Determinísticos
Archivo
Autômatos Finitos Não-determinísticos
Archivo
Expressões Regulares x Linguagens regulares
Archivo
Gramáticas Regulares
Archivo
Propriedades das LR
Archivo
Bombeamento LR
Archivo
Exemplos - Bombeamento
Archivo
Minimização de estados em AF -- em Português
Archivo
Linguagens Livres de Contexto
Archivo
Autômato de Pilha
Archivo
Gramáticas Livres de Contexto -- Árvores de derivação
Archivo
PDA Accept Context Free
Archivo
Context Free Pumping
Archivo
Context Free Properties
Archivo
DPDA
Archivo
Formas Normais
Archivo
Parsers
Archivo
Máquinas de Turing
Archivo
Apresentação sobre Máquina de Turing
Archivo
Turing Machines
Archivo
Turing Functions
Archivo
Turing Variations
Archivo
Tese de Church
Archivo
Other Models
Archivo
Universal Turing
Archivo
Decidibilidade
Archivo
Decidable
Archivo
Decidability Reductions
Archivo
Undecidable
Archivo
Tema 2
Materiais de Apoio:
Elixir - Introduction
URL
Apresentação (PDF): Functional Programming With Elixir
Archivo
Clojure - getting started
URL
Apresentação: Introduction to Clojure
URL
Palestra sobre Clojure -- 06/02/2020
Archivo
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
Archivo
2a Lista de Exercícios
Archivo
3a Lista de Exercícios
Archivo
4a Lista de Exercícios
Archivo
5a Lista de Exercícios
Archivo
Tema 3
No disponible
Tema 4
No disponible
P2
No disponible
Tema 6
Tema 7
Tema 8
Tema 9
Tema 10