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

	Matrícula	ex1(2.5)	ex2(2.5)	ex3(2.5)	ex4(2.5)	ex5(5)	Total (15)
1	160125073	0.8	0.0	0.0	0.0	0.0	0.8
2	170013821	0.0	0.0	0.0	0.0	0.0	0.0
3	190014415	0.0	0.8	2.5	1.5	5.0	9.8
4	190036737	2.5	0.0	0.0	0.8	1.5	4.8
5	190089261	0.0	0.0	0.0	0.0	0.0	0.0
6	190103329	2.0	0.0	2.2	1.8	1.0	7.0
7	190112735	2.0	0.8	0.8	0.0	0.0	3.6
8	190128631	0.0	0.0	1.5	2.2	4.5	8.2
9	190142685	2.2	0.0	2.0	0.8	4.5	9.5
10	200016997	2.2	0.0	0.0	0.0	5.0	7.2
11	200019473	0.0	1.8	0.0	0.0	0.0	1.8
12	202006386	2.5	1.0	2.2	0.0	0.0	5.7
13	202037589	2.0	2.5	2.5	0.0	0.0	7.0
14	202037669	2.5	0.0	2.0	0.8	0.0	5.3
15	202037702	1.8	0.0	0.0	0.0	0.0	1.8
16	202037720	2.2	2.2	2.2	0.0	0.0	6.6
17	211055530	0.0	1.0	2.5	2.5	4.5	10.5
18	211066131	2.5	2.5	2.5	2.5	4.5	14.5
19	221001981	2.5	2.5	0.0	0.0	0.0	5.0
20	221002067	2.0	0.0	0.0	0.0	0.0	2.0
21	221003977	2.2	1.8	0.0	0.0	0.0	4.0
22	221018924	2.5	0.0	1.0	0.0	0.0	3.5
23	221019000	2.2	0.0	2.2	0.8	0.0	5.2
24	221019037	2.2	0.0	2.2	0.8	0.0	5.2
25	221022239	2.5	1.0	2.2	2.2	2.5	10.4
26	221039970	2.2	0.0	0.0	0.0	0.0	2.2
27	222001369	2.5	1.5	2.5	2.5	4.0	13.0
28	222001387	2.5	2.0	2.5	2.5	4.5	14.0
29	222012809	2.2	1.8	2.2	2.0	1.5	9.7
30	222031822	2.5	2.5	2.5	2.5	2.5	12.5
31	222035625	2.2	0.0	0.0	0.0	0.0	2.2
32	231003362	0.0	0.0	0.0	0.0	0.0	0.0
33	231003442	2.5	2.5	2.0	2.5	4.5	14.0
34	231018964	2.5	2.5	2.5	2.5	5.0	15.0
35	232007830	2.2	2.5	2.5	2.5	2.5	12.2
36	232027411	2.2	1.5	0.8	0.0	0.0	4.5
37	241004499	1.2	0.0	0.0	0.0	0.0	1.2
38	241004505	2.5	2.2	2.5	2.5	0.0	9.7
39	241004597	2.5	2.5	2.5	2.5	0.0	10.0
40	242011999	2.5	2.5	2.5	2.5	3.5	13.5
41	242012029	1.2	0.0	2.0	0.0	5.0	8.2
42	242039579	2.5	0.0	0.0	2.0	0.0	4.5

De acordo com o plano de ensino,

• A prova 1 soma 25 pontos (peso 2.5 na tabela abaixo);
  
• A prova 2 soma 35 pontos (peso 3.5 na tabela abaixo);
  
• Os exercícios semanais somam 15 pontos;
  

• O projeto soma 25 pontos.
  

	Matrícula	P1(peso 2.5)	P2(peso 3.5)	Exercícios(15)	Projeto(25)	Total(100)	Menção
1	160125073	0.0		0.8	0.0	0.8	SR
2	170013821			0.0	0.0	0.0	SR
3	190014415	2.5	3.5	9.8	22.0	50.3	MM
4	190036737	1.0	4.5	4.8	10.0	33.0	MI
5	190089261	0.0		0.0	0.0	0.0	SR
6	190103329	3.5	5.0	7.0	25.0	58.2	MM
7	190112735	5.0	9.5	3.6	15.0	64.3	MM
8	190128631	0.0	8.0	8.2	8.0	44.2	MI
9	190142685	1.0	6.5	9.5	25.0	59.8	MM
10	200016997	1.0	2.0	7.2	23.0	39.7	MI
11	200019473	3.0	1.5	1.8	22.0	36.5	MI
12	202006386	4.5	8.5	5.7	20.0	66.7	MM
13	202037589	8.0	0.0	7.0	25.0	52.0	MM
14	202037669	2.0	0.0	5.3	15.0	25.3	II
15	202037702	2.0	0.0	1.8	25.0	31.8	MI
16	202037720	7.5	0.0	6.6	25.0	50.4	MM
17	211055530	5.5	9.0	10.5	16.0	71.8	MS
18	211066131	8.0	4.5	14.5	23.0	73.2	MS
19	221001981	7.5	4.5	5.0	25.0	64.5	MM
20	221002067	1.0	0.0	2.0	0.0	4.5	II
21	221003977	7.0	2.0	4.0	22.0	50.5	MM
22	221018924	2.5	2.5	3.5	15.0	33.5	MI
23	221019000	5.5	6.5	5.2	25.0	66.7	MM
24	221019037	0.5	8.0	5.2	25.0	59.5	MM
25	221022239	10.0	7.0	10.4	25.0	84.9	MS
26	221039970	0.0		2.2	0.0	2.2	SR
27	222001369	10.0	5.5	13.0	23.0	80.2	MS
28	222001387	5.5	4.5	14.0	23.0	66.5	MM
29	222012809	8.5	2.0	9.7	25.0	63.0	MM
30	222031822	4.5	6.5	12.5	25.0	71.5	MS
31	222035625	3.0		2.2	0.0	9.7	SR
32	231003362	6.5	10.0	0.0	25.0	76.2	MS
33	231003442	8.5	5.5	14.0	25.0	79.5	MS
34	231018964	10.0	10.0	15.0	25.0	100.0	SS
35	232007830	5.0	6.5	12.2	25.0	72.5	MS
36	232027411	7.0	8.0	4.5	25.0	75.0	MS
37	241004499			1.2	0.0	1.2	SR
38	241004505	3.5	4.5	9.7	22.0	56.2	MM
39	241004597	6.5	8.5	10.0	22.0	78.0	MS
40	242011999	7.0	5.0	13.5	6.0	54.5	MM
41	242012029	6.5	6.0	8.2	25.0	70.5	MS
42	242039579	10.0	10.0	4.5	20.0	84.5	MS