Recent progress in the Boolean domain / / edited by Bernd Steinbach
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Recent progress in the Boolean domain / / edited by Bernd Steinbach
|
| Pubblicazione: | Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2014 |
| ©2014 | |
| Descrizione fisica: | 1 online resource (458 p.) |
| Disciplina: | 004.015113 |
| Soggetto topico: | Automatic theorem proving |
| Logic, Symbolic and mathematical | |
| Soggetto genere / forma: | Electronic books. |
| Persona (resp. second.): | SteinbachBernd |
| Note generali: | "All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany." |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Contents; List of Figures; List of Tables; Preface; Foreword; Introduction; Exceptionally ComplexBoolean Problems; 1. Boolean Rectangle Problem; 2. Four-Colored Rectangle-FreeGrids; 3. Theoretical and PracticalConcepts; Digital Circuits; 4. Design; 5. Test; Towards Future Technologies; 6. Reversible and Quantum Circuits; Bibliography; List of Authors; Index of Authors |
| Sommario/riassunto: | In today's world, people are using more and more digital systems in daily life. Such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to... |
| Titolo autorizzato: | Recent progress in the Boolean domain |
| ISBN: | 1-4438-5967-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910465001503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |