FenixEdu
Login
Lógica de Primeira Ordem
1 Semestre 2020/2021
pt
en
Tautologias e tt-satisfazível
22 Outubro 2020, 08:00
•
Daniela Montrasio
Revisão dos conceitos de tautologia e tt-satisfazível
Exercício 20
Exercício 21
Exercício 22
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Ensino e Avaliação
Objetivos
Planeamento
Programa
Turnos
Anúncios
Sumários