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

Ficha de avaliação


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

Ficha de avaliação