Cronograma de atividades (LOG-EngTel)

Semestre 2014-1

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

ATENÇÃO! Professor no ínicio do semestre colar aqui o conteúdo da aba PE-Wiki do Diário Eletrônico

Semestre 2013-2

ATENÇÃO! Professor no ínicio do semestre colar aqui o conteúdo da aba PE-Wiki do Diário Eletrônico

Semestre 2013-1

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

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

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