A Treatise on Many-valued Logic: No. 9 (Studies in Logic & Computation) - Tapa dura

Gottwald, Siegfried

 
9780863802621: A Treatise on Many-valued Logic: No. 9 (Studies in Logic & Computation)
Tapa dura
ISBN 10: 0863802621 ISBN 13: 9780863802621
Editorial: Research Studies Press, 2001

Sinopsis

For advanced undergraduate students of logic or computer science with a knowledge of elementary notions from classical logic and set theory, and lattices and other algebraic structures, Gottwald (logic and philosophy of science, U. of Leipzig, Germany) explains the theory underling many-valued logic, and surveys a broad class of applications. It is the growing applications that have driven recent interest in the logic, especially in computer science for automated theorem proving, approximate reasoning, multi-agent systems, switching theory, program verification, and other tricks. Annotation c. Book News, Inc., Portland, OR (booknews.com)

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

For advanced undergraduate students of logic or computer science with a knowledge of elementary notions from classical logic and set theory, and lattices and other algebraic structures, Gottwald (logic and philosophy of science, U. of Leipzig, Germany) explains the theory underling many-valued logic, and surveys a broad class of applications. It is the growing applications that have driven recent interest in the logic, especially in computer science for automated theorem proving, approximate reasoning, multi-agent systems, switching theory, program verification, and other tricks. Annotation c. Book News, Inc., Portland, OR (booknews.com)

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Research Studies Press
Año de publicación
2001
Idioma
Inglés
ISBN 10 
0863802621
ISBN 13 
9780863802621
Encuadernación
Tapa dura
Número de páginas
616
Contacto del fabricante
no disponible
Persona responsable
no disponible