Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
2015
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHM01 FHN01 FKE01 FLA01 FRO01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XX, 719 Seiten) 124 Illustrationen (farbig) |
| ISBN: | 9783319227504 |
| DOI: | 10.1007/978-3-319-22750-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043209029 | ||
| 003 | DE-604 | ||
| 005 | 20160708 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319227504 |c Online |9 978-3-319-22750-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-22750-4 |2 doi | |
| 035 | |a (OCoLC)932037971 | ||
| 035 | |a (DE-599)BVBBV043209029 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-19 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-739 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 100 | 1 | |a Doberkat, Ernst-Erich |d 1948- |e Verfasser |0 (DE-588)12244728X |4 aut | |
| 245 | 1 | 0 | |a Special Topics in Mathematics for Computer Scientists |b Sets, Categories, Topologies and Measures |c by Ernst-Erich Doberkat |
| 264 | 1 | |a Cham |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XX, 719 Seiten) |b 124 Illustrationen (farbig) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Category theory (Mathematics) | |
| 650 | 4 | |a Homological algebra | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Category Theory, Homological Algebra | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Topologie |0 (DE-588)4060425-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Maßtheorie |0 (DE-588)4074626-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Stochastischer Prozess |0 (DE-588)4057630-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 2 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 1 | 3 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 1 | 4 | |a Topologie |0 (DE-588)4060425-1 |D s |
| 689 | 1 | 5 | |a Maßtheorie |0 (DE-588)4074626-4 |D s |
| 689 | 1 | 6 | |a Stochastischer Prozess |0 (DE-588)4057630-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-22749-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-22750-4 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632190&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632190&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632190 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l FHI01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l FKE01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l FLA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l FRO01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22750-4 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175707321925632 |
|---|---|
| adam_text | SPECIAL TOPICS IN MATHEMATICS FOR COMPUTER SCIENTISTS
/ DOBERKAT, ERNST-ERICH
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE.-1 THE AXIOM OF CHOICE AND SOME OF ITS EQUIVALENTS
2 CATEGORIES.-3 TOPOLOGICAL SPACES.-4 MEASURES FOR PROBABILISTIC
SYSTEMS
LIST OF EXAMPLES
REFERENCES
INDEX
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
SPECIAL TOPICS IN MATHEMATICS FOR COMPUTER SCIENTISTS
/ DOBERKAT, ERNST-ERICH
: 2015
ABSTRACT / INHALTSTEXT
THIS TEXTBOOK ADDRESSES THE MATHEMATICAL DESCRIPTION OF SETS,
CATEGORIES, TOPOLOGIES AND MEASURES, AS PART OF THE BASIS FOR ADVANCED
AREAS IN THEORETICAL COMPUTER SCIENCE LIKE SEMANTICS, PROGRAMMING
LANGUAGES, PROBABILISTIC PROCESS ALGEBRAS, MODAL AND DYNAMIC LOGICS AND
MARKOV TRANSITION SYSTEMS. USING MOTIVATIONS, RIGOROUS DEFINITIONS,
PROOFS AND VARIOUS EXAMPLES, THE AUTHOR SYSTEMATICALLY INTRODUCES THE
AXIOM OF CHOICE, EXPLAINS BANACH-MAZUR GAMES AND THE AXIOM OF
DETERMINACY, DISCUSSES THE BASIC CONSTRUCTIONS OF SETS AND THE INTERPLAY
OF COALGEBRAS AND KRIPKE MODELS FOR MODAL LOGICS WITH AN EMPHASIS ON
KLEISLI CATEGORIES, MONADS AND PROBABILISTIC SYSTEMS. THE TEXT FURTHER
SHOWS VARIOUS WAYS OF DEFINING TOPOLOGIES, BUILDING ON SELECTED TOPICS
LIKE UNIFORM SPACES, GOEDEL’S COMPLETENESS THEOREM AND TOPOLOGICAL
SYSTEMS. FINALLY, MEASURABILITY, GENERAL INTEGRATION, BOREL SETS AND
MEASURES ON POLISH SPACES, AS WELL AS THE COALGEBRAIC SIDE OF MARKOV
TRANSITION KERNELS ALONG WITH APPLICATIONS TO PROBABILISTIC
INTERPRETATIONS OF MODAL LOGICS ARE PRESENTED. SPECIAL EMPHASIS IS GIVEN
TO THE INTEGRATION OF (CO-)ALGEBRAIC AND MEASURE-THEORETIC STRUCTURES, A
FAIRLY NEW AND EXCITING FIELD, WHICH IS DEMONSTRATED THROUGH THE
INTERPRETATION OF GAME LOGICS. READERS FAMILIAR WITH BASIC MATHEMATICAL
STRUCTURES LIKE GROUPS, BOOLEAN ALGEBRAS AND ELEMENTARY CALCULUS
INCLUDING MATHEMATICAL INDUCTION WILL DISCOVER A WEALTH OF USEFUL
RESEARCH TOOLS. THROUGHOUT THE BOOK, EXERCISES OFFER ADDITIONAL
INFORMATION, AND CASE STUDIES GIVE EXAMPLES OF HOW THE TECHNIQUES CAN BE
APPLIED IN DIVERSE AREAS OF THEORETICAL COMPUTER SCIENCE AND LOGICS.
REFERENCES TO THE RELEVANT MATHEMATICAL LITERATURE ENABLE THE READER TO
FIND THE ORIGINAL WORKS AND CLASSICAL TREATISES, WHILE THE BIBLIOGRAPHIC
NOTES AT THE END OF EACH CHAPTER PROVIDE FURTHER INSIGHTS AND
DISCUSSIONS OF ALTERNATIVE APPROACHES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Doberkat, Ernst-Erich 1948- |
| author_GND | (DE-588)12244728X |
| author_facet | Doberkat, Ernst-Erich 1948- |
| author_role | aut |
| author_sort | Doberkat, Ernst-Erich 1948- |
| author_variant | e e d eed |
| building | Verbundindex |
| bvnumber | BV043209029 |
| classification_rvk | ST 120 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)932037971 (DE-599)BVBBV043209029 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-22750-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04826nmm a2200901zc 4500</leader><controlfield tag="001">BV043209029</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160708 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319227504</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22750-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22750-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932037971</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209029</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</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">Doberkat, Ernst-Erich</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12244728X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Special Topics in Mathematics for Computer Scientists</subfield><subfield code="b">Sets, Categories, Topologies and Measures</subfield><subfield code="c">by Ernst-Erich Doberkat</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XX, 719 Seiten)</subfield><subfield code="b">124 Illustrationen (farbig)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Category theory (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Homological algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Category Theory, Homological Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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">Maßtheorie</subfield><subfield code="0">(DE-588)4074626-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastischer Prozess</subfield><subfield code="0">(DE-588)4057630-9</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="5"><subfield code="a">Maßtheorie</subfield><subfield code="0">(DE-588)4074626-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="6"><subfield code="a">Stochastischer Prozess</subfield><subfield code="0">(DE-588)4057630-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-22749-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632190&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632190&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632190</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22750-4</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043209029 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:34Z |
| institution | BVB |
| isbn | 9783319227504 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632190 |
| oclc_num | 932037971 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739 |
| owner_facet | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739 |
| physical | 1 Online-Ressource (XX, 719 Seiten) 124 Illustrationen (farbig) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| spelling | Doberkat, Ernst-Erich 1948- Verfasser (DE-588)12244728X aut Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures by Ernst-Erich Doberkat Cham Springer 2015 1 Online-Ressource (XX, 719 Seiten) 124 Illustrationen (farbig) txt rdacontent c rdamedia cr rdacarrier Computer science Mathematical logic Category theory (Mathematics) Homological algebra Computer Science Mathematical Logic and Formal Languages Mathematical Logic and Foundations Category Theory, Homological Algebra Informatik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Topologie (DE-588)4060425-1 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Maßtheorie (DE-588)4074626-4 gnd rswk-swf Stochastischer Prozess (DE-588)4057630-9 gnd rswk-swf Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Mathematische Logik (DE-588)4037951-6 s Mengenlehre (DE-588)4074715-3 s Kategorie Mathematik (DE-588)4129930-9 s Topologie (DE-588)4060425-1 s Maßtheorie (DE-588)4074626-4 s Stochastischer Prozess (DE-588)4057630-9 s 1\p DE-604 Erscheint auch als Druckausgabe 978-3-319-22749-8 https://doi.org/10.1007/978-3-319-22750-4 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632190&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632190&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Doberkat, Ernst-Erich 1948- Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures Computer science Mathematical logic Category theory (Mathematics) Homological algebra Computer Science Mathematical Logic and Formal Languages Mathematical Logic and Foundations Category Theory, Homological Algebra Informatik Mathematische Logik (DE-588)4037951-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Topologie (DE-588)4060425-1 gnd Mathematik (DE-588)4037944-9 gnd Kategorie Mathematik (DE-588)4129930-9 gnd Mengenlehre (DE-588)4074715-3 gnd Informatik (DE-588)4026894-9 gnd Maßtheorie (DE-588)4074626-4 gnd Stochastischer Prozess (DE-588)4057630-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4196735-5 (DE-588)4060425-1 (DE-588)4037944-9 (DE-588)4129930-9 (DE-588)4074715-3 (DE-588)4026894-9 (DE-588)4074626-4 (DE-588)4057630-9 |
| title | Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures |
| title_auth | Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures |
| title_exact_search | Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures |
| title_full | Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures by Ernst-Erich Doberkat |
| title_fullStr | Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures by Ernst-Erich Doberkat |
| title_full_unstemmed | Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures by Ernst-Erich Doberkat |
| title_short | Special Topics in Mathematics for Computer Scientists |
| title_sort | special topics in mathematics for computer scientists sets categories topologies and measures |
| title_sub | Sets, Categories, Topologies and Measures |
| topic | Computer science Mathematical logic Category theory (Mathematics) Homological algebra Computer Science Mathematical Logic and Formal Languages Mathematical Logic and Foundations Category Theory, Homological Algebra Informatik Mathematische Logik (DE-588)4037951-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Topologie (DE-588)4060425-1 gnd Mathematik (DE-588)4037944-9 gnd Kategorie Mathematik (DE-588)4129930-9 gnd Mengenlehre (DE-588)4074715-3 gnd Informatik (DE-588)4026894-9 gnd Maßtheorie (DE-588)4074626-4 gnd Stochastischer Prozess (DE-588)4057630-9 gnd |
| topic_facet | Computer science Mathematical logic Category theory (Mathematics) Homological algebra Computer Science Mathematical Logic and Formal Languages Mathematical Logic and Foundations Category Theory, Homological Algebra Informatik Mathematische Logik Theoretische Informatik Topologie Mathematik Kategorie Mathematik Mengenlehre Maßtheorie Stochastischer Prozess |
| url | https://doi.org/10.1007/978-3-319-22750-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632190&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632190&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT doberkaternsterich specialtopicsinmathematicsforcomputerscientistssetscategoriestopologiesandmeasures |