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
Lógica Computacional (2017)
Accueil
Cours
2017
EP
PCS
PCS2046-2017150
Section 2
Link para o texto SICP em PDF
Link para o texto SICP em PDF
Texto completo do Structure and Interpretation of Computer Programs em PDF.
Cliquer sur
Link para o texto SICP em PDF
pour ouvrir la ressource.
◄ Aplicações de LISP (Scheme) em Bioinformática
Aller à…
Aller à…
Fórum de notícias
Lista de Alunos Matriculados
Notas da P1
Notas atualizadas (com as atividades - não final)
Notas Finais
Planejamento da Disciplina
Slides utilizados (aula 1)
Conjuntos, linguagens
Linguagens Regulares
Linguagens Livres de Contexto
Máquinas de Turing
Tese de Church
Livro (HTML) sobre programação em Scheme "How to Design Programs"
Livro (HTML) "Structure and Interpretation of Computer Programs" (SICP)
Aplicações de LISP (Scheme) em Bioinformática
PLT Scheme
Aulas de Scheme no MIT
Link para um texto sobre programação funcional
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
PLT Scheme ►