Lógica Computacional 1 (2025-2)

O objetivo geral do curso de Lógica Computacional 1 é compreender como a lógica proposicional e a lógica de primeira ordem são importantes para a resolução de problemas computacionais.

Os objetivos específicos são:

• Compreender os fundamentos da lógica proposicional (intuicionista e clássica);
  
• Compreender os fundamentos da lógica de primeira ordem (intuicionista e clássica);
  
• Compreender diferentes métodos de validação de teoremas e programas.
  

• Noções básicas
  
  • Linguagem natural vs linguagens formais
    
  • Verdade, validade e satisfatibilidade
    
  • Lógica proposicional
    
    • Sintaxe e semântica
      
    • Propriedades e relações semânticas
      
    • Consequência lógica
      
    • Simplificação de fórmulas
      
  • Lógica de Primeira Ordem
    
    • Sintaxe e semântica
      
    • Propriedades e relações semânticas
      
  • Formas normais
    
• Métodos de validação
  
  • Métodos diretos de prova
    
  • Métodos de prova por contradição
    
• Linguagens para experimentação
  
  • Aplicações básicas
    

O conteúdo será abordado por meio de aulas expositivas estruturadas da seguinte forma:

1. Leituras dirigidas;
   
2. Exercícios semanais (via Teams);
   
3. Avaliações escritas.
   

• Na medida do possível as aulas serão gravadas e estarão disponíveis no Teams.
  
• Todo o material do curso estará disponível em https://flaviomoura.info/lc1-2025-2.html.
  

A avaliação será composta das seguintes partes:

1. Duas provas escritas individuais e sem consulta:
   
   1. Prova 1 (17/set/2025) - Lógica Proposicional (25 pontos);
      
   2. Prova 2 (03/dez/2025) - Lógica de Primeira Ordem (35 pontos);
      
2. Exercícios semanais (15 pontos);
   
3. Projeto (25 pontos).
   

Para ser aprovado o aluno deve cumprir simultaneamente os seguintes itens:

• Frequência maior ou igual a 75%;
  
• Obter pelo menos 50 pontos no total.
  

A menção final é definida como a seguir:

Menção	Pontos
SS (Superior)	90 – 100
MS (Médio Superior)	70 – 89
MM (Médio)	50 – 69
MI (Médio Inferior)	30 – 49
II (Inferior)	01 – 29
SR (Sem Rendimento)	00 ou mais de 25% de faltas

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	160125073	0.0
2	160137705
3	170013821
4	190014415	2.5
5	190036737	1.0
6	190089261	0.0
7	190103329	3.5
8	190111895	0.0
9	190112735	5.0
10	190128631	0.0
11	190142685	1.0
12	200016997	1.0
13	200019473	3.0
14	202006386	4.5
15	202037589	8.0
16	202037669	2.0
17	202037702	2.0
18	202037720	7.5
19	211055530	5.5
20	211066131	8.0
21	221001981	7.5
22	221002067	1.0
23	221003977
24	221018924	2.5
25	221019000	5.5
26	221019037	0.5
27	221022239	10.0
28	221039970	0.0
29	222001369	10.0
30	222001387	5.5
31	222012809	8.5
32	222031822	4.5
33	222035625	3.0
34	231003362	6.5
35	231003442	8.5
36	231006130	1.5
37	231018964	10.0
38	231021333	0.0
39	232007830	5.0
40	232027411	7.0
41	241002411	0.5
42	241004499
43	241004505	3.5
44	241004597	6.5
45	242011999	7.0
46	242012029	6.5
47	242039579	10.0