Universal algebra and applications in theoretical computer science:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Boca Raton [u.a.]
Chapman & Hall
2002
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009700389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XII, 383 S. graph. Darst. |
| ISBN: | 1584882549 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV014154210 | ||
| 003 | DE-604 | ||
| 005 | 20200410 | ||
| 007 | t| | ||
| 008 | 020215s2002 xx d||| |||| 00||| eng d | ||
| 020 | |a 1584882549 |9 1-58488-254-9 | ||
| 035 | |a (OCoLC)48256503 | ||
| 035 | |a (DE-599)BVBBV014154210 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29T |a DE-703 |a DE-634 |a DE-526 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA251 | |
| 082 | 0 | |a 512 |2 21 | |
| 084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
| 084 | |a SK 200 |0 (DE-625)143223: |2 rvk | ||
| 100 | 1 | |a Denecke, Klaus |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Universal algebra and applications in theoretical computer science |c Klaus Denecke ; Shelly L. Wismath |
| 264 | 1 | |a Boca Raton [u.a.] |b Chapman & Hall |c 2002 | |
| 300 | |a XII, 383 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Algèbre universelle | |
| 650 | 4 | |a Informatique - Mathématiques | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Algebra, Universal | |
| 650 | 4 | |a Computer science |x Mathematics | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Universelle Algebra |0 (DE-588)4061777-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Universelle Algebra |0 (DE-588)4061777-4 |D s |
| 689 | 0 | 1 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wismath, S. L. |e Verfasser |4 aut | |
| 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=009700389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009700389 | |
Datensatz im Suchindex
| _version_ | 1819274167474716672 |
|---|---|
| adam_text | UNIVERSAL ALGEBRA AND APPLICATIONS IN THEORETICAL COMPUTER SCIENCE KLAUS
DENECKE SHELLY L. WISMATH CHAPMAN & HALL/CRC A CRC PRESS COMPANY BOCA
RATON LONDON NEW YORK WASHINGTON, D.C. CONTENTS INTRODUCTION V BASIC
CONCEPTS 1 1.1 ALGEBRAS 1 1.2 EXAMPLES 4 1.3 SUBALGEBRAS 13 1.4
CONGRUENCE RELATIONS AND QUOTIENTS 21 1.5 EXERCISES 27 GALOIS
CONNECTIONS AND CLOSURES 31 2.1 CLOSURE OPERATORS 32 2.2 GALOIS
CONNECTIONS 37 2.3 CONCEPT ANALYSIS 42 2.4 EXERCISES 44 HOMOMORPHISMS
AND ISOMORPHISMS 47 3.1 THE HOMOMORPHISM THEOREM 49 3.2 THE ISOMORPHISM
THEOREMS 58 3.3 EXERCISES 61 DIRECT AND SUBDIRECT PRODUCTS 63 4.1 DIRECT
PRODUCTS 63 4.2 SUBDIRECT PRODUCTS 68 4.3 EXERCISES 72 TERMS, TREES, AND
POLYNOMIALS 75 5.1 TERMS AND TREES 76 5.2 TERM OPERATIONS 82 5.3
POLYNOMIALS AND POLYNOMIAL OPERATIONS 85 IX 5.4 EXERCISES 88 6
IDENTITIES AND VARIETIES 91 6.1 THE GALOIS CONNECTION (ID, MOD) 91 6.2
FULLY INVARIANT CONGRUENCE RELATIONS 95 6.3 THE ALGEBRAIC CONSEQUENCE
RELATION 97 6.4 RELATIVELY FREE ALGEBRAS 98 6.5 VARIETIES 101 6.6 THE
LATTICE OF ALL VARIETIES 109 6.7 FINITE AXIOMATIZABILITY 110 6.8
EXERCISES 113 7 TERM REWRITING SYSTEMS 115 7.1 CONFLUENCE 116 7.2
REDUCTION SYSTEMS 123 7.3 TERM REWRITING 129 7.4 TERMINATION OF TERM
REWRITING SYSTEMS 141 7.5 EXERCISES 145 8 ALGEBRAIC MACHINES 147 8.1
REGULAR LANGUAGES 148 8.2 FINITE AUTOMATA 150 8.3 ALGEBRAIC OPERATIONS
ON FINITE AUTOMATA 159 8.4 TREE RECOGNIZERS 165 8.5 REGULAR TREE
GRAMMARS 169 8.6 OPERATIONS ON TREE LANGUAGES 174 8.7 MINIMAL TREE
RECOGNIZERS 176 8.8 TREE TRANSDUCERS 182 8.9 TURING MACHINES 185 8.10
UNDECIDABLE PROBLEMS 187 8.11 EXERCISES 191 9 MAL CEV-TYPE CONDITIONS
193 9.1 CONGRUENCE PERMUTABILITY 193 9.2 CONGRUENCE DISTRIBUTIVITY 195
9.3 ARITHMETICAL VARIETIES 201 9.4 N-MODULARITY AND N-PERMUTABILITY 203
9.5 CONGRUENCE REGULAR VARIETIES 205 9.6 TWO-ELEMENT ALGEBRAS 206 XI 9.7
EXERCISES 213 10 CLONES AND COMPLETENESS 215 10.1 CLONES AS ALGEBRAIC
STRUCTURES 215 10.2 OPERATIONS AND RELATIONS 217 10.3 THE LATTICE OF ALL
BOOLEAN CLONES 219 10.4 THE FUNCTIONAL COMPLETENESS PROBLEM 228 10.5
PRIMAL ALGEBRAS 231 10.6 DIFFERENT GENERALIZATIONS OF PRIMALITY 240 10.7
PREPRIMAL ALGEBRAS 245 10.8 EXERCISES 249 11 TAME CONGRUENCE THEORY 251
11.1 MINIMAL ALGEBRAS 251 11.2 TAME CONGRUENCE RELATIONS 262 11.3
PERMUTATION ALGEBRAS 269 11.4 THE TYPES OF MINIMAL ALGEBRAS 276 11.5
MAL CEV CONDITIONS AND OMITTING TYPES 281 11.6 RESIDUALLY SMALL
VARIETIES 286 11.7 EXERCISES 287 12 TERM CONDITION AND COMMUTATOR 289
12.1 THE TERM CONDITION 289 12.2 THE COMMUTATOR 293 12.3 EXERCISES 299
13 COMPLETE SUBLATTICES 301 13.1 CONJUGATE PAIRS OF CLOSURE OPERATORS
301 13.2 GALOIS CLOSED SUBRELATIONS 308 13.3 CLOSURE OPERATORS ON
COMPLETE LATTICES 316 13.4 EXERCISES 323 14 G-CLONES AND M-SOLID
VARIETIES 325 14.1 G-CLONES 325 14.2 H-CLONES 331 14.3 M-SOLID VARIETIES
334 14.4 INTERVALS IN THE LATTICE (R) 342 14.5 EXERCISES 345 XLL 15
HYPERSUBSTITUTIONS AND MACHINES 347 15.1 THE HYPERUNIFICATION PROBLEM
347 15.2 HYPER TREE RECOGNIZERS 349 15.3 TREE TRANSFORMATIONS 357 15.4
EXERCISES 361 BIBLIOGRAPHY 363 INDEX 373
|
| any_adam_object | 1 |
| author | Denecke, Klaus Wismath, S. L. |
| author_facet | Denecke, Klaus Wismath, S. L. |
| author_role | aut aut |
| author_sort | Denecke, Klaus |
| author_variant | k d kd s l w sl slw |
| building | Verbundindex |
| bvnumber | BV014154210 |
| callnumber-first | Q - Science |
| callnumber-label | QA251 |
| callnumber-raw | QA251 |
| callnumber-search | QA251 |
| callnumber-sort | QA 3251 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 320 SK 200 |
| ctrlnum | (OCoLC)48256503 (DE-599)BVBBV014154210 |
| dewey-full | 512 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512 |
| dewey-search | 512 |
| dewey-sort | 3512 |
| 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>01745nam a2200457 c 4500</leader><controlfield tag="001">BV014154210</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200410 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020215s2002 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1584882549</subfield><subfield code="9">1-58488-254-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48256503</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014154210</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-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA251</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 320</subfield><subfield code="0">(DE-625)143231:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 200</subfield><subfield code="0">(DE-625)143223:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Denecke, Klaus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Universal algebra and applications in theoretical computer science</subfield><subfield code="c">Klaus Denecke ; Shelly L. Wismath</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton [u.a.]</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 383 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=" " ind2="4"><subfield code="a">Algèbre universelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Mathématiques</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">Algebra, Universal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Universelle Algebra</subfield><subfield code="0">(DE-588)4061777-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Universelle Algebra</subfield><subfield code="0">(DE-588)4061777-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Wismath, S. L.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=009700389&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-009700389</subfield></datafield></record></collection> |
| id | DE-604.BV014154210 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T11:00:16Z |
| institution | BVB |
| isbn | 1584882549 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009700389 |
| oclc_num | 48256503 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-703 DE-634 DE-526 DE-11 DE-188 |
| owner_facet | DE-739 DE-29T DE-703 DE-634 DE-526 DE-11 DE-188 |
| physical | XII, 383 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Chapman & Hall |
| record_format | marc |
| spellingShingle | Denecke, Klaus Wismath, S. L. Universal algebra and applications in theoretical computer science Algèbre universelle Informatique - Mathématiques Informatik Mathematik Algebra, Universal Computer science Mathematics Theoretische Informatik (DE-588)4196735-5 gnd Universelle Algebra (DE-588)4061777-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4061777-4 |
| title | Universal algebra and applications in theoretical computer science |
| title_auth | Universal algebra and applications in theoretical computer science |
| title_exact_search | Universal algebra and applications in theoretical computer science |
| title_full | Universal algebra and applications in theoretical computer science Klaus Denecke ; Shelly L. Wismath |
| title_fullStr | Universal algebra and applications in theoretical computer science Klaus Denecke ; Shelly L. Wismath |
| title_full_unstemmed | Universal algebra and applications in theoretical computer science Klaus Denecke ; Shelly L. Wismath |
| title_short | Universal algebra and applications in theoretical computer science |
| title_sort | universal algebra and applications in theoretical computer science |
| topic | Algèbre universelle Informatique - Mathématiques Informatik Mathematik Algebra, Universal Computer science Mathematics Theoretische Informatik (DE-588)4196735-5 gnd Universelle Algebra (DE-588)4061777-4 gnd |
| topic_facet | Algèbre universelle Informatique - Mathématiques Informatik Mathematik Algebra, Universal Computer science Mathematics Theoretische Informatik Universelle Algebra |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009700389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT deneckeklaus universalalgebraandapplicationsintheoreticalcomputerscience AT wismathsl universalalgebraandapplicationsintheoreticalcomputerscience |