Segue uma lista de capítulos (não necessariamente apresentados por esta ordem)
- Introdução
- axiomatização de uma linguagem de programação
- linguagem de programação, linguagens naturais e matemática
- História de LISP
- Tradução do artigo de JMcC (ver Paul Graham) em CL
label,Ycombinator
- Operações sobre listas
- Funções
- Macros
- Funções utilitárias
- Exemplos:
- derivação de funções
- equações não lineares
- Herão
- bissecção
- ponto fixo
- Divisão binária
- Golden search method
- sucessões e séries
- def
- série e somas
- sucessões especiais
- Fibonacci
- Hofstader
- Kolakoski
- Números aleatórios
- exemplo: Knuth
- Numerais de Chuch
- Autómatos celulares
- 1D
- 2D
- Máquinas de Turing
- Algoritmos de Markov
- Numeração de Godel (ver numeração de Godel para o cálculo lambda de Church)
- Radiciação: algoritmo de Porter (usar o alg. de Markov + regras de SNOBOL)
- Número PI (algoritmos)
- fracções contínuas (ver video do V. Arnold, Sussman)
Ref.:
- John McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I, Communications of the ACM 3:4, April 1960, pp. 184-195
- Daniel P. Friedman, Matthias Felleisen, The Little Lisper
- Guy L. Steele Jr., Common Lisp the Language, 2nd Edition,
- Paul Graham, On Lisp
- Abelson, Sussman, Sussman, Structure and Interpretation of Computer Programs
Created: NaN
Last updated: 16-02-2026 [16:02]
For attribution, please cite this page as:
Charters, T., "LISP: Leituras e exercícios": https://nexp.pt/notas-lisp.html (16-02-2026 [16:02])
(cc-by-sa) Tiago Charters - tiagocharters@nexp.pt
