Lógica Computacional 1 (2023-2)

Table of Contents

Plano de Ensino

Calendário SAA

Cronograma de Aulas

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

Material da aula (pdf)

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

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

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

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

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

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

  • com o enunciado do exercício 14 corrigido.

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

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

Material da aula: pdf

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

Material da aula: pdf

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

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

DONE Aula 09 - Exercícios <2023-10-02 seg 19:00>

Notas da aula (pdf)

DONE Aula 10 - Exercícios <2023-10-04 qua 19:00>

Notas da aula (pdf)

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

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

DONE Aula 13 - Exercícios e Indução <2023-10-16 seg 19:00>

Material da aula (pdf)

  • Leitura complementar (pdf)

DONE Aula 14 - Exercícios <2023-10-18 qua 19:00>

DONE Aula 15 - Exercícios <2023-10-23 seg 19:00>

DONE Aula 16 - Exercícios <2023-10-25 qua 19:00>

DONE Aula 17 - Cálculo de Sequentes (CS) <2023-10-30 seg 19:00>

DONE Aula 18 - Apresentação do projeto <2023-11-01 qua 19:00>

Projeto: Árvores binárias de busca (link) Prazo: 10/dez/2023.

DONE Aula 19 - CS versus DN e projeto <2023-11-06 seg 19:00>

Material da aula (pdf)

DONE Aula 20 - CS versus DN <2023-11-08 qua 19:00>

Material da aula (pdf)

DONE Aula 21 - CS versus DN <2023-11-13 seg 19:00>

Material da aula (pdf)

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

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

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

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

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

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

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

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

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

Gabaritos

Prova 1 (pdf)

Quadro de Notas

Avaliações escritas

  Matrícula Prova 1
1 150005547 5.0
2 160005213 7.5
3 160152658 3.5
4 170010481 5.0
5 170013821  
6 170023591 6.0
7 170044921 4.0
8 170141667 7.5
9 170168221 5.0
10 180030353 8.0
11 180046951 8.0
12 180098845  
13 180117505 5.0
14 180126890 8.0
15 190028076 6.5
16 190097540 5.5
17 190106824 8.5
18 190114860 4.5
19 200020692 8.0
20 200036858 0.0
21 202021785 5.5
22 202065897 7.0
23 211020867 4.5
24 211020910 5.0
25 211036141 5.0
26 211037238 0.0
27 221001972 10.0
28 221002002 2.0
29 221017023 10.0
30 221017130 8.0
31 221018960 7.5
32 221039970 6.0
33 222012809 6.5
34 222028792 5.5
35 222029172 2.0
36 222031822 3.0
37 222035625 7.0
38 222035661  
39 231013583 8.0

Monitoria   monitoria

Monitor: José Roberto Interaminense Soares

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