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 2012-1 - atual

Dados gerais

COMPONENTE CURRICULAR: LOG - LÓGICA

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

UCs vizinhas

CÓDIGO ISAAC: LOG29001

PRÉ REQUISITOS:

DISCIPLINAS SUCESSORAS: CIL, PRG1

MÓDULO PROFISSIONALIZANTE

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

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

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

4.Lógica de Primeira Ordem: sintaxe e semântica

5.Método dedutivo, formas normais

Avaliações

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:

A1 – Avaliação escrita 1

A2 – Avaliação escrita 2

O acadêmico para ser aprovado deverá obter no mínimo o conceito C nas duas avaliações propostas. Caso não obtenha conceito C em alguma dessas avaliações terá direito a uma prova de recuperação para cada uma dessas avaliações. Tais provas de recuperação serão realizadas no final do semestre.

Bibliografia do PPCv2015-2

Bibliografia Básica

1. 1 João Nunes de Souza Lógica para Ciência da Computação; 1ª ed. Rio de Janeiro:Elsevier, 2008. 220p. ISBN 9788535229615.
2. 2 MORTARI, Cezar A Introdução à Lógica; 1ª ed. São Paulo:UNESP, 2001. 394p. ISBN 9788571393370.
3. 3 Stan Baronett Lógica Uma Introdução Voltada para as Ciências; 1ª ed. Porto Alegre:Bookman, 2009. 568p. ISBN 9788577805372.

Bibliografia Complementar

1. 1 ALENCAR FILHO, Edgard de Iniciaçao a Logica Matematica; 1a ed. São Paulo:Nobel, 2002. 203p. ISBN 9788521304036.
2. 2 BISPO, Carlos Alberto Ferreira; CASTANHEIRA, Luiz Batista; SOUZA FILHO, Oswaldo Melo INTRODUÇÃO À LÓGICA MATEMÁTICA; - ed. São Paulo:Cengage Learning, 2012. 135p. ISBN 9788522111268.
3. 3 Judith L. Gersting Fundamentos Matemáticos para a Ciência da Computação; 5ª ed. Rio de Janeiro:LTC, 2004. 597p. ISBN 8521614225.
4. 4 Mendelson, Elliott Introduction to Mathematical Logic; 5ª ed. London:Chapman and Hall/CRC, 2010. 469p. ISBN 9781584888765.
5. 5 POLYA, George A arte de resolver problemas: um novo aspecto do método matemático; 1a ed. Rio de Janeiro:Interciencia, 1995. 180p. ISBN .

Bibliografia Antiga

Bibliografia Básica

1. MORTARI, Cezar A Introdução à Lógica; 1ª ed. São Paulo:UNESP, 2001. 394p. ISBN 9788571393370
2. João Nunes de Souza Lógica para Ciência da Computação; 1ª ed. [S.l]:Campus, 2008. 240p. ISBN 9788535229615
3. Stan Baronett Lógica Uma Introdução Voltada para as Ciências; 1ª ed. PORTO ALEGRE:Bookman, 2009. 568p. ISBN 9788577805372

Bibliografia Complementar

1. Judith L. Gersting Fundamentos Matemáticos para a Ciência da Computação; 5ª ed. Rio de Janeiro:LTC, 2004. 597p. ISBN 8521614225
2. Mendelson, Elliott Introduction to Mathematical Logic; 5ª ed. [S.l]:Chapman and Hall/CRC, 2009. 469p. ISBN 9781584888765
3. Carlos Alberto F. Bispo, Luiz B. Castanheira e Oswaldo Melo S. Filho INTRODUÇÃO À LÓGICA MATEMÁTICA; - ed. São Paulo:CENGAGE, 2012. 208p. ISBN 9788522111268

ANEXOS

Cronograma de atividades

Horário de Aula e Atendimento Paralelo

Curso de Engenharia de Telecomunicações