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. Cálculo Lambda
   1. Definição
   2. Lógica Booleana
   3. Aritmética
   4. Recursão
7. 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
8. Paradigma Lógico
   1. Fundamentos
   2. Regras, arimética e estruturas de dados
   3. Unificação e listas
9. Programação Vetorial
   1. Introdução
   2. Tipos primitivos e funções
   3. Rank, ordenação e redução