- Professor: Hugo Nobrega
- Grupo de discussões: Discord
- Local das aulas: Sala F2-011 (a mesma coisa que Sala F2-013)
Funcionamento da disciplina
O meio primário de comunicação entre os alunos, monitores e professores será o grupo no Discord listado acima.
As aulas serão realizadas em modalidade presencial, com aulas às 4as e 6as de 10:00 às 12:00 na sala F2-011 (a mesma coisa que sala F2-013).
Bibliografia
- Notas de aula de Petrucio Viana e Renata de Freitas (UFF)
- David J. Hunter, Fundamentos de Matemática Discreta, Capítulo 3: Pensamento Recursivo. LTC, 2009
Listas de Exercícios
| Lista | Data Limite de Entrega |
|---|---|
| Lista 1 (atualizada 30/4) | 5 de maio às 23:59 |
| Lista 2 (atualizada 22/5) | 22 de maio às 23:59 (questões 3(e) e 4(e): 26 de maio às 23:59 |
| Lista 3 | 12 de junho às 23:59 |
| Lista 4 | 10 de julho às 23:59 |
Regras de colaboração
As listas de exercícios podem ser entregues em duplas. Não poderá haver repetição de duplas em diferentes listas! Isso é feito para aumentar a confiança do professor ao dar uma nota individual para cada aluno no final da disciplina.
As diferentes duplas podem sempre discutir os problemas e as ideias de como resolvê-los (e isso é recomendado, pois é uma ótima forma de estudar e aprender!), porém: soluções de exercícios não devem ser compartilhadas entre diferentes duplas (nem de outros períodos). O recomendável é que você não mostre suas soluções completas para alunos de outras duplas, nem veja as soluções completas de outros.
Soluções iguais ou parecidas demais entre duplas diferentes serão desconsideradas.
Cronograma planejado/registro de atividades
| Data | Aula | Conteúdo | Slides |
|---|---|---|---|
| quarta, 5 de abril | Aula 0 | Burocracia e slides sobre uma parte da história da lógica e computação | - |
| sexta, 7 de abril | sem aula | Feriado - Sexta Santa | - |
| quarta, 12 de abril | Aula 1 | Recursão: o que é, quando e como funciona | - |
| sexta, 14 de abril | Aula 2 | Recursão e Indução “estruturais” | - |
| quarta, 19 de abril | Aula 3 | Mais recursão e indução: prova de que todo grafo completo com \(n\) vértices tem \(\frac{n(n-1)}{2} \) arestas; definição recursiva de palíndromos. Discussão sobre o que é lógica, lógica proposicional (= sentencial, = dos conectivos), lógica de primeira ordem (= proposicional, = dos quantificadores) | - |
| sexta, 21 de abril | sem aula | Feriado - Tiradentes | - |
| quarta, 26 de abril | Aula 4 | Sintaxe da Lógica Proposicional (LC): alfabeto, fórmulas; discussão sobre o papel dos parênteses e da propriedade de leitura única; classificação das fórmulas (atômicas/moleculares, e moleculares em negações/conjunções/disjunções/implicações/biimplicações); subfórmulas | 2 a 27 |
| sexta, 28 de abril | Aula 5 | Comentários sobre a definição de fórmulas da LC (forma BNF; fórmulas como árvores); usando o computador para “fazer coisas” com fórmulas; semântica da LC | 80 a 152 |
| quarta, 3 de maio | Aula 6 | Implementação da semântica da LC em python. Teorema da Concordância (o valor de verdade de uma fórmula em um contexto só depende dos valores de verdade das suas subfórmulas atômicas naquele contexto). Classificação de fórmulas da LC (válidas/tautologias, contradições, contingências). Algoritmo para decidir se uma fórmula da LC é válida. | 644 a 655 |
| sexta, 5 de maio | Aula 7 | Equivalência semântica e consequência semântica | 153 a 225 |
| quarta, 10 de maio | Aula 8 | Árvores de avaliação (“tableaux”): a ideia | 574 a 642 |
| sexta, 12 de maio | Aula 9 | Árvores de avaliação: início da definição formal | 694 a 701 |
| quarta, 17 de maio | Aula 10 | Árvores de avaliação: definição formal; enunciado dos teoremas de corretude e completude | |
| sexta, 19 de maio | Aula 11 | Árvores de avaliação: prova do teorema de corretude | |
| quarta, 24 de maio | Aula 12 | Lógica de Primeira Ordem: motivação e sintaxe | |
| sexta, 26 de maio | Aula 13 | Lógica de Primeira Ordem: sintaxe (versão completa) | |
| quarta, 31 de maio | sem aula | 12ª SIAc – Semana de Integração Acadêmica | |
| sexta, 2 de junho | sem aula | 12ª SIAc – Semana de Integração Acadêmica | |
| quarta, 7 de junho | Aula 14 | Revisão para Prova 1 | |
| sexta, 9 de junho | sem aula | Recesso - Corpus Christi | |
| quarta, 14 de junho | PROVA 1 | ||
| sexta, 16 de junho | Aula 15 | Recap LPO: assinaturas, termos, fórmulas, estruturas | |
| quarta, 21 de junho | Aula 16 | Semântica da LPO: interpretações, modelos | |
| sexta, 23 de junho | Aula 17 | Semântica da LPO novamente; fórmulas válidas, satisfazíveis, etc; consequência semântica na LPO | |
| quarta, 28 de junho | |||
| sexta, 30 de junho | |||
| quarta, 5 de julho | |||
| sexta, 7 de julho | |||
| quarta, 12 de julho | |||
| sexta, 14 de julho | |||
| quarta, 19 de julho | |||
| sexta, 21 de julho |