Cronograma de atividades (LOG-EngTel)

De MediaWiki do Campus São José
Ir para: navegação, pesquisa
Semestre 2017-2 - Turma 2900121 - Prof. VOLNEI VELLEDA RODRIGUES
Aula Data Horas Conteúdo Recursos
1 2/8 2 REFORÇO MATEMÁTICA BÁSICA
2 9/8 2 INTRODUÇÃO À LÓGICA: CONCEITOS INICIAIS; LÓGICA CLÁSSICA SILOGISMOS / INFERÊNCIAS IMEDIATAS
3 16/8 2 DEDUÇÃO / INDUÇÃO / LÓGICA MATEMÁTICA: FUNDAMENTOS /LÓGICA PROPOSICIONAL: CONCEITOS INICIAIS, CONECTIVOS
4 23/8 2 TABELA-VERDADE
5 30/8 2 TABELA-VERDADE
6 6/9 2 TAUTOLOGIAS / CONTINGÊNCIAS / CONTRADIÇÕES
7 13/9 2 EQUIVALÊNCIAS LÓGICAS
8 20/9 2 IMPLICAÇÕES LÓGICAS
9 27/9 2 AVALIAÇÃO 1
10 4/10 2 VALIDADE DE ARGUMENTOS: DEDUÇÃO
11 11/10 2 APLICAÇÃO DAS REGRAS DE INFERÊNCIA
12 18/10 2 PROVA INDIRETA
13 25/10 2 PROVA DE INVALIDADE (ATRIBUIÇÃO DE VALORES)
14 1/11 2 LÓGICA DE PREDICADOS: CONCEITOS INICIAIS / QUANTIFICADORES
15 8/11 2 LÓGICA DE PREDICADOS
16 22/11 2 INTRODUÇÃO À LÓGICA BINÁRIA / BIT / BYTE / SISTEMAS DE NUMERAÇÃO
17 29/11 2 FUNDAMENTOS DA ÁLGEBRA BOOLEANA
18 6/12 2 FUNDAMENTOS DA ÁLGEBRA BOOLEANA
19 13/12 2 AVALIAÇÃO 2
20 20/12 2 RECUPERAÇÃO
TOTAL 40
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