Lógica Computacional
Docentes:
Sandra Alves (FC6: Gab 1.17)
Sabine Broda (FC6: Gab 1.12)
Nelma Moreira (FC6: Gab 1.20 - esclarecimento de dúvidas às terças-feiras de manhã, mediante marcação prévia por email)
Apontamentos e slides aulas teóricas :
Lógica Computacional
, Nelma Moreira (versão 2016)
Aula 1 (24/09/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aulas 2 e 3 (27/09/2019 e 01/10/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aula 4 (04/10/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aulas 5, 6 e 7 (08/10/2019, 11/10/2019 e 15/10/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aulas 8 e 9 (18/10/2019 e 22/10/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aula 10 (25/10/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aulas 11 e 12 (29/10/2019 e 05/11/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aulas 13 e 14 (15/11/2018 e 19/11/2018):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aula 15 (22/11/2018):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aulas 16, 17 e 18 (26/11/2018, 29/11/2018 e 03/12/2018):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aulas 19 e 20 (06/12/2019 e 10/12/2018):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aulas 21 e 22 (13/12/2019 e 17/12/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Aula 23 (20/12/2019):
[slides (
"eco-friendly"
)]
[slides (p.f. não imprimir)]
Outro material:
Exercícios
Dedução natural para a lógica proposicional (regras)
Dedução natural para a lógica de primeira ordem (regras)
Teste Intercalar 2018/19
Enunciado do Segundo Teste 2018/19
Enunciado do Primeiro Teste
(Resolução)