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: 2012/2013 - 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	0	Plano de Estudos a partir de 2008	3	-	7,5	-
L:B	0	Plano de estudos a partir de 2008	3	-	7,5	-
L:CC	53	Plano de estudos de 2008 até 2013/14	2	-	7,5	-
L:F	1	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	3	Plano de estudos a partir de 2009	3	-	7,5	-
L:Q	0	Plano de estudos Oficial	3	-	7,5	-
MI:ERS	99	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.

Resultados de aprendizagem e competências

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.

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). Linguagens. Sintaxe. Semântica: estruturas, interpretações, modelos. Sistemas dedutivos. Completude e integridade dos sistemas dedutivos. Teorias e axiomatizações.

Demonstração automática: cláusulas de Horn, unificação e resolução

Bibliografia Obrigatória

Melvin Fitting; First Order Logic and Automated Theorem Proving
C.J. Hogger; Essentials of logic programming. ISBN: 0-19-853832-4

Bibliografia Complementar

Barwise Jon; Language, proof, and logic. ISBN: 1-57586-374-X

Métodos de ensino e atividades de aprendizagem

 Os métodos de ensino são baseados em métodos tradicionais de exercícios e exposição teórica com uma componente de implementação que permite põr em prática os conhecimentos adquiridos.

 

Tipo de avaliação

Avaliação distribuída sem exame final

Componentes de Avaliação

Descrição	Tipo	Tempo (Horas)	Peso (%)	Data Conclusão
Participação presencial (estimativa)	Participação presencial	85,00
Teste	Teste	1,50	50,00	2013-04-11
Teste	Teste	1,50	50,00	2013-06-14
	Total:	-	100,00

Componentes de Ocupação

Descrição	Tipo	Tempo (Horas)	Data Conclusão
Estudo	Estudo autónomo	85	2013-06-14
	Total:	85,00

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

Média aritmética dos dois testes