Binary functions and their applications
著者
書誌事項
Binary functions and their applications
(Lecture notes in economics and mathematical systems, 348)
Springer-Verlag, c1990
- :us
- :gw
大学図書館所蔵 全48件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
In this book binary functions and their representation by implicants or implicates are described. In particular minimal representations by prime implicants or prime implicates are given. Such representations generalize the minimal representations of the usual Boolean functions. It is shown that implicants (implicates) of discrete functions may be constructed with the help of implicants (implicates) of binary functions. One substantial application is the description of the reliability structure of technical systems, another is the use of binary respectively discrete functions to classify objects which are described by the grades of certain attributes. Finally a class of Boolean algebras of practical importance (set algebras, indicator algebras, algebras of classes of propositions) are considered. The elements of such algebras have representations which are strongly connected with the representations of binary functions.
目次
1. Introduction.- 2. Binary Functions and their Representations by Implicants.- 2.1 Cube Indicators.- 2.2 Implicants.- 2.3 Prime Implicants.- 2.4 Representations by Implicants (Prime Implicants).- 3. Representations of Binary Functions by Implicates.- 3.1 Anticube Indicators.- 3.2 Implicates.- 3.3 Prime Implicates.- 3.4 Representations by Implicates (Prime Implicates).- 4. Reduction Methods.- 4.1 Notation.- 4.2 Rule.- 4.3 Rule.- 4.4 Rule.- 4.5 Rule.- 4.6 Rule.- 4.7 Rule (Corollary).- 4.8 Rule.- 4.9 Rule.- 5. Discrete Functions.- 5.1 Representations by Binary Functions.- 5.2 Monotone Functions.- 5.3 Semimonotone Functions.- 5.4 Implicants (Prime Implicants) of Discrete Functions.- 5.5 Representations by Implicants (Prime Implicants).- 5.6 Implicates (Prime Implicates) of Discrete Functions.- 5.7 Representations by Implicates (Prime Implicates).- 6. Applications.- 6.1 Reliability Structure of Technical Systems.- 6.2 Classification (Valuation) of Objects.- 7. A Class of Finite Boolean Algebras.- 7.1 Boolean Algebras.- 7.2 Boolean Algebras Generated by Finite Partitions.- 7.3 Representations of Boolean Elements by Implicants.- 7.4 Representations of Boolean Elements by Implicates.- 7.5 Probability.- 8. Applications.- 8.1 Set Algebras (Event Algebras).- 8.2 Indicator Algebras.- 8.3 Partitions in Propositional Logic.- 8.4 Algebras of Classes of Propositions.- 8.5 Truth Function Algebras.- 8.6 Some Related Models.- 8.7 Calculation of Elements of B*.- Concluding Remark.- References.- List of Symbols.
「Nielsen BookData」 より