skip to main | skip to sidebar
Lógica de Programação

Mais informações


  • Teoria da computação
  • Teoria dos conjuntos
  • Lógica
  • Linguagem de programação
  • Métodos formais
  • Paradigma de programação
  • Programação funcional
Postagem mais recente Postagem mais antiga Página inicial
  • Introdução
  • História
  • Base na lógica matemática
  • Prolog
  • Limitações do uso da lógica matemática para a programação
  • Programação lógica concorrente
  • Programação de lógica de ordem superior
  • Programação lógica linear
  • Mais informações
  • Bibliografia
 

Criado por:

Maycon e Bruno