LOG-EngTel (Plano de Ensino)

	MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA CAMPUS SÃO JOSÉ Curso de Engenharia de Telecomunicações

Plano de Ensino de 2013-1

Dados gerais

[[Arquivo:

CADEIA DE SUCESSORES

|right | thumb |

250px | UCs vizinhas]]

COMPONENTE CURRICULAR: LOG - LÓGICA

CARGA HORÁRIA: 2 HORAS/SEMANA 36 HORAS. TEÓRICA = 36 HORAS. LABORATÓRIO = 0 HORAS

PRÉ REQUISITOS:

DISCIPLINAS SUCESSORAS: CIL, PRG1

MÓDULO PROFISSIONALIZANTE

HORÁRIO DE ATENDIMENTO PARALELO: 3a feira 8:30h - 09:30h e 6a feira 15:45h - 15:45h (Lab. de Desenvolvimento de Tele)

Objetivos

• Compreender a Lógica como instrumento da ciência e como estrutura formal de pensamento;
• Conhecer, compreender e operar com os principais conceitos sintáticos e semânticos do cálculo proposicional da lógica clássica, de forma precisa e os procedimentos de validação de argumentos (inclusive por meio da construção de tabelas verdade);
• Conhecer, compreender e operar com os principais conceitos sintáticos e semânticos do cálculo de Predicados de Primeira Ordem com símbolos funcionais e igualdade e os procedimentos de prova correspondentes.

Ementa

Lógica Proposicional e de Predicados. Linguagem Proposicional de Primeira Ordem. Sistemas Dedutivos. Tabelas Verdade e Estruturas de Primeira Ordem

Conteúdo Programático

1.Introdução a Lógica, proposições e predicados (4h)

2.Lógica Proposicional: sintaxe e semântica, operações lógicas sobre proposições, regras de inferências (10h).

3.Tabela-verdade, construção de uma tabela-verdade, tautologia e equivalência lógica (8h).

4.Lógica de Primeira Ordem: sintaxe e semântica (8h).

5.Método dedutivo, formas normais (2h).

Avaliações (4h)

Cronograma de atividades

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
17	30/07/2013	2	Encerramento da disciplina (recuperações)	Quadro e Giz
TOTAL		34

A avaliação compreende os seguintes elementos: 1. Desempenho em sala de aula; 2. Participação nas atividades curriculares; 3. Provas escritas; 4. Trabalhos - Exercícios realizados extra-classe.

Estratégias de ensino utilizadas

Aulas expositivas e dialogadas com o uso de lousa, giz, projetor multimídia, resolução de exercícios

Critérios e instrumentos de avaliação

A avaliação compreende os seguintes elementos:

1. Desempenho em sala de aula;

2. Participação nas atividades curriculares;

3. Provas escritas individuais (duas);

4. Trabalhos - Exercícios realizados extra-classe.

O acadêmico para ser aprovado deverá obter no mínimo o conceito C em todos os elementos de avaliação propostos.

Bibliografia Básica

1.MORTARI, Cezar A. Introdução à Lógica. 1.ed. São Paulo: UNESP, 2001. 394 p. ISBN 978-8571393370.

2.MENDELSON, Elliott. Introduction to Mathematical Logic. 5.ed. [S.l.]: Chapman and Hall-CRC, 2009. 460 p. ISBN 978-1584888765.

Bibliografia Complementar

1. SALMON. Wesley C. Lógica. [S.l]: LTC. 1993. 92 p. ISBN 978-8570540416.

2. BISPO. Carlos A., et alii. Introdução à Lógica Matemática. São Paulo: Cengage Learning, 2011.

3. CHAUÍ, Marilena.Convite à Filosofia. São Paulo: Ática, 2000.

4. EVES, Howard. Introdução à História da Matemática. Campinas: Editora da Unicamp, 2004.

Professores responsáveis

Prof. Tiago Semprebom, Dr. Eng.

Curso de Engenharia de Telecomunicações