De MediaWiki do Campus São José
Ir para navegação
Ir para pesquisar
Semestre 2014-1 - Prof. João Carlos Bez Batti
|
Aula
|
Data
|
Horas
|
Conteúdo
|
Recursos
|
1 |
21/2 |
2 |
Introdução a Lógica, Lógica Formal, Dedução e Indução - prova de fórmula por indução matemática |
Quadro, Giz e Projetor
|
2 |
28/2 |
2 |
Lógica Clássica e Lógica Simbólica, Proposições e Predicados, Princípios da Lógica, Raciocínio Lógico. |
Quadro, Giz e Projetor
|
3 |
7/3 |
2 |
Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências (introdução) |
Quadro, Giz e Projetor
|
4 |
14/3 |
2 |
Proposições Simples |
Quadro, Giz e Projetor
|
5 |
21/3 |
2 |
Proposições Compostas. Conectivos |
Quadro, Giz e Projetor
|
6 |
28/3 |
2 |
Ordem de Precedência das Operações. Fórmulas. |
Quadro, Giz e Projetor
|
7 |
4/4 |
2 |
Prova |
Quadro, Giz e Projetor
|
8 |
11/4 |
2 |
Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica (Introdução) |
Quadro, Giz e Projetor
|
9 |
18/4 |
0 |
Feriado - Paixão de Cristo |
Quadro, Giz e Projetor
|
10 |
25/4 |
2 |
Construção de Tabelas Verdade |
Quadro, Giz e Projetor
|
11 |
2/5 |
2 |
Construção de Tabelas Verdade (continuação) |
Quadro, Giz e Projetor
|
12 |
9/5 |
2 |
Equivalência Lógica |
Quadro, Giz e Projetor
|
13 |
16/5 |
2 |
Interferência Lógica |
Quadro, Giz e Projetor
|
14 |
23/5 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica |
Quadro, Giz e Projetor
|
15 |
30/5 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica (continuação) |
Quadro, Giz e Projetor
|
16 |
6/6 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica (continuação) |
Quadro, Giz e Projetor
|
17 |
13/6 |
2 |
Método dedutivo, formas normais. |
Quadro, Giz e Projetor
|
18 |
20/6 |
0 |
Feriado - Recesso Institucional |
Quadro, Giz e Projetor
|
19 |
27/6 |
2 |
Avaliação II |
Quadro, Giz e Projetor
|
20 |
4/7 |
2 |
Recuperação |
Quadro, Giz e Projetor
|
TOTAL |
36 |
|
|
|
Semestre 2013-2 - Prof. Tiago Semprebom
|
ATENÇÃO! Professor no ínicio do semestre colar aqui o conteúdo da aba PE-Wiki do Diário Eletrônico
|
|
Semestre 2013-1 - Prof. Tiago Semprebom
|
Aula
|
Data
|
Horas
|
Conteúdo
|
Recursos
|
1 |
02/04/1013 |
2 |
Introdução a Lógica, Lógica Formal, Dedução e Indução |
Quadro e Giz
|
2 |
09/04/2013 |
2 |
Lógica Clássica e Lógica Simbólica, Proposições e Predicados, Princípios da Lógica, Raciocínio Lógico. |
Quadro e Giz
|
3 |
16/04/2013 |
2 |
Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências (introdução) |
Quadro e Giz
|
4 |
23/04/2013 |
2 |
Proposições Simples |
Quadro e Giz
|
5 |
30/04/2013 |
2 |
Proposições Compostas. Conectivos |
Quadro e Giz
|
6 |
07/05/2013 |
2 |
Ordem de Precedência das Operações. Fórmulas. |
Quadro e Giz
|
7 |
14/05/2013 |
2 |
Avaliação I |
Quadro e Giz
|
8 |
21/05/2013 |
2 |
Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica (Introdução) |
Quadro e Giz
|
9 |
28/05/2013 |
2 |
Construção de Tabelas Verdade |
Quadro e Giz
|
10 |
04/06/2013 |
2 |
Construção de Tabelas Verdade (continuação) |
Quadro e Giz
|
11 |
11/06/2013 |
2 |
Equivalência Lógica |
Quadro e Giz
|
12 |
18/06/2013 |
2 |
Interferência Lógica |
Quadro e Giz
|
13 |
25/06/2013 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica |
Quadro e Giz
|
14 |
02/07/2013 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica (continuação) |
Quadro e Giz
|
15 |
09/07/2013 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica (continuação) |
Quadro e Giz
|
16 |
16/07/2013 |
2 |
Método dedutivo, formas normais. |
Quadro e Giz
|
17 |
23/07/2013 |
2 |
Avaliação II |
Quadro e Giz
|
18 |
30/07/2013 |
2 |
Encerramento da disciplina (recuperações) |
Quadro e Giz
|
TOTAL |
36 |
|
|
|
Semestre 2012-2 - Prof. André Luiz Alves
|
Aula
|
Data
|
Horas
|
Conteúdo
|
Recursos
|
1 |
9/10 |
2 |
Introdução a Lógica, Lógica Formal, Dedução e Indução |
Quadro e Giz
|
2 |
16/10 |
2 |
Lógica Clássica e Lógica Simbólica, Proposições e Predicados, Princípios da Lógica, Raciocínio Lógico. |
Quadro e Giz
|
3 |
23/10 |
2 |
Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências (introdução) |
Quadro e Giz
|
4 |
30/10 |
2 |
Proposições Simples |
Quadro e Giz
|
5 |
6/11 |
2 |
Proposições Compostas. Conectivos |
Quadro e Giz
|
6 |
13/11 |
2 |
Ordem de Precedência das Operações. Fórmulas. |
Quadro e Giz
|
7 |
20/11 |
2 |
Avaliação I |
Quadro e Giz
|
8 |
24/11 |
2 |
Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica (Introdução) |
Quadro e Giz
|
9 |
27/11 |
2 |
Construção de Tabelas Verdade |
Quadro e Giz
|
10 |
4/12 |
2 |
Construção de Tabelas Verdade (continuação) |
Quadro e Giz
|
11 |
11/12 |
2 |
Equivalência Lógica |
Quadro e Giz
|
12 |
18/12 |
2 |
Interferência Lógica |
Quadro e Giz
|
13 |
5/2 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica |
Quadro e Giz
|
14 |
19/2 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica (continuação) |
Quadro e Giz
|
15 |
26/2 |
2 |
Lógica de Primeira Ordem: sintaxe e semântica (continuação) |
Quadro e Giz
|
16 |
5/3 |
2 |
Método dedutivo, formas normais. |
Quadro e Giz
|
17 |
12/3 |
2 |
Avaliação II |
Quadro e Giz
|
TOTAL |
34 |
|
|
|
Semestre 2012-1 - Prof. Elenira Vilela
|
Aula
|
Data
|
Horas
|
Conteúdo
|
Recursos
|
1 |
2/3 |
2 |
Debate: O que é lógica, referências históricas e filosóficas. Introdução ao cálculo proposicional. |
Quadro e giz e folha fotocopiada.
|
2 |
9/3 |
2 |
Conectivos e Tabela Verdade. Princípios lógicos: identidade, não contradição e terceiro excluído. |
Quadro e giz.
|
3 |
16/3 |
2 |
Negação de Proposições. Classificação de proposições: tautologia, contradição e contingência. |
Quadro e giz.
|
4 |
23/3 |
2 |
Exercícios. |
Quadro e giz.
|
5 |
30/3 |
2 |
Implicação e equivalência tautológica. Propriedades reflexiva, simétrica e transitiva. |
Quadro e giz.
|
6 |
6/4 |
2 |
Construção de argumentos lógicas e discussão da validade dos argumentos. Valor verdade ou validade. Prova direta. |
Quadro e giz.
|
7 |
13/4 |
2 |
Estudo das tautologias que instrumentalizam a prova direta da validade dos argumentos: idempotência, comutação, associação, distribuição, leis de Morgan. |
Quadro e giz.
|
8 |
20/4 |
2 |
Outras tautologias: Dupla negação, equivalência material, implicação material, negação implícita material, transposição, importação/exportação, absurdo. |
Quadro e giz.
|
9 |
27/4 |
2 |
Outras tautologias: Adição, Simplificação, Conjunção, absorção, Modus Ponens, Modus Tollens, dilemas construtivo e destrutivo, silogismos disjuntivo e hipotético. |
Quadro e giz.
|
10 |
4/5 |
2 |
Dedução formal e regras de dedução. |
Quadro e giz.
|
11 |
11/5 |
2 |
Teorema da dedução e prova indireta por redução ao absurdo. |
Quadro e giz.
|
12 |
18/5 |
2 |
Prova de invalidade. Árvore da refutação. Estudo de ramos fechados e ramos abertos. |
Quadro e giz.
|
13 |
25/5 |
2 |
Exercícios. |
Quadro e giz.
|
14 |
1/6 |
2 |
Avaliação. |
Folha fotocopiada.
|
15 |
8/6 |
2 |
Cálculo de predicados. Quantificadores. |
Quadro e giz.
|
16 |
15/6 |
2 |
Formalização do cálculo de predicados. |
Quadro e giz.
|
17 |
22/6 |
2 |
Exemplificações e generalizações. Diagramas de Venn. Eliminação e inserção de quantificadores. |
Quadro e giz.
|
18 |
29/6 |
2 |
Exercícios. |
Quadro e giz.
|
19 |
6/7 |
2 |
Avaliação. |
Folha fotocopiada.
|
20 |
13/7 |
2 |
Entrega de notas e encerramento. |
|
TOTAL |
40 |
|
|
|