資料詳細

  • 1 件中、 1 件目

[ 洋図書 ] Boolean models and methods in mathematics, computer science, and engineering / ( Encyclopedia of mathematics and its applications ; 134 )

edited by Yves Crama, Peter L. Hammer. -- Cambridge University Press, -- 2010. --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般洋図書 F/410.8/E56/E1-134 5018764711 Digital BookShelf
2010/11/02 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 0521847524
ISBN13桁 9780521847520
テキストの言語 英語                  
分類：NDC10版 411.73
本タイトル Boolean models and methods in mathematics, computer science, and engineering /
著者名 edited by Yves Crama, Peter L. Hammer.
出版地・頒布地 Cambridge ;
出版者・頒布者名 Cambridge University Press,
出版年・頒布年 2010.
数量 xviii, 759 p. :
他の形態的事項 ill. ;
大きさ 25 cm.
書誌注記 Includes bibliographical references.
内容注記 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.
要約、抄録、注釈等 "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"--
著者標目 Crama, Yves, 1958-
Hammer, P. L., 1936-2006.
シリーズ名・巻次 Encyclopedia of mathematics and its applications ; 134
一般件名 Algebra, Boolean.
Probabilities.
資料情報1 『Boolean models and methods in mathematics, computer science, and engineering /』（Encyclopedia of mathematics and its applications ; 134）　edited by Yves Crama, Peter L. Hammer.　Cambridge University Press,　2010. （所蔵館：中央　 請求記号：F/410.8/E56/E1-134　 資料コード：5018764711）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1348132540

ページの先頭へ