Disciplina
Lógica para Programação
Área
Área Científica de Inteligência Artificial > Tecnologia de Inteligência Artificial
Activa nos planos curriculares
LEIC-T 2021 > LEIC-T 2021 > 1º Ciclo > Área Principal > Lógica para Programação
LEIC-A 2021 > LEIC-A 2021 > 1º Ciclo > Área Principal > Lógica para Programação
GENI > GENI > 1º Ciclo > Área Principal > Percursos > Percurso Livre > Opções 1 > Lógica para Programação
LEIC-A 2006 > LEIC-A 2006 > 1º Ciclo > Ciências da Engenharia Informática > Lógica para Programação
LEIC-T 2006 > LEIC-T 2006 > 1º Ciclo > Ciências da Engenharia Informática > Lógica para Programação
Nível
A avaliação de conhecimentos tem os seguintes componentes: Mini-testes realizados nas aulas práticas. Pequenos trabalhos de programação. Dois testes. Projecto de programação em grupos de dois alunos. A nota da cadeira é calculada por uma média ponderada da classificação obtida nas provas realizadas: Projecto: 30 % Média aritmética dos mini-testes: 15 % Média aritmética dos trabalhos de programação:15 % Média aritmética dos testes : 40 %
Tipo
Não Estruturante
Regime
Semestral
Carga Horária
1º Semestre
3.0 h/semana
1.5 h/semana
105.0 h/semestre
Objectivos
Com a frequência da disciplina pretende-se que os alunos tenham conhecimento sobre os componentes de uma lógica, sejam capazes de desenvolver provas no sistema dedutivo, sejam capazes de utilizar o formalismo semântico, sejam capazes de relacionar o sistema dedutivo e o sistema semântico e provar propriedades sobre estas relações. Deverão obter noções sobre o raciocínio automático e ser capazes de desenvolver programas utilizando o paradigma da programação em lógica.
Programa
Proposições e argumentos, Componentes de uma lógica, Lógica proposicional (sistema dedutivo e semântica), Lógica de primeira ordem (sistema dedutivo e semântica), Solidez e completude, Resolução, Programação em lógica.
Metodologia de avaliação
A avaliação de conhecimentos tem os seguintes componentes: Mini-testes realizados nas aulas práticas. Pequenos trabalhos de programação. Dois testes. Projecto de programação em grupos de dois alunos. A nota da cadeira é calculada por uma média ponderada da classificação obtida nas provas realizadas: Projecto: 30 % Média aritmética dos mini-testes: 15 % Média aritmética dos trabalhos de programação:15 % Média aritmética dos testes : 40 %
Pré-requisitos
Componente Laboratorial
Princípios Éticos
Componente de Programação e Computação
Componente de Competências Transversais
Bibliografia
Principal
Mathematical Logic for Computer Science
Logic in Computer Science: Modelling and Reasoning about Systems