Lógica Computacional 1 (2025-1)

Plano de Ensino

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 e a Lógica Proposicinal Intuicionista~~	pdf
---	[2025-04-07 Mon]	Aula cancelada
---	[2025-04-09 Wed]	Aula cancelada
---	[2025-04-14 Mon]	Aula cancelada
---	[2025-04-16 Wed]	Aula cancelada
---	[2025-04-21 Mon]	Feriado
5	[2025-04-23 Wed]	~~A Lógica Proposicional Intuicionista~~	pdf, ex2, ex3, ex4, ex5
6	[2025-04-28 Mon]	~~A Lógica Proposicional Clássica~~	pdf, pdf, pdf
7	[2025-04-30 Wed]	~~Exercícios~~	pdf
8	[2025-05-05 Mon]	~~Exercícios~~	pdf, pdf
9	[2025-05-07 Wed]	~~Exercícios~~	pdf
10	[2025-05-12 Mon]	~~Exercícios em Coq~~
11	[2025-05-14 Wed]	~~Revisão para a prova 1~~
12	[2025-05-19 Mon]	~~Prova 1~~	pdf
13	[2025-05-21 Wed]	~~A Lógica de Primeira Ordem~~	pdf
14	[2025-05-26 Mon]	~~Exercícios~~	coq
15	[2025-05-28 Wed]	~~Indução~~	pdf, org
16	[2025-06-02 Mon]	~~Exercícios~~
17	[2025-06-04 Wed]	~~Exercícios~~
18	[2025-06-09 Mon]	Projeto	pdf
19	[2025-06-11 Wed]	Formalização de algoritmos	pdf
20	[2025-06-16 Mon]
21	[2025-06-18 Wed]
22	[2025-06-23 Mon]
23	[2025-06-25 Wed]
24	[2025-06-30 Mon]
25	[2025-07-02 Wed]
26	[2025-07-07 Mon]
27	[2025-07-09 Wed]
28	[2025-07-14 Mon]	Revisão para a prova 2
29	[2025-07-16 Wed]	Prova 2
		Revisão de menção final

Todas as quintas de 12h-14h na sala de monitoria do CIC.
Alternativamente, é possível entrar em contato diretamente com a Adrielly via Teams ou grupo de Whatsapp da turma.

A Prova 1 e o Projeto têm peso 3, e a Prova 2 tem peso 4.

	Matrícula	Prova 1(10)	Total(10)
1	180022539	2.5	0.5
2	190014415		0.0
3	190018011	6.0	1.8
4	190028076	9.0	2.7
5	190036737	1.5	0.5
6	190087161	3.0	0.9
7	190093838	9.0	2.7
8	190098660	2.0	0.6
9	190105348	10.0	3.0
10	190107111	3.0	0.0
11	190112735	0.0	0.0
12	190114860	8.5	2.5
13	190115777	2.0	0.6
14	190126183		0.0
15	190128771	10.0	3.0
16	200016997	3.0	0.9
17	200019473	5.0	1.5
18	200034162	8.0	2.4
19	202017020	1.0	0.3
20	202033543	4.0	1.2
21	211020992	8.0	2.4
22	211036070	4.0	1.2
23	211055316	10.0	3.0
24	211055352	8.5	2.5
25	211055530	3.0	0.9
26	211055540	2.0	0.6
27	211060620	7.0	2.1
28	211060737	8.0	2.4
29	221018970	2.0	0.6
30	221030016	7.5	2.2
31	222012738	6.0	1.8
32	222035705	4.0	1.2
33	231003489	10.0	3.0
34	231003504	4.0	1.2
35	231006257	10.0	3.0
36	232011350	9.0	2.7
37	241004560	6.0	1.8
38	241004588	4.5	1.4
39	241004621	6.0	1.8
40	241022316	10.0	3.0
41	241022325	10.0	3.0
42	241022399	10.0	3.0
43	241022432	2.0	0.6
44	241036465	1.0	0.3
45	242037814	10.0	3.0