Cronograma de atividades (LOG-EngTel)

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