8000 GitHub - edsomjr/Paradigmas
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

edsomjr/Paradigmas

Repository files navigation

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