Boolean functions with engineering applications and computer programs:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin <<[u.a.]>>
Springer
1989
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 264 S. graph. Darst. |
| ISBN: | 3540188924 0387188924 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024368170 | ||
| 003 | DE-604 | ||
| 005 | 20240718 | ||
| 007 | t | ||
| 008 | 090924s1989 d||| |||| 00||| eng d | ||
| 020 | |a 3540188924 |9 3-540-18892-4 | ||
| 020 | |a 0387188924 |9 0-387-18892-4 | ||
| 035 | |a (OCoLC)246828014 | ||
| 035 | |a (DE-599)BVBBV024368170 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-188 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 100 | 1 | |a Schneeweiss, Winfrid G. |d 1934- |e Verfasser |0 (DE-588)108494497 |4 aut | |
| 245 | 1 | 0 | |a Boolean functions with engineering applications and computer programs |c Winfrid G. Schneeweiss |
| 264 | 1 | |a Berlin <<[u.a.]>> |b Springer |c 1989 | |
| 300 | |a XII, 264 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Boolesche Funktion |0 (DE-588)4146281-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Boolesche Funktion |0 (DE-588)4146281-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018348927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018348927 | |
Record in the Search Index
| _version_ | 1805087790876065792 |
|---|---|
| adam_text |
WINFRID G. SCHNEEWEISS BOOLEAN FUNCTIONS WITH ENGINEERING APPLICATIONS
AND COMPUTER PROGRAMS WITH 127 FIGURES SPRINGER-VERLAG BERLIN HEIDELBERG
NEWYORK LONDON PARIS TOKYO 1989 CONTENTS 1 NOTATION AND GLOSSARY OF
FUNDAMENTAL TERMS AND SYMBOLS 1 2 FUNDAMENTAL CONCEPTS 8 2.1 BOOLEAN
INDICATOR VARIABLES AND ALL THEIR FUNCTIONS OF ONE AND TWO VARIABLES 8
2.1.1 THE FUNCTIONS OF ONE VARIABLE 9 2.1.2 THE FUNCTIONS OF TWO
VARIABLES 10 2.2 AXIOMS AND ELEMENTARY LAWS OF BOOLEAN ALGEBRA 11 2.2.1
AXIOMS 12 2.2.2 ELEMENTARY LAWS 13 2.2.3 COMPLETE SYSTEMS OF OPERATORS
17 2.3 POLYNOMIALS, VECTORS, AND MATRICES WITH BOOLEAN ELEMENTS 18 2.3.1
POLYNOMIALS WITH BOOLEAN COEFFICIENTS 18 2.3.2 BOOLEAN VECTOR/MATRIX
CALCULUS 19 EXERCISES 20 3 DIAGRAMS FOR BOOLEAN ANALYSIS 22 3.1 STANDARD
GRAPHICAL REPRESENTATION OF BOOLEAN FUNCTIONS 22 3.2 BINARY DECISION
DIAGRAMS 24 3.3 KARNAUGH MAPS 25 3.4 SWITCHING NETWORK GRAPHS (LOGIC
DIAGRAMS) AND SYNTAX DIAGRAMS 28 3.5 VENN DIAGRAMS 30 3.6 STATE
TRANSITION GRAPHS 31 X CONTENTS 3.7 COMMUNICATIONS GRAPHS 32 3.8
RELIABILITY BLOCK DIAGRAMS 32 3.9 FLOWCHARTS 34 3.10 PETRI NETS 35
EXERCISES 36 4 REPRESENTATIONS (FORMS) AND TYPES OF BOOLEAN FUNCTIONS 37
4.1 NEGATION (COMPLEMENT) 37 4.2 SPECIAL TERMS 39 4.3 NORMAL FORMS AND
CANONICAL NORMAL FORMS 43 4.3.1 ELEMENTARY THEORY 44 4.3.2 DESCRIPTION
OF CONNECTIVITY PROPERTIES OF GRAPHS 53 4.4 DISJUNCTIVE NORMAL FORMS OF
DISJOINT TERMS 59 4.4.1 FUNDAMENTALS 60 4.4.2 A SET-ADDITION ALGORITHM
62 4.4.3 THE SHANNON DECOMPOSITION ALGORITHM 70 4.4.4 A BINARY DECISION
TREE ALGORITHM 73 4.4.5 COMPARISON OF DDNF ALGORITHMS 79 4.5 BOOLEAN
FUNCTIONS WITH SPECIAL PROPERTIES 80 4.6 RECURSIVE DEFINITION OF BOOLEAN
FUNCTIONS 87 4.7 HAZARDS 90 EXERCISES 93 5 MINIMAL DISJUNCTIVE NORMAL
FORMS 95 5.1 GENERAL CONSIDERATIONS 95 5.2 FINDING ALL PRIME IMPLICANTS
OF A BOOLEAN FUNCTION 98 5.2.1 THE QUINE-MCCLUSKEY PROCEDURE 99 5.2.2
THE CONCENSUS PROCEDURE OF QUINE 103 5.2.3 THE DOUBLE NEGATION PROCEDURE
OF NELSON 107 CONTENTS XI 5.3 MINIMIZATION 111 5.3.1 OPTIMAL CHOICE OF
SUBSETS 111 5.3.2 SHORTEST DISJUNCTIVE NORMAL FORMS 113 5.3.3
INCOMPLETELY SPECIFIED BOOLEAN FUNCTIONS 115 EXERCISES 116 6 BOOLEAN
DIFFERENCE CALCULUS 118 6.1 EXCLUSIV-DISJUNCTION FORM WITHOUT NEGATED
VARIABLES 118 6.2 CONCEPTS OF BOOLEAN DIFFERENCES 123 6.3 BASIC RULES OF
BOOLEAN DIFFERENCE CALCULUS 126 6.4 DIAGNOSING PERMANENT FAULTS IN
SWITCHING NETWORKS 128 EXERCISES 129 7 BOOLEAN FUNCTIONS WITHOUT BOOLEAN
OPERATORS 131 7.1 FUNDAMENTAL CONCEPTS AND CONSEQUENCES 132 7.2
TRANSFORMATION OF BOOLEAN FUNCTIONS OF INDICATOR VARIABLES TO
MULTILINEAR FORM 135 7.3 COHERENCE REVISITED 141 EXERCISES 143 8
STOCHASTIC THEORY OF BOOLEAN FUNCTIONS 144 8.1 PROBABILITY OF A BINARY
STATE 144 8.2 PROBABILITY OF THE VALUE 1 OF A BOOLEAN FUNCTION 147 8.2.1
EXPECTED VALUE OF A BOOLEAN FUNCTION 148 8.2.2 PROBABILITIES OF
ARGUMENTS (STATES) IN THE HOMOGENEOUS MARKOV MODEL 152 8.3 APPROXIMATE
PROBABILITY OF THE VALUE 1 157 8.3.1 PRINCIPLE OF INCLUSION-EXCLUSION
158 8.3.2 APPROXIMATION WITH A GIVEN ERROR BOUND 159 8.4 MOMENTS OF
BOOLEAN FUNCTIONS 160 EXERCISES 162 XII CONTENTS 9 STOCHASTIC THEORY OF
BOOLEAN INDICATOR PROCESSES 163 9.1 MEAN DURATION OF STATES IN THE
MARKOV MODEL 163 9.2 MEAN DURATION OF BOOLEAN FUNCTIONS' VALUES 166 9.3
MEAN FREQUENCY OF CHANGES OF FUNCTIONS' VALUES 172 9.4 THE DISTRIBUTION
OF RESIDUAL LIFE TIMES 178 EXERCISES 181 10 SOME ALGORITHMS AND COMPUTER
PROGRAMS FOR BOOLEAN ANALYSIS 182 10.1 COMPUTING VALUES OF A BOOLEAN
FUNCTION 183 10.2 CANONICAL REPRESENTATIONS OF A BOOLEAN FUNCTION 191
10.2.1 THE CANONICAL DISJUNCTIVE NORMAL FORM 191 10.2.2 THE CANONICAL
MULTILINEAR POLYNOMINAL FORM 193 10.3 PROBABILITY OF A GIVEN VALUE OF A
BOOLEAN FUNCTION 196 10.4 ALGORITHMS FOR MAKING THE TERMS OF A GIVEN DNF
DISJOINT 199 10.5 SELECTED SET MANIPULATIONS 207 EXERCISES 216 11
APPENDIX: PROBABILITY THEORY REFRESHER 218 11.1 BOOLEAN ALGEBRA OF SETS
218 11.2 ELEMENTARY PROBABILITY CALCULUS 220 11.3 RANDOM VARIABLES AND
RANDOM PROCESSES 223 11.4 ELEMENTARY RENEWAL THEORY 227 11.5 LAPLACE
TRANSFORM REFRESHER 230 EXERCISES 233 SOLUTIONS OF THE EXERCISES FOR §§
2 THROUGH 11 234 REFERENCES 261 SUBJECT INDEX 263 |
| any_adam_object | 1 |
| author | Schneeweiss, Winfrid G. 1934- |
| author_GND | (DE-588)108494497 |
| author_facet | Schneeweiss, Winfrid G. 1934- |
| author_role | aut |
| author_sort | Schneeweiss, Winfrid G. 1934- |
| author_variant | w g s wg wgs |
| building | Verbundindex |
| bvnumber | BV024368170 |
| classification_rvk | SK 130 ST 120 |
| ctrlnum | (OCoLC)246828014 (DE-599)BVBBV024368170 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV024368170</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240718</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s1989 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540188924</subfield><subfield code="9">3-540-18892-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387188924</subfield><subfield code="9">0-387-18892-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246828014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024368170</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schneeweiss, Winfrid G.</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108494497</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Boolean functions with engineering applications and computer programs</subfield><subfield code="c">Winfrid G. Schneeweiss</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin <<[u.a.]>></subfield><subfield code="b">Springer</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 264 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018348927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018348927</subfield></datafield></record></collection> |
| id | DE-604.BV024368170 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T08:57:44Z |
| institution | BVB |
| isbn | 3540188924 0387188924 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018348927 |
| oclc_num | 246828014 |
| open_access_boolean | |
| owner | DE-83 DE-188 |
| owner_facet | DE-83 DE-188 |
| physical | XII, 264 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer |
| record_format | marc |
| spelling | Schneeweiss, Winfrid G. 1934- Verfasser (DE-588)108494497 aut Boolean functions with engineering applications and computer programs Winfrid G. Schneeweiss Berlin <<[u.a.]>> Springer 1989 XII, 264 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Boolesche Funktion (DE-588)4146281-6 gnd rswk-swf Boolesche Funktion (DE-588)4146281-6 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018348927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schneeweiss, Winfrid G. 1934- Boolean functions with engineering applications and computer programs Boolesche Funktion (DE-588)4146281-6 gnd |
| subject_GND | (DE-588)4146281-6 |
| title | Boolean functions with engineering applications and computer programs |
| title_auth | Boolean functions with engineering applications and computer programs |
| title_exact_search | Boolean functions with engineering applications and computer programs |
| title_full | Boolean functions with engineering applications and computer programs Winfrid G. Schneeweiss |
| title_fullStr | Boolean functions with engineering applications and computer programs Winfrid G. Schneeweiss |
| title_full_unstemmed | Boolean functions with engineering applications and computer programs Winfrid G. Schneeweiss |
| title_short | Boolean functions with engineering applications and computer programs |
| title_sort | boolean functions with engineering applications and computer programs |
| topic | Boolesche Funktion (DE-588)4146281-6 gnd |
| topic_facet | Boolesche Funktion |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018348927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schneeweisswinfridg booleanfunctionswithengineeringapplicationsandcomputerprograms |