Paradigmas

Material didático da disciplina Paradigmas de Programação, ministrada pelo professor Edson Alves na Faculdade UnB Gama.

1. Fundamentos
   1. Introdução
   2. Lógica Proposicional Booleana
   3. Teoria dos Conjuntos
   4. Funções
2. Máquinas de Turing
   1. Enumerabilidade
   2. Máquinas de Turing
   3. Computabilidade
   4. Ábacos
3. Programação Imperativa
   1. Assembly
   2. Conceitos Elementares
   3. Condicionais
4. Programação Estruturada
   1. Conceitos Elementares
   2. Estruturas e Funções
5. Programação Orientada a Objetos
   1. Fundamentos
   2. Blocos e Exceções
6. Programação Orientada a Pilhas
   1. Fundamentos
7. Combinadores
   1. Introdução
   2. Base SK
8. Cálculo Lambda
   1. Definição
   2. Lógica Booleana
   3. Aritmética
   4. Recursão
9. Programação Funcional
   1. Fundamentos
   2. Funções e Tipos de Dados de Usuário
   3. Funções de Alta Ordem
   4. Entrada e Saída
10. Paradigma Lógico
    1. Fundamentos
    2. Regras, arimética e estruturas de dados
    3. Unificação e listas
11. Programação Vetorial
    1. Introdução
    2. Tipos primitivos e funções
    3. Rank, ordenação e redução