De MediaWiki do Campus São José
Ir para navegação
Ir para pesquisar
|
|
Linha 1: |
Linha 1: |
− | <!--Depois de colar o conteúdo da aba PE-Wiki do Diário Eletrônico apague esta linha e a linha abaixo -->
| |
− | {{Falta |Professor no início do semestre colar aqui o conteúdo da aba PE-Wiki do Diário Eletrônico}}
| |
| | | |
| {{collapse top| bg=lightgreen | Semestre 2015-1 - Turma 2900111 - Prof. VOLNEI VELLEDA RODRIGUES}} | | {{collapse top| bg=lightgreen | Semestre 2015-1 - Turma 2900111 - Prof. VOLNEI VELLEDA RODRIGUES}} |
Edição das 11h43min de 21 de março de 2016
Semestre 2015-1 - Turma 2900111 - Prof. VOLNEI VELLEDA RODRIGUES
|
Aula
|
Data
|
Horas
|
Conteúdo
|
Recursos
|
1 |
25/2 |
2 |
INTRODUÇÃO À LÓGICA: CONCEITOS INICIAIS; LÓGICA CLÁSSICA |
Sala de Aula
|
2 |
4/3 |
2 |
DEDUÇÃO / INDUÇÃO |
Sala de Aula
|
3 |
11/3 |
2 |
LÓGICA MATEMÁTICA: FUNDAMENTOS |
Sala de Aula
|
4 |
18/3 |
2 |
LÓGICA PROPOSICIONAL: CONCEITOS INICIAIS / CONECTIVOS |
Sala de Aula
|
5 |
25/3 |
2 |
TABELA-VERDADE |
Sala de Aula
|
6 |
1/4 |
2 |
TABELA-VERDADE |
Sala de Aula
|
7 |
8/4 |
2 |
AVALIAÇÃO 1 |
Sala de Aula
|
8 |
15/4 |
2 |
TAUTOLOGIAS / CONTINGÊNCIAS / CONTRADIÇÕES |
Sala de Aula
|
9 |
22/4 |
2 |
EQUIVALÊNCIAS LÓGICAS |
Sala de Aula
|
10 |
29/4 |
2 |
IMPLICAÇÕES LÓGICAS |
Sala de Aula
|
11 |
6/5 |
2 |
VALIDADE DE ARGUMENTOS: DEDUÇÃO |
Sala de Aula
|
12 |
13/5 |
2 |
APLICAÇÃO DAS REGRAS DE INFERÊNCIA |
Sala de Aula
|
13 |
20/5 |
2 |
AVALIAÇÃO 2 |
Sala de Aula
|
14 |
27/5 |
2 |
TEOREMA DA DEDUÇÃO / PROVA INDIRETA |
Sala de Aula
|
15 |
3/6 |
2 |
PROVA DE INVALIDADE / ÁRVORE DE REFUTAÇÃO |
Sala de Aula
|
16 |
10/6 |
2 |
LÓGICA DE PREDICADOS: CONCEITOS INICIAIS / QUANTIFICADORES |
Sala de Aula
|
17 |
17/6 |
2 |
LÓGICA DE PREDICADOS: VALIDADE DE ARGUMENTOS |
Sala de Aula
|
18 |
24/6 |
2 |
AVALIAÇÃO 3 |
Sala de Aula
|
19 |
1/7 |
2 |
RECUPERAÇÃO |
Sala de Aula
|
TOTAL |
38 |
|
|
|
Semestre 2014-2 - Turma 2900121 - Prof. Volnei Velleda Rodrigues
|
Aula
|
Data
|
Horas
|
Conteúdo
|
Recursos
|
1 |
5/8 |
2 |
INTRODUÇÃO À LÓGICA |
Sala de Aula, Quadro e Giz
|
2 |
12/8 |
2 |
LÓGICA MATEMÁTICA, LÓGICA PROPOSICIONAL E LÓGICA DE PREDICADOS – CONCEITOS INICIAIS |
Sala de Aula, Quadro e Giz
|
3 |
19/8 |
2 |
LÓGICA PROPOSICIONAL: PROPOSIÇÕES SIMPLES E COMPOSTAS, CONECTIVOS, FÓRMULAS, TABELAS VERDADE |
Sala de Aula, Quadro e Giz
|
4 |
26/8 |
2 |
TABELAS VERDADE |
Sala de Aula, Quadro e Giz
|
5 |
2/9 |
2 |
PROPOSIÇÕES COMPOSTAS: TAUTOLOGIAS, CONTRADIÇÕES, CONTINGÊNCIAS |
Sala de Aula, Quadro e Giz
|
6 |
9/9 |
2 |
EQUIVALÊNCIA LÓGICA: EXEMPLOS |
Sala de Aula, Quadro e Giz
|
7 |
16/9 |
2 |
EQUIVALÊNCIA LÓGICA: EXEMPLOS |
Sala de Aula, Quadro e Giz
|
8 |
23/9 |
2 |
EQUIVALÊNCIA LÓGICA: EXEMPLOS |
Sala de Aula, Quadro e Giz
|
9 |
30/9 |
2 |
AVALIAÇÃO 1 |
Sala de Aula, Quadro e Giz
|
10 |
7/10 |
2 |
INFERÊNCIA LÓGICA: EXEMPLOS |
Sala de Aula, Quadro e Giz
|
11 |
14/10 |
2 |
INFERÊNCIA LÓGICA: EXEMPLOS |
Sala de Aula, Quadro e Giz
|
12 |
21/10 |
2 |
INFERÊNCIA LÓGICA: EXEMPLOS |
Sala de Aula, Quadro e Giz
|
13 |
4/11 |
2 |
LÓGICA DE PREDICADOS, LÓGICA DE PRIMEIRA ORDEM: INTRODUÇÃO |
Sala de Aula, Quadro e Giz
|
14 |
11/11 |
2 |
LÓGICA DE PRIMEIRA ORDEM: SINTAXE E SEMÂNTICA |
Sala de Aula, Quadro e Giz
|
15 |
18/11 |
2 |
LÓGICA DE PRIMEIRA ORDEM: MÉTODO DEDUTIVO |
Sala de Aula, Quadro e Giz
|
16 |
25/11 |
2 |
LÓGICA DE PRIMEIRA ORDEM: MÉTODO DEDUTIVO |
Sala de Aula, Quadro e Giz
|
17 |
2/12 |
2 |
AVALIAÇÃO 2 |
Sala de Aula, Quadro e Giz
|
18 |
9/12 |
2 |
AVALIAÇÃO DE RECUPERAÇÃO |
Sala de Aula, Quadro e Giz
|
TOTAL |
36 |
|
|
|
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, Proposições Compostas. Conectivos, Tabela-verdade, construção de uma tabela-verdade,Ordem de Precedência das Operações. Fórmulas. |
Quadro, Giz e Projetor
|
5 |
21/3 |
2 |
Tautologia e equivalência lógica (Introdução), Eliminção do Bicondicional e Condicional |
Quadro, Giz e Projetor
|
6 |
28/3 |
2 |
Resolução de exercícios, dúvidas e correções para prova. |
Quadro, Giz e Projetor
|
7 |
4/4 |
2 |
Prova |
Quadro, Giz e Projetor
|
8 |
11/4 |
2 |
Inferência |
Quadro, Giz e Projetor
|
9 |
18/4 |
0 |
Feriado - Paixão de Cristo |
Quadro, Giz e Projetor
|
10 |
25/4 |
2 |
Cálculo proposicional: Argumentos e Dedução |
Quadro, Giz e Projetor
|
11 |
2/5 |
2 |
Equivalências e Inferências Básicas: Simplificação da Conclusão |
Quadro, Giz e Projetor
|
12 |
9/5 |
2 |
Validade e Invalidade |
Quadro, Giz e Projetor
|
13 |
16/5 |
2 |
Cálculo de predicados |
Quadro, Giz e Projetor
|
14 |
23/5 |
2 |
Quantificadores |
Quadro, Giz e Projetor
|
15 |
30/5 |
2 |
Silogismo Categórico |
Quadro, Giz e Projetor
|
16 |
6/6 |
2 |
Cálculo de Predicados: Eliminação e Inserção de quantificadores |
Quadro, Giz e Projetor
|
17 |
13/6 |
2 |
Equivalências e Inferências: Dedução e Invalidade |
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
|
Aula
|
Data
|
Horas
|
Conteúdo
|
Recursos
|
1 |
20/8 |
2 |
Introdução a Lógica |
Quadro, Giz e Projetor
|
2 |
27/8 |
2 |
Lógica Clássica e Lógica Simbólica |
Quadro, Giz e Projetor
|
3 |
03/9 |
2 |
Lógica Proposicional |
Quadro, Giz e Projetor
|
4 |
10/9 |
2 |
Proposições Simples |
Quadro, Giz e Projetor
|
5 |
17/9 |
2 |
Proposições Compostas |
Quadro, Giz e Projetor
|
6 |
24/9 |
2 |
Ordem de Precedência das Operações |
Quadro, Giz e Projetor
|
7 |
1/10 |
2 |
Avaliação 1 |
-
|
8 |
8/10 |
2 |
Tabela Verdade, Tautologia e Equivalência Lógica |
Quadro, Giz e Projetor
|
9 |
15/10 |
2 |
Construção de Tabelas-Verdade |
Quadro, Giz e Projetor
|
10 |
22/10 |
2 |
Construção de Tabelas-Verdade |
Quadro, Giz e Projetor
|
11 |
29/10 |
2 |
Equivalência Lógica |
Quadro, Giz e Projetor
|
12 |
05/11 |
2 |
Equivalência Lógica |
Quadro, Giz e Projetor
|
13 |
12/11 |
2 |
Equivalência Lógica |
Quadro, Giz e Projetor
|
14 |
19/11 |
2 |
Lógica de Primeira Ordem (Cálculo de Predicados) |
Quadro, Giz e Projetor
|
15 |
26/11 |
2 |
Lógica de Primeira Ordem (Sintaxe e Semântica) |
Quadro, Giz e Projetor
|
16 |
3/12 |
2 |
Método Dedutivo, Formas Normais |
Quadro, Giz e Projetor
|
17 |
10/12 |
2 |
Avaliação 2 |
-
|
18 |
17/12 |
2 |
Encerramento: Recuperações 1 e 2 |
-
|
TOTAL |
36 |
|
|
|
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 |
|
|
|