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

Table of Contents

Calendário SAA

Cronograma

  Data Assunto Arquivos
1 <2024-07-08 seg 16:00> Definição do calendário, data da prova 2 e exercícios de DN na LPO pdf
  <2024-07-10 qua 16:00> Revisão de DN na LPO - exercícios pdf
2 <2024-07-15 seg 16:00> Cálculo de Sequentes na Lógica Clássica pdf
3 <2024-07-17 qua 16:00> Cálculo de Sequentes - exercícios  
4 <2024-07-22 seg 16:00> Cálculo de Sequentes na Lógica Intuicionista  
5 <2024-07-24 qua 16:00> Cálculo de Sequentes - exercícios  
6 <2024-07-29 seg 16:00> Equivalência entre o Cálculo de Sequentes e Dedução Natural (caso intuicionista) pdf
7 <2024-07-31 qua 16:00> Equivalência entre o Cálculo de Sequentes e Dedução Natural (caso clássico)  
8 <2024-08-05 seg 16:00> Indecidibilidade da LPO (parte 1)  
9 <2024-08-07 qua 16:00> Indecidibilidade da LPO (parte 2)  
10 <2024-08-12 seg 16:00>    
11 <2024-08-14 qua 16:00>    
12 <2024-08-19 seg 16:00>    
13 <2024-08-21 qua 16:00>    
14 <2024-08-26 seg 16:00>    
15 <2024-08-28 qua 16:00>    
16 <2024-09-02 seg 16:00>    
17 <2024-09-04 qua 16:00>    
18 <2024-09-09 seg 16:00>    
19 <2024-09-11 qua 16:00>    
20 <2024-09-16 seg 16:00>    
21      
22      

Author: Flávio L. C. de Moura

Email: flaviomoura@unb.br