Métodos numéricos para resolução de problemas lógicos

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.