Código |
14336
|
Ano |
2
|
Semestre |
S2
|
Créditos ECTS |
6
|
Carga Horária |
PL(30H)/T(30H)
|
Área Científica |
Informática
|
Tipo de ensino |
Presencial.
|
Estágios |
Não aplicável.
|
Objectivos de Aprendizagem |
Esta disciplina apresenta os principais conceitos da Lógica, na sua vertente computacional, i.e. acompanhados dos algoritmos e das técnicas computacionais, assim os objetivos de aprendizagem focam-se: Compreensão dos Fundamentos da Lógica de Programação; Aprendizado da Sintaxe e Semântica do Prolog; Desenvolvimento de Habilidades de Programação Declarativa; Construção de Sistemas Baseados em Regras; Aplicação em Inteligência Artificial e Sistemas Especialistas; Resolução de Problemas Lógicos; Desenvolvimento de Projetos Práticos e Entendimento da Eficiência e Limitações do Prolog.
|
Conteúdos programáticos |
Introdução à disciplina: reflexão sobre os conceitos fundamentais relacionados com a resolução de problemas por computador e sobre os paradigmas de programação. Introdução à Programação Lógica: Caracterização do paradigma lógico; Definições básicas: predicados, termos e cláusulas; Unificação; Árvore de Prova e Árvore de Procura; Estratégias de pesquisa e "Backtracking"; Explicação Operacional dos predicados de controlo; Sistema Prolog: Interação com o exterior, leitura e escrita; Constatação das propriedades fundamentais dum Sistema de Prova (máquina de inferência); Predicados pré-definidos; Estruturas de Dados recursivas: listas, árvores e grafos; Gramáticas e tratamento de linguagens; Sistemas periciais.
|
Metodologias de Ensino e Critérios de Avaliação |
Os conteúdos desta unidade curricular são expostos em aulas teóricas (método expositivo e interativo) e a sua vertente prática é explorada em aulas práticas laboratoriais. Cada tipo de aula tem duas horas de contacto semanal. As aulas práticas regem-se por guias laboratoriais que os estudantes executam em computadores de laboratórios. As provas práticas, os trabalhos individuais e de grupo propostos são desenhados de modo a que os alunos desenvolvam as capacidades técnicas descritas nos objetivos através do projeto e implementação de labs. Avaliam-se as componentes teóricas e práticas recorrendo a 3 elementos principais: - Labs 25% - 5 Valores; - Provas Práticas 50% - 10 Valores; - Project 25% - 5 Valores.
|
Bibliografia principal |
Material de ensino: Disponibilizado na página da UC no Moodle.
Livros: Mordechai Ben-Ari. Mathematical Logic for Computer Science. Springer, 3rd edition, 2012. Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and reasoning about systems. CUP, 2004. Jon Barwise and John Etchmendy. Language, Proof, and Logic. CSLI, 2nd Edition, 2011. D. van Dalen. Logic and Structure. 5th Edition, Springer Verlag, Berlin, Germany, 2013.
Adicional: -Shawn Hedman. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford Texts in Logic, 2004.
|
Língua |
Português
|