Lógica e Programação

Código:

CC216

Sigla:

CC216

Áreas Científicas
Classificação	Área Científica
OFICIAL	Ciência de Computadores

Ocorrência: 2013/2014 - 2S

Ativa?	Sim
Unidade Responsável:	Departamento de Ciência de Computadores
Curso/CE Responsável:	Licenciatura em Geologia

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
L:AST	9	Plano de Estudos a partir de 2008	3	-	7,5	-
L:B	2	Plano de estudos a partir de 2008	3	-	7,5	-
L:CC	36	Plano de estudos de 2008 até 2013/14	2	-	7,5	-
L:F	2	Plano de estudos a partir de 2008	3	-	7,5	-
L:G	0	P.E - estudantes com 1ª matricula anterior a 09/10	3	-	7,5	-
		P.E - estudantes com 1ª matricula em 09/10	3	-	7,5	-
L:M	1	Plano de estudos a partir de 2009	3	-	7,5	-
L:Q	0	Plano de estudos Oficial	3	-	7,5	-
MI:ERS	74	Plano de Estudos a partir de 2007	2	-	7,5	-

Língua de trabalho

Português

Objetivos

Pretende-se que o aluno aprenda as noções básicas do raciocínio lógico e seja capaz de utilizar correctamente os sistemas dedutivos; compreenda as relações entre as semânticas e os sistemas dedutivos e a sua caracterização do ponto de vista da decidibilidade; reconheça o papel dos sistemas formais nas várias áreas da Ciência de Computadores e em especial na área da Programação em Lógica.

 

 

Resultados de aprendizagem e competências

Conhecer os tópicos principais da lógica proposicional e de primeira ordem e a sua aplicação na área da Ciência de Computadores.

Modo de trabalho

Presencial

Pré-requisitos (conhecimentos prévios) e co-requisitos (conhecimentos simultâneos)

Estruturas Discretas

Programa

Lógica proposicional: Sintaxe Semântica: satisfazibilidade, validade, consequência. Formas normais. Algoritmos de satisfazilidade.

Sistema dedutivos. Completude e integridade do sistema dedutivo. Decidibilidade.

Lógica de primeira ordem (de predicados). Sintaxe. Semântica: estruturas, interpretações, modelos. Sistemas dedutivos. Completude e integridade dos sistemas dedutivos. Teorias e axiomatizações.

Programação em Lógica: cláusulas de Horn, unificação e resolução. Introdução à programação em Prolog.

Bibliografia Obrigatória

C.J. Hogger; Essentials of logic programming. ISBN: 0-19-853832-4
Mordechai Ben-Ari; Mathematical Logic for Computer Science. , 2001
Barwise Jon; Language, proof, and logic. ISBN: 1-57586-374-X

Bibliografia Complementar

Melvin Fitting; First Order Logic and Automated Theorem Proving

Métodos de ensino e atividades de aprendizagem

Aulas teóricas de exposição dos conteúdos programáticos. 

Aulas práticas de resolução de exercícios propostos semanalmente.

 

Tipo de avaliação

Avaliação distribuída com exame final

Componentes de Avaliação

Designação	Peso (%)
Exame	100,00
Total:	100,00

Obtenção de frequência

Durante o semestre será realizado um teste com valoração total de 6 valores. 
Para obter frequência à disciplina é exigida uma classificação mínima de 2 valores no teste. 

Os alunos que não obtiverem frequência, não serão admitidos a exame.

Fórmula de cálculo da classificação final

O exame final terá a classificação de 20 valores. 

Para os alunos com aprovação no exame a classificação final na disciplina é calculada pela fórmula seguinte: 

NotaFinal = max(NE;NE/20*14+NT) 

onde NE e NT denotam respetivamente as classificações obtidas no exame e no teste.