Flávio L. C. de Moura

Home / Research / Events / Teaching (Portuguese)

Lógica Computacional 1 (2025-1)

Plano de Ensino

Cronograma

Aula Data Assunto Arquivos
1 [2025-03-24 Mon] Introdução e motivação pdf
2 [2025-03-26 Wed] Fragmento Implicational da Lógica Proposicional pdf
3 [2025-03-31 Mon] A Lógica Proposicional Minimal e exercícios pdf
4 [2025-04-02 Wed] Exercícios e a Lógica Proposicinal Intuicionista pdf
--- [2025-04-07 Mon] Aula cancelada  
--- [2025-04-09 Wed] Aula cancelada  
--- [2025-04-14 Mon] Aula cancelada  
--- [2025-04-16 Wed] Aula cancelada  
--- [2025-04-21 Mon] Feriado  
5 [2025-04-23 Wed] A Lógica Proposicional Intuicionista pdf, ex2, ex3, ex4, ex5
6 [2025-04-28 Mon] A Lógica Proposicional Clássica pdf, pdf, pdf
7 [2025-04-30 Wed] Exercícios pdf
8 [2025-05-05 Mon] Exercícios pdf, pdf
9 [2025-05-07 Wed] Exercícios pdf
10 [2025-05-12 Mon] Exercícios em Coq  
11 [2025-05-14 Wed] Revisão para a prova 1  
12 [2025-05-19 Mon] Prova 1 pdf
13 [2025-05-21 Wed] A Lógica de Primeira Ordem pdf
14 [2025-05-26 Mon] Exercícios coq
15 [2025-05-28 Wed] Indução pdf, org
16 [2025-06-02 Mon] Exercícios  
17 [2025-06-04 Wed]    
18 [2025-06-09 Mon]    
19 [2025-06-11 Wed]    
20 [2025-06-16 Mon]    
21 [2025-06-18 Wed]    
22 [2025-06-23 Mon]    
23 [2025-06-25 Wed]    
24 [2025-06-30 Mon]    
25 [2025-07-02 Wed]    
26 [2025-07-07 Mon]    
27 [2025-07-09 Wed]    
28 [2025-07-14 Mon] Revisão para a prova 2  
29 [2025-07-16 Wed] Prova 2  
    Revisão de menção final  

Monitoria (Adrielly Vitoria Costa de Lima)

  • Todas as quintas de 12h-14h na sala de monitoria do CIC.
  • Alternativamente, é possível entrar em contato diretamente com a Adrielly via Teams ou grupo de Whatsapp da turma.

Quadro de Notas

A Prova 1 e o Projeto têm peso 3, e a Prova 2 tem peso 4.

  Matrícula Prova 1(10) Prova 2(10) Projeto(10) Total(10) Menção
1 180022539 1.5     0.5  
2 190014415       0.0  
3 190018011 6.0     1.8  
4 190028076 9.0     2.7  
5 190036737 1.5     0.5  
6 190087161 3.0     0.9  
7 190093838 9.0     2.7  
8 190098660 2.0     0.6  
9 190105348 10.0     3.0  
10 190107111 0.0     0.0  
11 190112735 0.0     0.0  
12 190114860 8.5     2.5  
13 190115777 2.0     0.6  
14 190126183       0.0  
15 190128771 10.0     3.0  
16 200016997 3.0     0.9  
17 200019473 5.0     1.5  
18 200034162 8.0     2.4  
19 202017020 1.0     0.3  
20 202033543 4.0     1.2  
21 211020992 8.0     2.4  
22 211036070 4.0     1.2  
23 211055316 10.0     3.0  
24 211055352 8.5     2.5  
25 211055530 3.0     0.9  
26 211055540 2.0     0.6  
27 211060620 7.0     2.1  
28 211060737 8.0     2.4  
29 221018970 2.0     0.6  
30 221030016 7.5     2.2  
31 222012738 6.0     1.8  
32 222035705 4.0     1.2  
33 231003489 10.0     3.0  
34 231003504 4.0     1.2  
35 231006257 10.0     3.0  
36 232011350 9.0     2.7  
37 241004560 6.0     1.8  
38 241004588 4.5     1.4  
39 241004621 6.0     1.8  
40 241022316 10.0     3.0  
41 241022325 10.0     3.0  
42 241022399 10.0     3.0  
43 241022432 2.0     0.6  
44 241036465 1.0     0.3  
45 242037814 10.0     3.0  

Author: Flávio L. C. de Moura

Email: flaviomoura@unb.br

Created: 2025-06-06 Fri 23:54