Livro Usado
TEORIA DO CHAVEAMENTO
S. P. VINGRON
Quantidade limitada no estoque. Envio imediato.
Editora LTCE
Área ENGENHARIA
Idioma Português
Número de páginas 416
Edição 1ED. 2007
ISBN 9788521615293
EAN 9788521615293
A Teoria de Chaveamento é uma ciência aplicada utilizada na análise, no projeto e no teste de circuitos de chaveamento, independentemente da tecnologia na qual foram implementados. Do mesmo modo que a lógica proposicional foi superada na matemática pela lógica dos predicados, desenvolvida por Frege [1879], isso também é feito aqui em relação à Teoria de Chaveamento. Com a utilização das provas e deduções da lógica dos predicados torna-se possível o que antes estava fora de alcance. O livro foi escrito para o engenheiro atuante com inclinações teóricas que trabalha na área de projeto de circuitos digitais, para o cientista preocupado com o desenvolvimento de métodos e algoritmos para projetar circuitos digitais e para o estudante que sente necessidade de complementar um curso de Teoria de Chaveamento ou Projeto Lógico. Enquanto a Parte 1 é uma introdução no nível de graduação, as partes restantes constituem uma base sólida para um curso de pós-graduação em Teoria de Chaveamento ou Projeto Lógico. A preocupação principal do autor é promover a compreensão das idéias básicas sobre a teoria de chaveamento. Nada é suposto a priori, seja o conceito de uma variável lógica, a realimentação em circuitos de latches ou circuitos seqüenciais, seja a necessidade de codificar estados internos. Essa abordagem básica e completa permite o desenvolvimento de novos conceitos, tais como Composição e Verificação. O lado teórico é enriquecido pela utilização da lógica dos predicados (em vez da lógica proposicional), possibilitando provas formais até agora não alcançadas. Do lado prático, os circuitos seqüenciais, que até então eram obtidos intuitivamente, agora estão abertos para um procedimento formal de síntese.