PLANO DE ENSINO logica

Prévia do material em texto

PLANO DE ENSINO
CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas
SÉRIE: 1º período (semestral)
DISCIPLINA: Lógica
CARGA HORÁRIA SEMANAL: 03 hora-aula
CARGA HORÁRIA SEMESTRAL: 60 horas-aula
I – EMENTA
Introdução à lógica. Sistemas dicotômicos. Operações lógicas sobre proposições. Construção da tabela-verdade. Relações de implicação e de equivalência. Argumento válido. Técnicas dedutivas. Fluxogramas. Quantificações. Álgebra de Boole. Funções booleanas e suas representações. Formas normais.
II – OBJETIVOS GERAIS
Capacitar o aluno nos conceitos fundamentais de lógica matemática necessários para a definição formal de conceitos computacionais e para aplicar os conhecimentos adquiridos na resolução de problemas pelos métodos indutivo e dedutivo, encontrados na área profissional.
III – OBJETIVOS ESPECÍFICOS
Desenvolver a capacidade de raciocínio lógico para a resolução de problemas. Desenvolver seu espírito crítico e criativo. Desenvolver conhecimentos básicos de lógica matemática que possibilitem a verificação da validade de argumentos.
IV – CONTEÚDO PROGRAMÁTICO
Introdução
História da lógica e da computação
Classificação da lógica e definições básicas
Sistemas dicotômicos 
Introdução 
Interruptores 
Conjuntos 
Proposições 
Operações lógicas sobre proposições 
Negação 
Conjunção 
Disjunção inclusiva ou soma lógica 
Disjunção exclusiva 
Condicional 
Bicondicional 
Construção da tabela-verdade 
Tautologias
Contradições
Contingências
Relações de implicação e de equivalência 
Definições 
Relação de implicação 
Relação de equivalência 
Equivalências notáveis 
Propriedades 
Argumento válido 
Definição 
Regras de inferência 
Técnicas dedutivas 
Prova direta 
Prova condicional 
Prova bicondicional 
Prova indireta ou por redução ao absurdo 
Prova indireta de forma condicional 
Fluxogramas 
Quantificações 
Sentença aberta 
Quantificador universal 
Quantificador existencial 
Valores lógicos de sentenças quantificadas 
Negação de sentenças quantificadas 
Introdução à álgebra de Boole 
Operador binário 
Propriedades das operações 
Sistemas algébricos 
Funções booleanas 
Representação das funções booleanas 
Diagramas de Venn ou círculos de Euler 
Tabelas-verdade 
Representação geométrica 
Formas normais 
Forma normal a n variáveis 
Forma normal disjuntiva 
Forma normal conjuntiva 
Funções na forma binária 
Funções na forma decimal 
V – ESTRATÉGIA DE TRABALHO
- Aulas expositivas
- Aulas reflexivas com análise de casos
- Dinâmica de grupos
- Seminários
- Vídeos
- Debates
Será sempre indicada a bibliografia básica e específica necessária ao acompanhamento do curso e orientação do aluno na vida acadêmica e profissional.
A exposição será feita por meio de colocação dos pontos a serem discutidos de forma esquemática, seguida de apresentação por parte do professor. Para todas as exposições e para todos os pontos deverão ser utilizadas apresentações de casos práticos..
VI – AVALIAÇÃO
A avaliação será obtida por meio de provas, trabalhos e seminários, dentre outros, bem como pela participação do aluno durante as aulas e demais atividades, a critério do professor e em conformidade com o respectivo plano de ensino. Serão feitas avaliações, assim distribuídas:
- Duas Notas do Professor (NP) para as atividades curriculares, com peso 4 (quatro) cada uma, na composição da nota semestral de cada disciplina;
- Uma nota referente ao Projeto Integrado Multidiscipinar (PIM), com peso 2 (dois) no cálculo da Média Semestral (MS) de cada disciplina. Esse Projeto será desenvolvido durante o semestre.
A MS será: (NP1 x 4 + PIM x 2 + NP2 x 4) / 10. Para a aprovação, a MS deverá ser igual ou superior a 5,0; é exigida a freqüência mínima de 75%. O desempenho do aluno é avaliado numa escala de 0 (zero) a 10 (dez).
VII – BIBLIOGRAFIA
Básica
DAGHLIAN, J. Logica e álgebra de boole. 4. ed. São Paulo: Atlas, 2012.
HEGENBERG, L. Lógica: o calculo sentencial, cálculo de predicados, cálculo com igualdade. 3. ed. São Paulo: EPU, 2012.
BARBIERI FILHO, P.; HETEM JUNIOR, A. Lógica para computação. São Paulo: LTC, 2012.
Complementar
PROETTI, S. Simplificando a lógica: conceitos básicos, exemplos e exercícios para facilitar a aprendizagem da lógica e o desenvolvimento do raciocínio científico. São Paulo. 3.ed. Edicon: 2005.
ALENCAR FILHO, E. Iniciação à lógica matemática. 21.ed. São Paulo: Nobel, 2002.
SOARES. E. Fundamentos de lógica, 2ª edição. Atlas, 2014.
ABE, J. M. et al. Introdução à lógica para a ciência da computação. 2.ed. São Paulo: Arte & Ciência, 2001.
BISPO, C. A.; CASTANHEIRA, L. B.; S. FILHO, O. M. Introdução a lógica matemática. São Paulo, CENGAGE, 2011