Vai al contenuto principale
Pannello laterale
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
Italiano (it)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Cerca
Chiudi
Cerca
Attiva/disattiva input di ricerca
Acessar
Lógica Computacional (2013)
Home
Corsi
2013
EP
PCS
PCS2046 - 2013150
11 marzo - 17 marzo
Link do vídeo no Vídeos Google
Link do vídeo no Vídeos Google
Per aprire la risorsa fai click sul link
Link do vídeo no Vídeos Google
◄ 5a Lista de Exercícios
Vai a...
Vai a...
Fórum de notícias
Fórum de notícias
Fórum de notícias
Fórum de notícias
Fórum de notícias
Fórum de notícias
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)
Link para o texto SICP em PDF
PLT Scheme
Aulas de Scheme no MIT
Link para um texto sobre programação funcional
P1 de 2011
P2 de 2011
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
Infinormática
Texto do 1o EP
Texto do 2o EP
Texto do 3o EP
Automata - 1a referência do EP
Infinormática ►