Sumários
Aula de Problemas sobre Lógica Proposicional (II) - Sistema Semântico: Algoritmos de SAT (aula online)
2 junho 2021, 11:00 • Samuel Simão Canada Gomes
Resolução dos exercícios referentes à ficha "Lógica Proposicional (II) - Sistema Semântico: Algoritmos de SAT". Exercício para avaliação no final da aula.
Aula de Problemas sobre Lógica Proposicional (II) - Sistema Semântico: Algoritmos de SAT (aula online)
2 junho 2021, 09:30 • Samuel Simão Canada Gomes
Resolução dos exercícios referentes à ficha "Lógica Proposicional (II) - Sistema Semântico: Algoritmos de SAT". Exercício para avaliação no final da aula.
Lógica Proposicional (III) (aula online)
1 junho 2021, 12:30 • Luísa Coheur
Lógica Proposicional (III): Algoritmos SAT
Resolução dos exercícios práticos disponibilizados
LPO - semântica (aula online)
1 junho 2021, 09:30 • Luísa Coheur
Lógica de Primeira Ordem (I): Semântica (4.3). Correção e completude (4.4) |
Lógica Proposicional (III) (aula online)
1 junho 2021, 08:00 • Luísa Coheur
Lógica Proposicional (III): Algoritmos SAT
Resolução dos exercícios práticos disponibilizados