Lógica Matemática e Elementos de Lógica Digital

Ementa

Bem vindo ao curso Lógica Matemática e Elementos de Lógica Digital

Objetivo Desenvolver o raciocínio lógico do aluno. Capacitar o aluno a compreender os conceitos fundamentais da lógica matemática. Capacitar o aluno a desenvolver técnicas de emonstração de teoremas na lógica matemática. Capacitar o aluno a compreender a ágebra de Boole.

Nível do curso Superior.

Pré-requisito Nenhum.

Programa Sistemas dicotômicos, operações lógicas sobre proposições, construção da tabela verdade, relações de implicação e equivalência, argumento válido, técnicas dedutivas, álgebra booleana e minimização de funções. Dispositivos eletrônicos semicondutores: Noções da física dos semicondutores. Implementação de Portas Lógicas. Famílias Lógicas. Implementação de circuitos básicos combinacionais e seqüenciais.

Bibliografia DAGHLIAN, J. Lógica e Álgebra de Boole, Atlas, São Paulo, 1995. CESAR, A. Mortari. Introdução à Lógica, Ed. Unesp, São Paulo, 2001. SOUSA, J. N. Lógica para a Ciência da Computação, Ed. Campus, São Paulo, 2002.

Índice de aulas LÓGICA PROPOSICIONAL Preliminares Proposições Conectivos lógicos Valor lógico Princípios Fundamentais da lógica Operações lógicas sobre Proposições Análise das proposições compostas Negação das operações lógicas Proposições associadas a um condicional Equivalências lógicas notáveis TÉCNICAS DE DEDUÇÃO Argumento válido Regras de inferência Prova condicional Prova bicondicional Prova indireta ou por redução ao absurdo Prova indireta da forma condicional ÁLGEBRA DE BOOLE Interruptores e circuitos Circuito série e paralelo Implementação de expressões booleanas através de interruptores Simplificação de expressões LÓGICA DIGITAL Portas lógicas Circuitos lógicos Mapa de karnaugh