Lógica para Programação
pt
en
Exercícios resolvidos
MAP1-templete
MAP2-templete
Exames e repescagens
Exercícios da Profª Maria dos Remédios
Exercícios da Profª Ana Cachopo Cardoso
Exercícios Resolvidos Functores da Profª Maria dos Remédios Cravo
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
