サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer

詳細情報

タイトル Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer
シリーズ名 Encyclopedia of mathematics and its applications ; 134
出版地(国名コード) GB
出版地Cambridge
出版社Cambridge University Press
出版地New York
出版社Cambridge University Press
出版年月日等 2010
大きさ、容量等 xviii, 759 p. : ill. ; 25 cm
注記 Related URL: Cover image http: //assets.cambridge.org/97805218/47520/cover/9780521847520.jpg
注記 Related URL: Table of contents only http: //www.loc.gov/catdir/enhancements/fy1009/2010017816-t.html
注記 Related URL: Publisher description http: //www.loc.gov/catdir/enhancements/fy1009/2010017816-d.html
注記 Related URL: Contributor biographical information http: //www.loc.gov/catdir/enhancements/fy1009/2010017816-b.html
注記 Includes bibliographical references
ISBN 9780521847520
LC番号 2010017816
OCLC番号 607985575
部分タイトル 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 ... [et al.] -- 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 ... [et al.] -- Boolean aspects of network reliability / Charles J. Colbourn
出版年(W3CDTF) 2010
件名(キーワード) Algebra, Boolean
件名(キーワード) Probabilities
NDLC MA67
LCC QA10.3
DDC 511.3/24
要約・抄録 "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. "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"-- Provided by publisher
資料の種別 図書
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで