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 pdf
5 [2025-04-07 Mon] A Lógica Proposicinal Intuicionista  
6 [2025-04-09 Wed] A Lógica Proposicional Clássica (parte 1) pdf
7 [2025-04-14 Mon] A Lógica Proposicional Clássica (parte 2)  
8 [2025-04-16 Wed] Exercícios  
--- [2025-04-21 Mon] Feriado  
9 [2025-04-23 Wed] Revisão para a prova 1  
10 [2025-04-28 Mon] Prova 1  
11 [2025-04-30 Wed]    
12 [2025-05-05 Mon]    
13 [2025-05-07 Wed]    
14 [2025-05-12 Mon]    
15 [2025-05-14 Wed]    
16 [2025-05-19 Mon]    
17 [2025-05-21 Wed]    
18 [2025-05-26 Mon]    
19 [2025-05-28 Wed]    
20 [2025-06-02 Mon]    
21 [2025-06-04 Wed]    
22 [2025-06-09 Mon]    
23 [2025-06-11 Wed]    
24 [2025-06-16 Mon]    
25 [2025-06-18 Wed]    
26 [2025-06-23 Mon]    
27 [2025-06-25 Wed]    
28 [2025-06-30 Mon]    
29 [2025-07-02 Wed]    
30 [2025-07-07 Mon]    
31 [2025-07-09 Wed]    
32 [2025-07-14 Mon] Revisão para a prova 2  
33 [2025-07-16 Wed] Prova 2  
    Revisão de menção final  

Quadro de Notas

  Matrícula Prova 1 Prova 2 Projeto Total Menção
1 180022539          
2 180132725          
3 190014415          
4 190018011          
5 190028076          
6 190036737          
7 190087161          
8 190093838          
9 190098660          
10 190105348          
11 190107111          
12 190112735          
13 190114860          
14 190115777          
15 190125616          
16 190126183          
17 190128771          
18 200016997          
19 200019473          
20 200022784          
21 200034162          
22 202017020          
23 202033543          
24 211020992          
25 211036070          
26 211055316          
27 211055352          
28 211055530          
29 211055540          
30 211060620          
31 211060737          
32 221018970          
33 221030016          
34 222012738          
35 222035705          
36 231003489          
37 231003504          
38 231006257          
39 232011350          
40 241004499          
41 241004560          
42 241004588          
43 241004621          
44 241022316          
45 241022325          
46 241022399          
47 241022432          
48 241022460          
49 241036465          
50 242037814          

Author: Flávio L. C. de Moura

Email: flaviomoura@unb.br

Created: 2025-04-01 Tue 09:33