Lógica Computacional 1 (2024-1) - Turma 02

Table of Contents

1. Plano de Ensino

2. Calendário SAA

3. Cronograma

Aula   Data Assunto Arquivos
1 [2024-03-18 seg] Introdução e Motivação pdf
2 [2024-03-20 qua] Lógica Proposicional Minimal pdf
3 [2024-03-25 seg] Exercícios  
4 [2024-03-27 qua] Exercícios  
5 [2024-04-01 seg] Exercícios  
6 [2024-04-03 qua] Lógica Proposicional Intuicionista pdf
7 [2024-04-08 seg] Lógica Proposicional Clássica pdf
8 [2024-04-10 qua] Exercícios pdf
    [2024-04-15 seg]–[2024-06-21 sex] Período de greve  
9 [2024-06-24 seg] Exercícios pdf
10 [2024-06-26 qua] Exercícios (lista de exercícios) pdf
    [2024-07-01 seg] Aula cancelada  
    [2024-07-03 qua] Aula cancelada  
11 <2024-07-08 seg 20:50> Exercícios pdf
12 <2024-07-10 qua 20:50> Exercícios  
13   <2024-07-15 seg 20:50> Revisão para a prova 1  
14   <2024-07-17 qua 20:50> Prova 1  
15   <2024-07-22 seg 20:50> Lógica de Predicados  
16   <2024-07-24 qua 20:50> Indução  
17   <2024-07-29 seg 20:50> Exercícios  
18   <2024-07-31 qua 20:50> Correção da Lógica Proposicional  
19   <2024-08-05 seg 20:50> Correção de algoritmos (parte 1)  
20   <2024-08-07 qua 20:50> Exercícios  
21   <2024-08-12 seg 20:50> Correção de algoritmos (parte 2)  
22   <2024-08-14 qua 20:50> Exercícios  
23   <2024-08-19 seg 20:50> Correção da Lógica de Predicados  
24   <2024-08-21 qua 20:50> Semântica da Lógica de Predicados  
25   <2024-08-26 seg 20:50> Exercícios  
26   <2024-08-28 qua 20:50> Completude da Lógica de Predicados (parte 1)  
27   <2024-09-02 seg 20:50> Completude da Lógica de Predicados (parte 2)  
28   <2024-09-04 qua 20:50> Exercícios  
29   <2024-09-09 seg 20:50> Revisão para a prova 2  
30   <2024-09-11 qua 20:50> Prova 2  
    <2024-09-16 seg 20:50> Revisão de menção final  

4. Quadro de Notas

  Matrícula Exercícios (25) Prova 1 (20) Prova 2 (30) Projeto (25) Total (100) Menção
1 160025966            
2 160125073            
3 160137705            
4 160152658            
5 170003370            
6 170008002            
7 170044921            
8 170152294            
9 180098845            
10 190014415            
11 190029269            
12 190035145            
13 190086912            
14 190098660            
15 190105348            
16 190115777            
17 190128771            
18 211020885            
19 211021004            
20 222008806            
21 222011525            
22 222011534            
23 222011623            
24 222035661            
25 231006103            
26 231006140            
27 231006177            
28 231006186            
29 231006239            
30 231006248            
31 231006257            
32 231021324            
33 231021342            
34 231021413            
35 231021450            
36 231021487            
37 231021496            
38 231036309            
39 232011322            
40 232032538            

Author: Flávio L. C. de Moura

Email: flaviomoura@unb.br