TEORIA DE CHAVEAMENTO - UMA ABORDAGEM ATRAVÉS DA LÓGICA DOS PREDICADOS
Vingron, S. P. 1ª Edição Lançamento: 2007 Capa: Brochura Formato: 16X23 Cm Peso: 0,595 Kg ISBN: 85-2161529-9 Código de barras: 9788521615293 416 páginas Preço € 50,00 + (IVA)5% = € 52,50

Autor: Vingron, S. P.
Ex-diretor do Departamento de Análise Teórica de Sistemas, Institute for Information Processing, Austrian Academy of Sciences, Viena.

Descrição
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.

Sumário
Parte Um - Conceitos Fundamentais
1 Visão Geral e Conceitos Básicos
2 Dispositivos de Chaveamento
3 Funções
4 Portas e Funções Lógicas
5 Síntese e Dualidade
6 Mapas de Karnaugh
7 Utilização dos Mapas de Karnaugh
Parte Dois - Lógica
8 Tautologias
9 Lógica Proposicional
10 Sumário de Teoremas
11 Provas Algébricas
12 Sobre a Lógica dos Predicados
13 Lógica dos Predicados
Parte Três - Circuitos Combinacionais
14 Formas Normais Canônicas
15 Formas Normais de Shegalkin
16 Exemplos de Síntese
17 Conceitos Novos e Antigos
18 Aspectos Preliminares da Minimização
19 Minimização – um Extrato
20 Mapas de Karnaugh Reduzidos
21 NOT-AND e NOT-OR
22 Composição de Circuitos*
23 Hazards
Parte Quatro - Latches
24 Memorizando Através de Realimentação
25 Teoria Básica dos Latches
26 Latches Otimizados
27 Latches Elementares
28 Composição de Latches*
Parte Cinco - Circuitos Seqüenciais com Entradas Lidas Continuamente
29 Autômatos e Programas*
30 Tabelas de Reconhecimento de Palavras*
31 Modelo de Concatenação*
32 Circuitos Toggle
33 Disparo e Sincronização
34 Verificando um Projeto Lógico*
35 Discutindo a Teoria de Huffman
36 Técnicas de Codificação de Estados