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

Fonte: Wikiversidade
Saltar para a navegação Saltar para a pesquisa


Yellow-bg.svg
HSBook.svg
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

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