Logic functions and equations: binary models for computer science
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht
Springer
2004
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Hier auch später erschienene, unveränderte Nachdrucke |
| Physical Description: | XXIX, 392 S. |
| ISBN: | 1402029373 1402029381 9781441952615 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV022222671 | ||
| 003 | DE-604 | ||
| 005 | 20141007 | ||
| 007 | t | ||
| 008 | 070111s2004 |||| 00||| eng d | ||
| 020 | |a 1402029373 |9 1-4020-2937-3 | ||
| 020 | |a 1402029381 |9 1-4020-2938-1 | ||
| 020 | |a 9781441952615 |c softcover |9 978-1-4419-5261-5 | ||
| 035 | |a (OCoLC)58792778 | ||
| 035 | |a (DE-599)BVBBV022222671 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-29T | ||
| 050 | 0 | |a QA76.9.L63 | |
| 082 | 0 | |a 004.0151 |2 22 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 100 | 1 | |a Posthoff, Christian |d 1943- |e Verfasser |0 (DE-588)1050601068 |4 aut | |
| 245 | 1 | 0 | |a Logic functions and equations |b binary models for computer science |c by Christian Posthoff and Bernd Steinbach |
| 264 | 1 | |a Dordrecht |b Springer |c 2004 | |
| 300 | |a XXIX, 392 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Binary system (Mathematics) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer science |x Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Boolesche Funktion |0 (DE-588)4146281-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Boolesche Gleichung |0 (DE-588)4146282-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Boolesche Funktion |0 (DE-588)4146281-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Boolesche Gleichung |0 (DE-588)4146282-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Steinbach, Bernd |d 1952- |e Verfasser |0 (DE-588)1046903934 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4020-2938-7 |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015433862&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015433862 | ||
Record in the Search Index
| _version_ | 1804136206943911936 |
|---|---|
| adam_text | Contents
List of Figures
List of Tables
Preface
Introduction
Part I Theoretical Foundations
1. BASIC ALGEBRAIC STRUCTURES
1
2
3
2.
1
2
3
4
5
6
3.
1
2
3
4
VI
LOGIC
4.
1
2
3
4
5
6
7
5.
1
2
3
4
5
6
7
8
9
10
11
Part II Applications
6.
1
2
3
4
5
7.
1
2
3
4
101
101
104
112
115
122
127
134
143
144
146
148
155
162
163
170
181
188
191
193
209
209
221
232
246
252
265
265
279
293
326
Contents
vn
FINITE-STATE MACHINES
1
2
3
4
337
337
347
356
368
Part III Tools
9.
377
|
| adam_txt |
Contents
List of Figures
List of Tables
Preface
Introduction
Part I Theoretical Foundations
1. BASIC ALGEBRAIC STRUCTURES
1
2
3
2.
1
2
3
4
5
6
3.
1
2
3
4
VI
LOGIC
4.
1
2
3
4
5
6
7
5.
1
2
3
4
5
6
7
8
9
10
11
Part II Applications
6.
1
2
3
4
5
7.
1
2
3
4
101
101
104
112
115
122
127
134
143
144
146
148
155
162
163
170
181
188
191
193
209
209
221
232
246
252
265
265
279
293
326
Contents
vn
FINITE-STATE MACHINES
1
2
3
4
337
337
347
356
368
Part III Tools
9.
377 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Posthoff, Christian 1943- Steinbach, Bernd 1952- |
| author_GND | (DE-588)1050601068 (DE-588)1046903934 |
| author_facet | Posthoff, Christian 1943- Steinbach, Bernd 1952- |
| author_role | aut aut |
| author_sort | Posthoff, Christian 1943- |
| author_variant | c p cp b s bs |
| building | Verbundindex |
| bvnumber | BV022222671 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63 |
| callnumber-search | QA76.9.L63 |
| callnumber-sort | QA 276.9 L63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 120 |
| ctrlnum | (OCoLC)58792778 (DE-599)BVBBV022222671 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02141nam a2200541 c 4500</leader><controlfield tag="001">BV022222671</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141007 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070111s2004 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402029373</subfield><subfield code="9">1-4020-2937-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402029381</subfield><subfield code="9">1-4020-2938-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441952615</subfield><subfield code="c">softcover</subfield><subfield code="9">978-1-4419-5261-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)58792778</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022222671</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-384</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22</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">Posthoff, Christian</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1050601068</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic functions and equations</subfield><subfield code="b">binary models for computer science</subfield><subfield code="c">by Christian Posthoff and Bernd Steinbach</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIX, 392 S.</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="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Binary system (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Gleichung</subfield><subfield code="0">(DE-588)4146282-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Boolesche Gleichung</subfield><subfield code="0">(DE-588)4146282-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steinbach, Bernd</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1046903934</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4020-2938-7</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</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=015433862&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015433862</subfield></datafield></record></collection> |
| id | DE-604.BV022222671 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:29:45Z |
| indexdate | 2024-07-09T20:52:43Z |
| institution | BVB |
| isbn | 1402029373 1402029381 9781441952615 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015433862 |
| oclc_num | 58792778 |
| open_access_boolean | |
| owner | DE-384 DE-29T |
| owner_facet | DE-384 DE-29T |
| physical | XXIX, 392 S. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| spelling | Posthoff, Christian 1943- Verfasser (DE-588)1050601068 aut Logic functions and equations binary models for computer science by Christian Posthoff and Bernd Steinbach Dordrecht Springer 2004 XXIX, 392 S. txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Informatik Mathematik Binary system (Mathematics) Computer logic Computer science Mathematics Logic, Symbolic and mathematical Boolesche Funktion (DE-588)4146281-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Boolesche Gleichung (DE-588)4146282-8 gnd rswk-swf Informatik (DE-588)4026894-9 s Boolesche Funktion (DE-588)4146281-6 s DE-604 Boolesche Gleichung (DE-588)4146282-8 s Steinbach, Bernd 1952- Verfasser (DE-588)1046903934 aut Erscheint auch als Online-Ausgabe 978-1-4020-2938-7 Digitalisierung UB Augsburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015433862&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Posthoff, Christian 1943- Steinbach, Bernd 1952- Logic functions and equations binary models for computer science Informatik Mathematik Binary system (Mathematics) Computer logic Computer science Mathematics Logic, Symbolic and mathematical Boolesche Funktion (DE-588)4146281-6 gnd Informatik (DE-588)4026894-9 gnd Boolesche Gleichung (DE-588)4146282-8 gnd |
| subject_GND | (DE-588)4146281-6 (DE-588)4026894-9 (DE-588)4146282-8 |
| title | Logic functions and equations binary models for computer science |
| title_auth | Logic functions and equations binary models for computer science |
| title_exact_search | Logic functions and equations binary models for computer science |
| title_exact_search_txtP | Logic functions and equations binary models for computer science |
| title_full | Logic functions and equations binary models for computer science by Christian Posthoff and Bernd Steinbach |
| title_fullStr | Logic functions and equations binary models for computer science by Christian Posthoff and Bernd Steinbach |
| title_full_unstemmed | Logic functions and equations binary models for computer science by Christian Posthoff and Bernd Steinbach |
| title_short | Logic functions and equations |
| title_sort | logic functions and equations binary models for computer science |
| title_sub | binary models for computer science |
| topic | Informatik Mathematik Binary system (Mathematics) Computer logic Computer science Mathematics Logic, Symbolic and mathematical Boolesche Funktion (DE-588)4146281-6 gnd Informatik (DE-588)4026894-9 gnd Boolesche Gleichung (DE-588)4146282-8 gnd |
| topic_facet | Informatik Mathematik Binary system (Mathematics) Computer logic Computer science Mathematics Logic, Symbolic and mathematical Boolesche Funktion Boolesche Gleichung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015433862&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT posthoffchristian logicfunctionsandequationsbinarymodelsforcomputerscience AT steinbachbernd logicfunctionsandequationsbinarymodelsforcomputerscience |