Lógica Computacional 1 (2023-2)
Table of Contents
3. Cronograma de Aulas
3.2. DONE Aula 02 - O fragmento implicacional da Lógica Proposicional (LP)
3.3. DONE Aula 03 - A Lógica Proposicional Minimal (LPM)
3.3.1. Notas de aula a serem utilizadas durante boa parte do semestre (pdf)
3.4. DONE Aula 04 - Exercícios na LPM
3.5. DONE Aula 05 - A Lógica Proposicional Intuicionista (LPI)
3.5.1. Notas de aula a serem utilizadas durante boa parte do semestre (pdf)
3.6. DONE Aula 06 - Exercícios na LPI
3.9. Semana Universitária
3.10. Semana Universitária
3.11. TODO Aula 09 - Exercícios
3.12. TODO Aula 10 - Exercícios
3.13. TODO Aula 11 - Avaliação escrita 1
3.14. TODO Aula 12 - A Lógica de Primeira Ordem (LPO)
3.15. TODO Aula 13 - Indução
3.16. TODO Aula 14 - Exercícios
3.17. TODO Aula 15 - A LPO em Cálculo de Sequentes (CS)
3.18. TODO Aula 16 - Exercícios
3.19. TODO Aula 17 - CS versus DN
3.20. TODO Aula 18 - CS versus DN
3.21. TODO Aula 19 - A correção de algoritmos
3.22. TODO Aula 20 - A correção de algoritmos
3.23. TODO Aula 21 - A correção de algoritmos
3.24. Feriado
3.25. TODO Aula 22 - Exercícios
3.26. TODO Aula 23 - Exercícios
3.27. TODO Aula 24 - A completude da LPO
3.28. TODO Aula 25 - A completude da LPO
3.29. TODO Aula 26 - A completude da LPO
3.30. TODO Aula 27 - Indecidibilidade da LPO
3.31. TODO Aula 28 - Exercícios
3.32. TODO Aula 29 - Avaliação escrita 2
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.