Métodos Numéricos para Resolução de Problemas Lógicos

Walter Del Picchia

1993 — 1ª edição

Estoque esgotado

Sobre o Livro

ISBN: 8521202539
Páginas: 408
Formato: 16x22 cm
Ano de Publicação: 1993
Peso: 0.526 kg

Sumário

ÍNDICE
PREFÁCIO

1 - INTRODUÇÃO

2 - FUNDAMENTOSTEÓRICOS

2.1. ÁLGEBRA BOOLEANA
2.2. FUNÇÕES BOOLEANAS E TRANSFORMADA NUMÉRICA
2.3. OPERAÇÕES NOCAMPO TRANSFORMADO
2.3.1. Permutações de Adiantamento
2.3.2. Permutações em Bloco
2.3.3. OperaçõesElementares com Transformadas
2.3.4. Complementação
2.3.5. ProdutoAumentado à Esquerda
2.3.6. FunçãoAumentada e Função Reduzida
2.3.7. Expansãoem Relação à Primeira Variável
2.3.8. Simplificação da Expansão
2.4. TRANSFORMAÇÃO E ANTITRANSFORMAÇÃO
2.4.1. Métodopara Transformação
2.4.2. Métodospara Antitransformação
2.5. SUBSTITUIÇÃODE VARIÁVEIS EM SISTEMAS SIMULTÂNEOS DE FUNÇÕES BOOLEANAS
2.5.1. OAlgoritmo da Substituição (Algoritmo S)
2.5.2. Extensõesdo Algoritmo S
2.5.3. Prova doAlgoritmo S
2.6. CONCLUSÃO

3 - RESOLUÇÃO DESISTEMAS DE EQUAÇÕES BOOLEANAS
3.1. FUNDAMENTOS
3.1.1. Resoluçãode Sistemas sem Restrições
3.1.2. Resoluçãode Sistemas com Restrições
3.2. APLICAÇÕESEM CIRCUITOS LÓGICOS
3.2.1. CircuitosCombinatórios
3.2.2. Sistematização do Projeto de Máquinas Seqüenciais
3.3. CONCLUSÃO

4 - PROBLEMA DADECISÃO QUALITATIVA
4.1. BASESTEÓRICAS
4.1.1. CálculoProposicional e Álgebra Booleana
4.1.2. Tabela dasTraduções
4.1.3. Formulaçãodo Problema da Decisão Qualitativa
4.1.4. Resoluçãodo Problema da Decisão Qualitativa
4.1.5. Algoritmospara Resolução do PDQ
4.2. ALGUMASAPLICAÇÕES COM ENUNCIADOS SIMPLES
4.3. CONSIDERAÇÕES E TÓPICOS COMPLEMENTARES
4.3.1. O Problemada Decisão Qualitativa como Problema de Dedução no CálculoProposicional
4.3.2. Significado dos Bits da Resposta e Negação da Questão
4.3.3. Proposições Controláveis, Observáveis, Dependentes e Independentes
4.3.4VariáveisFaltantes
4.3.5. SituaçõesProibidas e Enunciado Incompleto
4.3.6. Estudo dosCasos
4.3.7. Geração deTeoremas
4.3.8. Equivalência Aparente entre a Resposta e a Questão
4.3.9. Problemada Decisão Qualitativa e Algoritmo Dedução Direta
4.4. CONCLUSÃO

5 - SDB/3. UMSISTEMA AUTOMÁTICO PARA TOMADA DE DECISÕES UTILIZANDO RESOLUÇÃO DE EQUAÇÕESBOOLEANAS
5.1. ARQUITETURADO SDB/3
5.1.1. Esquema Geral
5.1.2. O Problema Proposto e sua Tradução para a Linguagem POP
5.1.4. A Interface TN: Transformação na Equação Equivalente
5.1.5. O Programa de Resolução do Problema da Decisão Qualitativa
5.1.6. A Interface TN-1, Transformação em Expressões Algébricas
5.1.7. O Programa Tradutor-1
5.2. APLICAÇÕES
5.3. MENSAGENS DOSISTEMA
5.4. CONCLUSÃO

6 - CONCLUSÕES E PROPOSTAS

APÊNDICE A
. APLICAÇÃO DA TN NA SIMPLIFICAÇÃO DE FUNÇÕES BOOLEANAS
A.1. DETERMINAÇÃODOS IMPLICANTES PRIMÁRIOS DE UMA FUNÇÃO BOOLEANA
A.2. O PROBLEMADA MINIMIZAÇÃO
A.2.1. Construção da Matriz dos Implicantes Primários
A.2.2. Formulação Geral
A.2.3. Aplicação
A.3. UM MÉTODOAPROXIMADO DE SIMPLIFICAÇÃO
A.4. CONCLUSÃO
APÊNDICE B. OSDB/3 VISTO COMO UM SISTEMA ESPECIALISTA
B.1. ARQUITETURABÁSICA DE UM SISTEMA ESPECIALISTA
B.2. ARQUITETURADO SDB/3 SOB O ENFOQUE DOS SISTEMAS ESPECIALISTAS
APÊNDICE C. PROGRAMAS DO SDB/3
APÊNDICE D. SAÍDAS TÍPICAS DO SDB/3

BIBLIOGRAFIA

Sinopse

Neste livro é apresentada uma teoria para tratar certos tipos de problemas lógicos, tanto relativos a circuitos, como também ligados à linguagem e à Lógica clássica, através de métodos numéricos originais, apropriados para a programação em computadores. O campo de aplicação desta teoria é abrangente, indo desde a análise e o projeto de circuitos até a dedução em Lógica e a Pesquisa Operacional.

 

São apresentados exemplos de aplicação em diversas áreas, destacando-se o desenvolvimento e a implantação em computador de um sistema de auxílio à decisão, o SDB/3, que opera de modo semelhante a certos tipos de sistemas especialistas.

 

No texto o leitor encontrará as bases necessárias ao desenvolvimento de novos métodos para tratar outros problemas específicos, bem como a descrição do sistema implementado experimentalmente, com seus programas computacionais, tendo em vista a elaboração de sistemas maiores e/ou mais aperfeiçoados (a pedido, poderá ser fornecido um disquete com a versão atuai do SDB/3).

 

Várias idéias para novos projetos são sugeridas.

 

Alguns princípios foram seguidos: a) normalmente foram feitas aplicações para ilustrar os conceitos envolvidos; b) exemplos foram utilizados para provocar o surgimento de dúvidas e soluções: c) por meio de citações de seções e/ou exemplos, foi efetuado o maior número possível de "cruzamentos de informações"; d) os desenvolvimentos tiveram enfoque operacional, com apenas algumas demonstrações formais. Foram propostos, ainda, inúmeros exercícios de vários níveis de dificuldade.

 

Este texto pode servir de base para disciplinas de um semestre (ministradas na fase profissionalizante de cursos de graduação ou em início de pós-graduação, em ciências exatas e aplicadas), e para novos desenvolvimentos por parte dos interessados. 0 SDB/3 (ou uma versão mais aperfeiçoada dele) poderá ser útil nos estudos ligados à Lógica Simbólica e no auxílio à tomada de decisões em problemas reais.

Ver maisVer menos

Depoimentos sobre o livro

Envie seu depoimento

Seja o primeiro a publicar um depoimento sobre o livro!