Lógica Computacional 1 (2023-2)

Table of Contents

1. Plano de Ensino

2. Calendário SAA

3. Cronograma de Aulas

3.1. DONE Aula 01 - Introdução e motivação - Dedução Natural (DN) <2023-08-28 seg 20:50>

3.1.1. Material da aula (pdf)

3.2. DONE Aula 02 - O fragmento implicacional da Lógica Proposicional (LP) <2023-08-30 qua 20:50>

3.3. DONE Aula 03 - A Lógica Proposicional Minimal (LPM) <2023-09-04 seg 20:50>

3.3.1. Notas de aula a serem utilizadas durante boa parte do semestre (pdf)

3.4. DONE Aula 04 - Exercícios na LPM <2023-09-06 qua 20:50>

3.5. DONE Aula 05 - A Lógica Proposicional Intuicionista (LPI) <2023-09-11 seg 20:50>

3.5.1. Notas de aula a serem utilizadas durante boa parte do semestre (pdf)

  1. com o enunciado do exercício 14 corrigido.

3.6. DONE Aula 06 - Exercícios na LPI <2023-09-13 qua 20:50>

3.7. TODO Aula 07 - A Lógica Proposicional Clássica (LPC) (FROM 2023) <2023-09-18 seg 19:00>

3.7.1. Material da aula: pdf

3.8. TODO Aula 08 - Exercícios na LPC (FROM 2023) <2023-09-20 qua 19:00>

3.8.1. Material da aula: pdf

3.9. Semana Universitária <2023-04-25 ter>

3.10. Semana Universitária <2023-04-27 qui>

3.11. TODO Aula 09 - Exercícios <2023-10-02 seg 19:00>

3.12. TODO Aula 10 - Exercícios <2023-10-04 qua 19:00>

3.13. TODO Aula 11 - Avaliação escrita 1 <2023-10-09 seg 19:00>

3.14. TODO Aula 12 - A Lógica de Primeira Ordem (LPO) <2023-10-11 qua 19:00>

3.15. TODO Aula 13 - Indução <2023-10-16 seg 19:00>

3.16. TODO Aula 14 - Exercícios <2023-10-18 qua 19:00>

3.17. TODO Aula 15 - A LPO em Cálculo de Sequentes (CS) <2023-10-23 seg 19:00>

3.18. TODO Aula 16 - Exercícios <2023-10-25 qua 19:00>

3.19. TODO Aula 17 - CS versus DN <2023-10-30 seg 19:00>

3.20. TODO Aula 18 - CS versus DN <2023-11-01 qua 19:00>

3.21. TODO Aula 19 - A correção de algoritmos <2023-11-06 seg 19:00>

3.22. TODO Aula 20 - A correção de algoritmos <2023-11-08 qua 19:00>

3.23. TODO Aula 21 - A correção de algoritmos <2023-11-13 seg 19:00>

3.24. Feriado <2023-11-15 qua 19:00>

3.25. TODO Aula 22 - Exercícios <2023-11-20 seg 19:00>

3.26. TODO Aula 23 - Exercícios <2023-11-22 qua 19:00>

3.27. TODO Aula 24 - A completude da LPO <2023-11-27 seg 19:00>

3.28. TODO Aula 25 - A completude da LPO <2023-11-29 qua 19:00>

3.29. TODO Aula 26 - A completude da LPO <2023-12-04 seg 19:00>

3.30. TODO Aula 27 - Indecidibilidade da LPO <2023-12-06 qua 19:00>

3.31. TODO Aula 28 - Exercícios <2023-12-11 seg 19:00>

3.32. TODO Aula 29 - Avaliação escrita 2 <2023-12-13 qua 19:00>

4. Gabaritos

4.1. Atividade 1 ()

5. Monitoria   monitoria

5.1. Monitor: José Roberto Interaminense Soares

5.2. Monitoria presencial: Quintas (16h-17h) na sala de monitoria do CIC.

Dúvidas podem ser postadas no canal Dúvidas do Teams.

Author: Flávio L. C. de Moura

Email: flaviomoura@unb.br

Created: 2023-09-23 sáb 03:53