Problems and exercises in discrete mathematics:
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | English Russian |
Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
1996
|
Schriftenreihe: | Kluwer texts in the mathematical sciences
14 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XI, 422 S. |
ISBN: | 0792340361 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV011049836 | ||
003 | DE-604 | ||
005 | 19970108 | ||
007 | t | ||
008 | 961111s1996 |||| 00||| engod | ||
020 | |a 0792340361 |9 0-7923-4036-1 | ||
035 | |a (OCoLC)34474419 | ||
035 | |a (DE-599)BVBBV011049836 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 1 | |a eng |h rus | |
049 | |a DE-12 |a DE-91 |a DE-634 | ||
050 | 0 | |a QA43 | |
082 | 0 | |a 511/.076 |2 20 | |
084 | |a MAT 050f |2 stub | ||
100 | 1 | |a Gavrilov, Garij Petrovič |d 1935-1999 |e Verfasser |0 (DE-588)172093252 |4 aut | |
245 | 1 | 0 | |a Problems and exercises in discrete mathematics |c by G. P. Gavrilov and A. A. Sapozhenko |
264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 1996 | |
300 | |a XI, 422 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Kluwer texts in the mathematical sciences |v 14 | |
650 | 7 | |a Mathématiques - Problèmes et exercices |2 ram | |
650 | 4 | |a Informatik | |
650 | 4 | |a Mathematik | |
650 | 4 | |a Computer science |x Mathematics |v Problems, exercises, etc | |
650 | 4 | |a Mathematics |v Problems, exercises, etc | |
650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143389-0 |a Aufgabensammlung |2 gnd-content | |
689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Sapoženko, A. A. |e Verfasser |4 aut | |
830 | 0 | |a Kluwer texts in the mathematical sciences |v 14 |w (DE-604)BV005450041 |9 14 | |
856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007400266&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
940 | 1 | |n oe | |
999 | |a oai:aleph.bib-bvb.de:BVB01-007400266 |
Datensatz im Suchindex
_version_ | 1804125539592568832 |
---|---|
adam_text | Contents
Preface ix
I PROBLEMS 1
1 Representations of Boolean Functions 3
1.1 Tabular Representations 3
1.2 Formulas 8
1.3 Disjunctive and Conjunctive Normal Forms 20
1.4 Polynomials 25
1.5 Essential and Unessential Variables 30
2 Closed Classes and Completeness in Boolean Algebra 38
2.1 Closure Operation 38
2.2 Self Dual Functions 43
2.3 Linear Functions 47
2.4 Functions Preserving the Constants 52
2.5 Monotone Functions 55
2.6 Completeness and Closed Classes 60
3 Many Valued Logics 66
3.1 Formulas of A Valued Logics 66
3.2 Closed Classes and Completeness in ^ valued logic 71
4 Graphs and Networks 81
4.1 Basic Concepts of Graph Theory 81
4.2 Planarity, Connectivity, and Numerical Characteristics of Graphs . . 88
4.3 Directed Graphs 93
4.4 Trees and Bipolar Networks 98
5 Elements of Coding Theory 110
5.1 Hamming s Distance 110
5.2 Hamming s Codes 113
5.3 Linear Codes 118
5.4 Alphabetic Code Divisibility 122
5.5 Optimal Codes 127
6 Finite Automata 134
6.1 Determined and Boundedly Determined Functions 134
6.2 Diagrams, Equations, and Circuits 148
v
vi CONTENTS
6.3 Closed Classes and Completeness in Automata 182
7 Elements of Algorithm Theory 188
7.1 Turing Machines 188
7.2 Recursive Functions 202
7.3 Computability 209
8 Combinatorics 214
8.1 Permutations and Combinations 214
8.2 Inclusion and Exclusion Formula 224
8.3 Recurrences and Generating Functions 228
8.4 Polya s Theory 236
8.5 Asymptotics and Inequalities 240
8.6 Estimates in Graph Theory 248
9 Boolean Minimization 254
9.1 Faces of the n cube. Covers and tests for tables 254
9.2 Constructing of the Reduced Disjunctive Normal Form Methods . . . 260
9.3 Irredundant, Minimal, and Shortest DNFs 266
10 Logical Design 273
10.1 Circuits of Logical Elements 273
10.2 Contact Circuits 280
11 ANSWERS, HINTS, SOLUTIONS 295
1 Representations of Boolean Functions 297
1.1 Tabular Representations 297
1.2 Formulas 297
1.3 Disjunctive and Conjunctive Normal Forms 299
1.4 Polynomials 299
1.5 Essential and Unessential Variables 300
2 Closed Classes and Completeness in Boolean Algebra 303
2.1 Closure Operation 303
2.2 Self Dual Functions 305
2.3 Linear Functions 306
2.4 Functions Preserving the Constants 307
2.5 Monotone Functions 309
2.6 Completeness and Closed Classes 311
3 Many Valued Logics 313
3.1 Formulas of k Valued Logics 313
3.2 Closed Classes and Completeness in A Valued logic 315
CONTENTS vii
4 Graphs and Networks 325
4.1 Basic Concepts of Graph Theory 325
4.2 Planarity, Connectivity, and Numerical Characteristics of Graphs . . 326
4.3 Directed Graphs 327
4.4 Trees and Bipolar Networks 328
5 Elements of Coding Theory 329
5.1 Hamming s Distance 329
5.2 Hamming s Codes 331
5.3 Linear Codes 333
5.4 Alphabetic Code Divisibility 335
5.5 Optimal Codes 337
6 Finite Automata 339
6.1 Determined and Boundedly Determined Functions 339
6.2 Diagrams, Equations, and Circuits 341
6.3 Closed Classes and Completeness in Automata 345
7 Elements of Algorithm Theory 348
7.1 Turing Machines 348
7.2 Recursive Functions 349
7.3 Computability 351
8 Combinatorics 353
8.1 Permutations and Combinations 353
8.2 Inclusion and Exclusion Formula 363
8.3 Recurrences and Generating Functions 368
8.4 Polya s Theory 379
8.5 Asymptotics and Inequalities 383
8.6 Estimates in Graph Theory 401
9 Boolean Minimization 403
9.1 Faces of the rc cube. Covers and tests for tables 403
9.2 Constructing of the Reduced DNF Methods 406
9.3 Irredundant, Minimal, and Shortest DNFs 408
10 Logical Design 409
10.1 Circuits of Logical Elements 409
10.2 Contact Circuits 410
Bibliography 415
Index 419
|
any_adam_object | 1 |
author | Gavrilov, Garij Petrovič 1935-1999 Sapoženko, A. A. |
author_GND | (DE-588)172093252 |
author_facet | Gavrilov, Garij Petrovič 1935-1999 Sapoženko, A. A. |
author_role | aut aut |
author_sort | Gavrilov, Garij Petrovič 1935-1999 |
author_variant | g p g gp gpg a a s aa aas |
building | Verbundindex |
bvnumber | BV011049836 |
callnumber-first | Q - Science |
callnumber-label | QA43 |
callnumber-raw | QA43 |
callnumber-search | QA43 |
callnumber-sort | QA 243 |
callnumber-subject | QA - Mathematics |
classification_tum | MAT 050f |
ctrlnum | (OCoLC)34474419 (DE-599)BVBBV011049836 |
dewey-full | 511/.076 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511/.076 |
dewey-search | 511/.076 |
dewey-sort | 3511 276 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01787nam a2200457 cb4500</leader><controlfield tag="001">BV011049836</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970108 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961111s1996 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792340361</subfield><subfield code="9">0-7923-4036-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34474419</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011049836</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">rus</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA43</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.076</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 050f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gavrilov, Garij Petrovič</subfield><subfield code="d">1935-1999</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172093252</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Problems and exercises in discrete mathematics</subfield><subfield code="c">by G. P. Gavrilov and A. A. Sapozhenko</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 422 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="490" ind1="1" ind2=" "><subfield code="a">Kluwer texts in the mathematical sciences</subfield><subfield code="v">14</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathématiques - Problèmes et exercices</subfield><subfield code="2">ram</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">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Problems, exercises, etc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="v">Problems, exercises, etc</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143389-0</subfield><subfield code="a">Aufgabensammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sapoženko, A. A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Kluwer texts in the mathematical sciences</subfield><subfield code="v">14</subfield><subfield code="w">(DE-604)BV005450041</subfield><subfield code="9">14</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=007400266&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007400266</subfield></datafield></record></collection> |
genre | (DE-588)4143389-0 Aufgabensammlung gnd-content |
genre_facet | Aufgabensammlung |
id | DE-604.BV011049836 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T18:03:10Z |
institution | BVB |
isbn | 0792340361 |
language | English Russian |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007400266 |
oclc_num | 34474419 |
open_access_boolean | |
owner | DE-12 DE-91 DE-BY-TUM DE-634 |
owner_facet | DE-12 DE-91 DE-BY-TUM DE-634 |
physical | XI, 422 S. |
publishDate | 1996 |
publishDateSearch | 1996 |
publishDateSort | 1996 |
publisher | Kluwer |
record_format | marc |
series | Kluwer texts in the mathematical sciences |
series2 | Kluwer texts in the mathematical sciences |
spelling | Gavrilov, Garij Petrovič 1935-1999 Verfasser (DE-588)172093252 aut Problems and exercises in discrete mathematics by G. P. Gavrilov and A. A. Sapozhenko Dordrecht [u.a.] Kluwer 1996 XI, 422 S. txt rdacontent n rdamedia nc rdacarrier Kluwer texts in the mathematical sciences 14 Mathématiques - Problèmes et exercices ram Informatik Mathematik Computer science Mathematics Problems, exercises, etc Mathematics Problems, exercises, etc Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf (DE-588)4143389-0 Aufgabensammlung gnd-content Diskrete Mathematik (DE-588)4129143-8 s DE-604 Sapoženko, A. A. Verfasser aut Kluwer texts in the mathematical sciences 14 (DE-604)BV005450041 14 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007400266&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Gavrilov, Garij Petrovič 1935-1999 Sapoženko, A. A. Problems and exercises in discrete mathematics Kluwer texts in the mathematical sciences Mathématiques - Problèmes et exercices ram Informatik Mathematik Computer science Mathematics Problems, exercises, etc Mathematics Problems, exercises, etc Diskrete Mathematik (DE-588)4129143-8 gnd |
subject_GND | (DE-588)4129143-8 (DE-588)4143389-0 |
title | Problems and exercises in discrete mathematics |
title_auth | Problems and exercises in discrete mathematics |
title_exact_search | Problems and exercises in discrete mathematics |
title_full | Problems and exercises in discrete mathematics by G. P. Gavrilov and A. A. Sapozhenko |
title_fullStr | Problems and exercises in discrete mathematics by G. P. Gavrilov and A. A. Sapozhenko |
title_full_unstemmed | Problems and exercises in discrete mathematics by G. P. Gavrilov and A. A. Sapozhenko |
title_short | Problems and exercises in discrete mathematics |
title_sort | problems and exercises in discrete mathematics |
topic | Mathématiques - Problèmes et exercices ram Informatik Mathematik Computer science Mathematics Problems, exercises, etc Mathematics Problems, exercises, etc Diskrete Mathematik (DE-588)4129143-8 gnd |
topic_facet | Mathématiques - Problèmes et exercices Informatik Mathematik Computer science Mathematics Problems, exercises, etc Mathematics Problems, exercises, etc Diskrete Mathematik Aufgabensammlung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007400266&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV005450041 |
work_keys_str_mv | AT gavrilovgarijpetrovic problemsandexercisesindiscretemathematics AT sapozenkoaa problemsandexercisesindiscretemathematics |