Cronograma de atividades (LOG-EngTel)

Semestre 2014-2 - Turma 2900111 - Prof. NOME DO PROFESSOR

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

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