Um prelúdio à lógica

Feitosa, Hercules de Araujo (Autor), Paulovich, Leonardo (Autor)

circuitos eletrônicos, álgebra dos conjuntos, Cálculo proposicional, silogismos categóricos, cálculo de predicados, tratamento intuitivo, lógica, tratamento formal, dimensões da lógica contemporânea

Sinopse

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.

Metadado adicionado por 2BOOKS em 21/05/2021

Encontrou alguma informação errada? Perguntar para a Editora UNESP

ISBN relacionados

--

Metadados completos: