Código |
11555
|
Ano |
2
|
Semestre |
S1
|
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 |
Pretende-se que os alunos aprendam: a sintaxe e a semântica da lógica proposicional e de primeira ordem; os sistemas de dedução natural da lógica proposicional e de primeira ordem; e o método de Resolução para a lógica proposicional e de primeira ordem.
|
Conteúdos programáticos |
1. Conjuntos Indutivos, Indução Estrutural e Bem Fundada. 2. Lógica Proposicional 2.1 Sintaxe: 2.1.1 Termos a partir de descrições em linguagem natural; 2.1.2 Conectores lógicos; 2.1.3 Definição indutiva de linguagem proposicional; 2.1.4 Formas Normais: Negativa, Conjuntiva e Disjuntiva.
2.2 Semântica: 2.2.1 Tabelas de verdade e álgebra de Boole; 2.2.2 Valoração e relação de satisfação; 2.2.3 Validade e consequência lógica; 2.2.4 Equivalência e raciocínio equacional.
2.3 Sistema dedutivo: dedução natural 2.3.1 Regras de introdução e eliminação; 2.3.2 Derivação e prova: 2.3.3 Coerência e Completude;
2.4 Sistema semântico: resolução 2.4.1 Forma normal conjuntiva e forma clausal; 2.4.2 Algoritmo de Horn; 2.4.3 Resolução e refutação.
3. Lógica de primeira ordem: 3.1 Sintaxe: 3.1.1 Termos a partir de descrições em linguagem natural; 3.1.2 Alfabeto e Definição indutiva de linguagem de primeira ordem; 3.1.3 Variáveis livres e substituição.
3.2 Semântica: 3.2.1 Valoração e estrutura de interpretação: relação de satisfação; 3.2.2 Validade e consequência lógica; 3.2.3 Equivalência e raciocínio equacional.
3.2 Sistema dedutivo: dedução natural 3.2.1 Regras de introdução e eliminação; 3.2.1 Derivação e prova;
|
Metodologias de Ensino e Critérios de Avaliação |
Critérios de Avaliação
5.1 Actividades de Ensino-Aprendizagem e Metodologias Pedagógicas
Por fim a avaliar as competências adquiridas, as actividades de Ensino-Aprendizagem avaliarão tanto a compreensão dos conceitos teóricos expostos como a capacidade em por estes em prática.
Assim, a avaliação será constituída por uma componente teórica e por uma componente prática
Fraudes
A equipa docente realça que qualquer tipo de fraude em qualquer dos itens desta disciplina implica a reprovação automática do aluno faltoso, podendo ainda vir a ser este alvo de processo disciplinar.
Listamos a seguir as diferentes componentes da avaliação.
5.2 Componente Prática
Esta avaliação mede em termos práticos a aquisição dos conceitos expostos. Como tal é baseada na avaliação da resolução de trabalho prático. Esta avaliação tomará a forma da resolução de desafios de programação dos conceitos introduzidos nas aulas Os exercícios avaliados são resolvidos de uma forma sequencial e individual. As datas exactas de entrega encontram-se na secção 6. A entrega é feita de forma electrónica no site mooshak da UC. A Nota da Componente Prática (NCP, 20 valores) é resultante da avaliação atribuída ao trabalho prático. 5.3 Componente Teórica
A avaliação da componente teórica consiste numa frequência (ver secção 6 para conhecer a data prevista da frequência).
Da avaliação desta prova resulta a Nota da Componente Teórica (NCT, 20 valores).
5.4 Concessão de Frequência e Avaliação Contínua
O parâmetro de "Frequência" atribuído no final desta unidade curricular traduz, no contexto da avaliação contínua, a "avaliação mínima" do estudante ao longo do processo de ensino-aprendizagem no final das actividades de contacto.
Considera-se que o estudante demonstrou ter adquirido o grau de conhecimentos mínimos (durante o processo de aprendizagem ao longo das actividades lectivas) quando este demonstrou as mínimas competências nas componentes avaliadas.
É assim concedido Frequência ao aluno que obteve os mínimos (6) em vigor na Universidade da Beira Interior em ambas as componentes (NCP e NCT). Ou seja:
Notas Mínimas
De forma detalhada, é instaurado um regime de notas mínimas como critério de validação da nota final. Esses mínimos são:
6 valores (em 20) para a NCP 6 valores (em 20) para a NCT Uma nota abaixo desses valores implica reprovação à disciplina (Não Admitido a Exame).
Avaliação contínua quantitativa
No caso de Frequência, a avaliação quantitativa, designada aqui de Nota da Avaliação Contínua (NAC), é determinada da seguinte forma:
NAC = componente prática (NCP) × 0.8 + componente teórica (NCT) × 1.2 / 2
Se a avaliação quantitativa resultar numa nota maior ou igual a 10 então o aluno é dispensado de exame (Frequência com dispensa de exame).
5.5 Avaliação por Exame
A nota prova escrita do exame substituirá a prova escrita (NCT). A nota quantitativa do exame é calculada nesses termos como a Nota da Avaliação Contínua.
|
Bibliografia principal |
D. van Dalen. Logic and Structure. 5th Edition, Springer Verlag, Berlin, Germany, 2013.
René Cori e Daniel Lascar. Mathematical Logic: a course with exercices. Part I: propositional calculus, boolean algebras, predicate calculus. Oxford Press, 2007.
Mordechai Ben-Ari. Mathematical Logic for Computer Science. SV, 2nd edition, 2001.
Shawn Hedman. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford Texts in Logic, 2004.
Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2004.
Material de apoio disponibilizado ao longo do semestre.
|
Língua |
Português
|