Teoria De Chaveamento - Uma Abordagem Atraves Da Logica Dos Predicados

S. P. Vingron

Ltc

2017

416 páginas

13h 52m

ISBN-10: 8521615299

Português Brasileiro

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.