SÉRIE: 1º Semestre
TURNO: Noturno
DISCIPLINA: LÓGICA
CARGA HORÁRIA: 66 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
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 – 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 inclusiva ou soma lógica
• Disjunção exclusiva
• 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
IV - Estratégia de Ensino
- 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.
V - Estratégias de 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).
VI - 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.
Submarino
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.
VII – Bibliografia 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.