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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
2010.
|
| Colección: | Encyclopedia of mathematics and its applications ;
v. 134. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Algebraic structures. Compositions and clones of Boolean functions / Reinhard Pöschel and Ivo Rosenberg
- Decomposition of Boolean functions / Jan C. Bioch
- Logic. Proof theory / Alasdair Urquhart
- Probabilistic analysis of satisfiability algorithms / John Franco
- Optimization methods in logic / John Hooker
- Learning theory and cryptography. Probabilistic learning and Boolean functions / Martin Anthony
- Learning Boolean functions with queries / Robert H. Sloan, Balázs Szörényi, and György Turán
- Boolean functions for cryptography and error-correcting codes / Claude Carlet
- Vectorial Boolean functions for cryptography / Claude Carlet
- Graph representations and efficient computation models. Binary decision diagrams / Beate Bollig [and others]
- Circuit complexity / Matthias Krause and Ingo Wegener
- Fourier transforms and threshold circuit complexity / Jehoshua Bruck
- Neural networks and Boolean functions / Martin Anthony
- Decision lists and related classes of Boolean functions / Martin Anthony
- Applications in engineering. Hardware equivalence and property verification / J.-H. Roland Jiang and Tiziano Villa
- Synthesis of multi-level Boolean networks / Tiziano Villa [and others]
- Boolean aspects of network reliability / Charles J. Colbourn.