Linguagens de Programção II

Raul H.C. Lopes

Programa

• Lógica de primeira ordem
• Contagem e teoria de conjuntos
• Indução Matemática
• Definições indutivas e tipos abstratos
• Sequências
• Avaliação: Lazy x Eager
• Definições recursivas e co-recursivas
• Árvores
• Grafos
• Correção de programas
• Classes e Tipos
• Concorrência
• Fundamentos de análise de algoritmos

Documentos Fundamentais

• Tributo de J.Misra a Dijkstra
• Texto de Dijkstra sobre aulas e apresentações

Referências básicas

• A logical approach to discrete mathematics
  David Gries and Fred B. Schneider
• Discrete Mathematics and its applications
  Keneth Rosen
• Discrete Mathematics
  L. Lovász and K. Vesztergombi
  download
• Tutorial de Haskell
• A Gentle Introduction to Haskell
• Um journal sobre Lisp e Scheme
• Associação de usuários de Lisp
• Excelente texto programação em Scheme
• Tudo sobre Scheme
• A bíblia do Lisp
• A definição ANSI do Lisp
• Tutoriais de ML
• Tutorial sobre ML
• Tudo sobre Ruby
• Livro sobre Ruby

Notas de aula

• Indução: Introdução (16/04)
• Fontes em TeX, C, Haskell
• Notas sobre Listas (15/04)
• Call for the Dead

Ferramentas

• Tudo sobre o Glasgow Haskell
  Manuais, compilador (ghc), interpretador (ghci).
  Instale os pacotes: ghc-6.4-1, ghc-prof-6.4-1
  Veja Tudo sobre Haskel
• PLT Scheme
  Excelente Ambiente de programação em Scheme
• Compilador excelente de Scheme
• Download de CMU Common Lisp
  O Lisp que eu uso
• Tudo sobre CMU Common Lisp
• Steel Bank Common Lisp
• O Provador Isabelle
• O provador Otter

Exemplos

• Exemplos em Haskell, C, Scheme(28/03)
• STSP (Haskell, C) (30/04)
>
• STSP with KD-tree (Haskell) (06/05)

Trabalhos

Provas