Descrição
Obra que trata da "nova lógica" no desenvolvimento da filosofia da linguagem e de
modelos formais de larga aplicação na inteligência artificial. Seus autores desenvolvem
o cálculo proposicional a partir de uma linguagem natural, respeitando os princípios de
Aristóteles para a lógica, culminando no estudo da validade de inferências lógicas;
introduzem o sistema formal do cálculo proposicional; estudam algumas propriedades do
sistema; apresentam a álgebra dos conjuntos que caracteriza um outro sistema booleano;
estudam os silogismos aristotélicos; mostram como se pode caminhar com a lógica,
envolvendo em um único sistema formal as concepções lógicas tratadas no livro e a
adequação deste sistema para a matemática contemporânea; discorrem sobre a amplidão de
possibilidades de investigações lógicas atualmente; e introduzem noções básicas dos
sistemas fuzzy ou lógica fuzzy. Abordam, também, a particular relevância do papel da
lógica em meio ao mais presente e revolucionário dos desenvolvimentos tecnológicos
contemporâneos: a computação.
Posição #19378 na lista de mais vendidos da Livraria 30porcento.
Dados Técnicos
Páginas: 232
Peso: 288g
ISBN: 9788571396050