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