Plano de Ensino de Disciplina - Ciência da
Computação - 2010
Disciplina: LOG – LOGICA MATEMÁTICA
Código: 05155 Série: 10 semestre/ano
Carga Horária Semanal: 4 aulas
Carga Horária Semestral: 68 aulas
Coordenador e
Professor: CELINA A. A. PEREIRA
ABAR / ROGÉRIO FONSECA
|
O conteúdo da
disciplina Lógica Matemática trata do estudo da Lógica Clássica focalizando o
Cálculo Proposicional ou Sentencial e o Cálculo de Predicados de primeira
ordem. Alguns itens desenvolvidos
estão relacionados com tópicos da teoria dos conjuntos ou com álgebra
booleana e aplicações, em especial com circuitos elétricos. No início do
curso um esboço histórico é apresentado aos alunos apresentando outros tipos
de lógicas clássicas e não-clássicas. No final do curso é feita uma
introdução aos Conjuntos "Fuzzy". O uso do ambiente virtual
(TelEduc ou Moodle) permite apoio ao ensino presencial para o estudo do
Cálculo Proposicional e do Cálculo de Predicados de primeira ordem com
metodologia adequada ao ambiente. |
Gerais
|
|
Proporcionar
competências e habilidades para que o aluno: § Desenvolva o
raciocínio lógico-matemático. § Desenvolva uma
mentalidade alicerçada no rigor e na observação. § Adquira uma
formação dedutiva e indutiva para efetuar pesquisas mais profundas
principalmente na Matemática.
|
|
Específicos |
|
Conduzir
gradativamente o aluno, ao longo do curso, a: § Reconhecer os
mecanismos lógicos necessários para poder realizar um processo dedutivo. § Identificar os
procedimentos, conceitos, descrições e representações que podem ser
úteis. § Reconhecer como a
inferência lógica pode ser usada em Matemática e em outras ciências
empíricas. |
Cronograma 2010
|
Semana |
data |
Tópicos |
Exercícios |
Aulas |
|
1 |
09FEV |
Atividades
de Recepção aos Calouros |
|
2 |
|
1 |
11FEV |
Atividades
de Recepção aos alunos do curso. Aula magna |
4 |
|
|
2 |
18 FEV |
O conceito de Lógica.Uma
classificação da Lógica. Esboço da História da Lógica. Linguagem e metalinguagem. |
Lista 1 |
6 |
|
2 |
23 FEV |
O Cálculo Proposicional.
Linguagem, símbolos, princípios. |
|
8 |
|
3 |
24 FEV |
Tabelas-verdade. Atividade em grupo
|
Lista 2 |
10 |
|
3 |
02 MAR |
Cálculo proposicional e Álgebra dos conjuntos. |
Lista 3 |
12 |
|
4 |
|
Diagramas de Venn. |
Lista 4 |
14 |
|
4 |
04 MAR |
Propriedades e Regras de
Inferência |
|
16 |
|
5 |
09 MAR |
Recapitulação de Exercícios |
Lista 5 |
18 |
|
5 |
11 MAR |
Formas Normais Conjuntiva e
Disjuntiva. |
Lista 6 |
20 |
|
6 |
16 MAR |
Atividade
em grupo |
Lista 7 |
22 |
|
6 |
18 MAR |
Problema de Post. |
|
24 |
|
7 |
23 MAR |
Noções de Álgebra de Boole. |
Lista 8 |
26 |
|
7 |
25 MAR |
Argumentos. Validade e demonstração. |
Lista 9 |
28 |
|
8 |
30 MAR |
Demonstração: condicional e por
absurdo. |
|
30 |
|
8 |
01 ABR |
Arvores de refutação |
Lista 10 |
32 |
|
9 |
06 ABR |
Atividade em grupo |
|
34 |
|
9 |
08 ABR |
Recapitulação |
|
36 |
|
10 |
13 ABR |
PROVA P1 |
38 |
|
|
10 |
15 ABR |
Correção da Prova |
40 |
|
|
11 |
20 ABR |
Mapa de Karnaugh |
Lista 11 |
42 |
|
11 |
22 ABR |
Mundo Tarski |
Lista Extra |
44 |
|
12 |
27 ABR |
O Cálculo de
Predicados de 1ª ordem.Linguagem, símbolos e fórmulas. |
Lista 12 |
46 |
|
12 |
29 ABR |
Recapitulação |
|
48 |
|
13 |
04 MAI |
Negação de Fórmulas Quantificadas |
Lista 13 |
50 |
|
13 |
06 MAI |
Atividade
em grupo |
52 |
|
|
14 |
11 MAI |
Enuciados categóricos |
Lista 13 |
54 |
|
14 |
13 MAI |
Argumentos categóricos:
simbolização, interpretação e validade por Diagramas de Venn. |
Lista 13 |
56 |
|
15 |
18 MAI |
Generalização das árvores de
refutação |
|
58 |
|
15 |
20 MAI |
Atividade
em grupo |
|
60 |
|
16 |
25 MAI |
Propriedades dos quantificadores.
|
|
62 |
|
16 |
27 MAI |
Atividade
em grupo |
|
64 |
|
17 |
01 JUN |
Recapitulaçaõ |
|
66 |
|
17 |
08 JUN |
Reposição de aula se necessário. |
|
68 |
|
18 |
10JUN |
Prova
P2 Prova
PS Vistas
de Prova |
|
70 |
|
18 |
15JUN |
|
72 |
|
|
19 |
17JUN |
|
74 |
|
|
20 |
22JUN |
|
76 |
|
|
21 |
24JUN |
|
78 |
|
|
22 |
29JUN |
|
80 |