TEORIA DE CHAVEAMENTO: UMA ABORDAGEM ATRAVÉS DA LÓGICA DOS PREDICADOS

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.