Tecnologia

PLANO DE ENSINO

CURSO: Superior em Tecnologia em Gerenciamento de Redes de Computadores
SÉRIE: 1º Semestre
TURNO: Noturno
DISCIPLINA: LÓGICA
CARGA HORÁRIA TOTAL (SEMESTRAL): 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
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