Lógica Computacional

Código:

CC2003

Sigla:

CC2003

Nível:

200

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

Ocorrência: 2020/2021 - 1S

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

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:B	1	Plano de Estudos Oficial	3	-	6	56	162
L:CC	87	Plano de estudos a partir de 2014	2	-	6	56	162
L:F	0	Plano de Estudos Oficial	2	-	6	56	162
			3
L:G	0	Plano estudos a partir do ano letivo 2017/18	2	-	6	56	162
			3
L:M	9	Plano de Estudos Oficial	2	-	6	56	162
			3
L:Q	0	Plano estudos a partir do ano letivo 2016/17	3	-	6	56	162
MI:ERS	89	Plano Oficial desde ano letivo 2014	2	-	6	56	162

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

Huth Michael 1962-; Logic in Computer Science. ISBN: 0-521-54310-X

Bibliografia Complementar

Barwise Jon; Language, proof, and logic. ISBN: 1-57586-374-X
C.J. Hogger; Essentials of logic programming. ISBN: 0-19-853832-4
Almeida José Bacelar 070; Rigorous software development. ISBN: 9780857290175

Métodos de ensino e atividades de aprendizagem

Aulas teóricas de exposição dos conteúdos programático assim como de exemplos e casos de estudo. Aulas práticas de resolução de exercícios propostos semanalmente.

 

Tipo de avaliação

Avaliação distribuída sem exame final

Componentes de Avaliação

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

Componentes de Ocupação

Designação	Tempo (Horas)
Estudo autónomo	110,00
Frequência das aulas	52,00
Total:	162,00

Obtenção de frequência

Os alunos deverão obter um mínimo de 6 valores (em 20) em cada um dos testes. O primeiro realiza-se no dia 16 de novembro de 2020 e o segundo na data prevista para o exame normal.

Face aos efeitos da pandemia haverá este ano uma forma de avaliação alternativa em que os alunos realizam um exame normal na época prevista (em alternativa aos dois testes).

Todos os alunos poderão realizar o exame de recurso.

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

Primeiro teste (50% de peso na nota final).
Segundo teste (50% de peso na nota final).
Sendo PT a classificação obtida  no primeiro teste e ST a
classificação obtida no segundo teste, então a nota final é dada por:
F = PT*(0.5) + ST*(0.5)
PT,ST >= 6 e F >= 9.5
Não obterão aprovação na avaliação distribuída, os alunos que não obtiverem um mínimo de 6 valores (em 20) em cada teste. Para os alunos que não obtiverem aprovação, haverá um exame de recurso cotado para 20 valores.

Melhoria de classificação

O exame de melhoria de nota é classificado para 20 valores.

Observações

É desejável, mas não obrigatório, que os estudantes tenham já tido aprovação à disciplina de Estruturas Discretas.