Passer au contenu principal
Panneau latéral
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
Français (fr)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Rechercher
Fermer
Rechercher
Activer/désactiver la saisie de recherche
Acessar
PCS3856 - Lógica Computacional (2020)
Accueil
Cours
2020
EP
PCS
PCS3856-150-2020
Aperçu des sections
Généralités
Tout replier
Tout déplier
Avisos
Forum
Fórum de notícias
Forum
Section 1
Acompanhamento:
Alunos Matriculados:
Lista de Alunos Matriculados T1
Fichier
Lista de Alunos Matriculados T2
Fichier
Avaliação das Atividades em Sala
Fichier
Notas P1 & P2
Fichier
Notas Finais
Fichier
Notas Finais no Júpiter 1
Fichier
Notas Finais no Júpiter 2
Fichier
Informações sobre a Disciplina:
Planejamento da Disciplina
Fichier
Conjuntos, linguagens
Fichier
Slides utilizados (aulas iniciais)
Fichier
Diagonal de Cantor - Exemplo em sala
Fichier
Linguagens Regulares
Fichier
Autômatos Finitos Determinísticos
Fichier
Autômatos Finitos Não-determinísticos
Fichier
Expressões Regulares x Linguagens regulares
Fichier
Gramáticas Regulares
Fichier
Propriedades das LR
Fichier
Bombeamento LR
Fichier
Exemplos - Bombeamento
Fichier
Minimização de estados em AF -- em Português
Fichier
Linguagens Livres de Contexto
Fichier
Autômato de Pilha
Fichier
Gramáticas Livres de Contexto -- Árvores de derivação
Fichier
PDA Accept Context Free
Fichier
Context Free Pumping
Fichier
Context Free Properties
Fichier
DPDA
Fichier
Formas Normais
Fichier
Parsers
Fichier
Máquinas de Turing
Fichier
Apresentação sobre Máquina de Turing
Fichier
Turing Machines
Fichier
Turing Functions
Fichier
Turing Variations
Fichier
Tese de Church
Fichier
Other Models
Fichier
Universal Turing
Fichier
Decidibilidade
Fichier
Decidable
Fichier
Decidability Reductions
Fichier
Undecidable
Fichier
Section 2
Materiais de Apoio:
Elixir - Introduction
URL
Apresentação (PDF): Functional Programming With Elixir
Fichier
Clojure - getting started
URL
Apresentação: Introduction to Clojure
URL
Palestra sobre Clojure -- 06/02/2020
Fichier
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
Fichier
2a Lista de Exercícios
Fichier
3a Lista de Exercícios
Fichier
4a Lista de Exercícios
Fichier
5a Lista de Exercícios
Fichier
Section 3
Non disponible
Section 4
Non disponible
P2
Non disponible
Section 6
Section 7
Section 8
Section 9
Section 10