Programação
-
Aulas às 3as (14h) e 6as (10h) pelo Google Meet: https://meet.google.com/fht-knqe-uqc
Plantões de monitoria às segundas e quintas 12h-13h, pelo mesmo link da aula.
-
- Introdução ao curso
- Lógica e Monty Python - Como identificar uma bruxa (texto) (
)
- MU-puzzle
- Zebra-puzzle
-
- Introdução à Lógica Proposicional - sintaxe
- Dedução natural, regras do e
Seções 1.1, 1.3 e início da 1.2 do livro
-
Dedução Natural:
- Regras da dupla negação
- Regras da implicação
Seção 1.2 até a pág.13 -
Dedução Natural:
- regras da disjunção
- regras da negação
Seção 1.2.1 -
Não haverá aula.
-
Não haverá aula.
-
Dedução natural:
- Equivalências
- Regras derivadas
-
Exercícios
-
Seção 1.4.1 do livro.
Semântica da Lógica Proposicional
- Tabela verdade
- Consequência lógica
-
- Correção da dedução natural
-
- Prova da completude da dedução natural
- Prova da completude da dedução natural
-
- Continuação da prova da completude
- Forma Normal Conjuntiva
-
- Forma Normal Conjuntiva
- O problema SAT
- Prova por resolução
-
- Algoritmo DPLL
- Exercícios
-
Introdução à Lógica de Primeira Ordem
-
A linguagem da Lógica de Primeira Ordem
-
Dedução Natural na Lógica de Primeira Ordem
-
Não haverá aula.
-
Não haverá aula.
-
Semântica da lógica de primeira ordem
- interpretação de termos
- verificação de modelo
-
Semântica da lógica de primeira ordem
- consequência lógica
- consequência lógica
-
Semântica da lógica de primeira ordem:
- Exemplos e exercícios
- Exemplos e exercícios
-
Exercícios
-
- Indecidibilidade da LPO
- Introdução à verificação formal de programas
-
Não haverá aula.
-
-