1. PLANO DE ENSINO
CURSO: Superior de Tecnologia em Gestão da Tecnologia da Informação
SÉRIE: 1º período (semestral)
DISCIPLINA: Lógica
CARGA HORÁRIA SEMANAL: 03 horas/aula
CARGA HORÁRIA SEMESTRAL: 60 horas
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
1. Introdução
• História da lógica e da computação
• Classificação da lógica e definições básicas
2. Sistemas dicotômicos
• Introdução
• Interruptores
• Conjuntos
• Proposições
3. Operações lógicas sobre proposições
• Negação
• Conjunção
• Disjunção inc lusiva ou soma lógica
• Disjunção exclusiva

2. • Condicional
• Bicondicional
4. Construção da tabela -verdade
• Tautologias
• Contradições
• Contingências
5. 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
6. Argumento válido
• Definição
• Regras de inferência
7. Técnicas dedutivas
• Prova direta
• Prova condicional
• Prova bicondicional
• Prova indireta ou por redução ao absurdo
• Prova indireta de forma condicional
8. Fluxogramas
9. Quantificações
• Sentença aberta
• Quantificador universal
• Quantificador existencial
• Valores lógicos de sentenças quantificadas
• Negação de sentenças quantificadas
10. Introdução à álgebra de Boole
• Operador binário
• Propriedades das operações
• Sistemas algébricos
11. Funções booleanas
12. Representação das funções booleanas
• Diagramas de Venn ou círculos de Euler
• Tabelas-verdade
• Representação geométrica
13. 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

3. - 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
ALENCAR FILHO, E. Iniciação à lógica matemática. 21.ed. São Paulo: Nobel,
2002.
DAGGLIAN, J. Lógica e álgebra de boole. 4.ed. São Paulo: Atlas, 1995.
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.
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.
SALMON, W. C. Lógica. 3.ed. Rio de Janeiro, 1993.