Ciência da computação

Professor do Campus Pouso Alegre publica livro que introduz o conceito de Lógica Paraconsistente 

O livro é resultado de uma dissertação de mestrado do professor de Matemática, Carlos Alberto Albuquerque, na área de Ciência da Computação. Foram dois anos de estudos. Segundo o autor do livro a lógica paraconsistente tem várias aplicações, principalmente em robótica e inteligência artificial. “Enquanto a Lógica Clássica trabalha com apenas dois valores (Falso ou Verdadeiro), a Lógica Paraconsistente trabalha com infinitos valores, pertencentes ao intervalo real [0,1]”, explicou.

Ainda de acordo com o professor, o livro apresenta um exemplo didático de como utilizar a Lógica Paraconsistente, apresentando um algoritmo para completar registros que contem incompletudes.

Os interessados em adquirir o livro, podem entrar em contato diretamente com o autor pelo e-mail: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Texto: Profº Carlos Albuquerque

Revisão: Assessoria de Comunicação

IFSULDEMINAS - Campus Pouso Alegre