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

Semestre 2012-1