Cargando…

Boolean models and methods in mathematics, computer science, and engineering

"This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional l...

Descripción completa

Detalles Bibliográficos
Autores principales: Crama, Yves, Hammer, P L
Lenguaje:eng
Publicado: Cambridge University Press 2010
Materias:
Acceso en línea:http://cds.cern.ch/record/2634651
_version_ 1780959761935630336
author Crama, Yves
Hammer, P L
author_facet Crama, Yves
Hammer, P L
author_sort Crama, Yves
collection CERN
description "This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research"--Provided by publisher.
id cern-2634651
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2010
publisher Cambridge University Press
record_format invenio
spelling cern-26346512021-04-21T18:44:02Zhttp://cds.cern.ch/record/2634651engCrama, YvesHammer, P LBoolean models and methods in mathematics, computer science, and engineeringMathematical Physics and Mathematics"This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research"--Provided by publisher.Cambridge University Pressoai:cds.cern.ch:26346512010
spellingShingle Mathematical Physics and Mathematics
Crama, Yves
Hammer, P L
Boolean models and methods in mathematics, computer science, and engineering
title Boolean models and methods in mathematics, computer science, and engineering
title_full Boolean models and methods in mathematics, computer science, and engineering
title_fullStr Boolean models and methods in mathematics, computer science, and engineering
title_full_unstemmed Boolean models and methods in mathematics, computer science, and engineering
title_short Boolean models and methods in mathematics, computer science, and engineering
title_sort boolean models and methods in mathematics, computer science, and engineering
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2634651
work_keys_str_mv AT cramayves booleanmodelsandmethodsinmathematicscomputerscienceandengineering
AT hammerpl booleanmodelsandmethodsinmathematicscomputerscienceandengineering