Lógica para Programação
pt
en
Bibliografia
Principal
Lógica e Raciocínio :
João P. Martins
2014
College Publications / Série de Cadernos de Lógica e Computação
Lógica e Raciocínio:
João Pavão Martins
2021
IST Press
Secundária
Não foi definida bibliografia secundária
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Pré-requisitos
Componente Laboratorial
Componente de Programação e Computação
Competências Transversais
Princípios Éticos
Notas
Slides
Práticas
Material de Apoio
Aulas de Dúvidas
Exemplos de Prolog
Diferenciação Simbólica em Prolog
MAP1
Projecto
MAP2
LP_notas