Giters

edsomjr / Paradigmas

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

Languages

Language:TeX 84.9%Language:Haskell 3.4%Language:Assembly 2.8%Language:Fortran 1.9%Language:Smalltalk 1.9%Language:Shell 1.5%Language:Prolog 1.4%Language:APL 1.2%Language:C 0.5%Language:C++ 0.3%Language:Raku 0.1%Language:StringTemplate 0.1%Language:Perl 0.1%Language:Pascal 0.0%