Sets, logic and maths for computing:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2020]
|
| Ausgabe: | third edition |
| Schriftenreihe: | Undergraduate topics in computer science
|
| Schlagworte: | |
| Beschreibung: | xviii, 398 Seiten Diagramme |
| ISBN: | 9783030422172 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048381165 | ||
| 003 | DE-604 | ||
| 005 | 20231129 | ||
| 007 | t | ||
| 008 | 220728s2020 |||| |||| 00||| eng d | ||
| 020 | |a 9783030422172 |c pbk |9 978-3-030-42217-2 | ||
| 035 | |a (OCoLC)1190701060 | ||
| 035 | |a (DE-599)BVBBV048381165 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a 03-01 |2 msc/2020 | ||
| 084 | |a 00A06 |2 msc/2020 | ||
| 084 | |a 68-01 |2 msc/2020 | ||
| 100 | 1 | |a Makinson, David |d 1941- |0 (DE-588)1027090710 |4 aut | |
| 245 | 1 | 0 | |a Sets, logic and maths for computing |c David Makinson |
| 250 | |a third edition | ||
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 264 | 4 | |c © 2020 | |
| 300 | |a xviii, 398 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Undergraduate topics in computer science | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Computational Science and Engineering | |
| 650 | 4 | |a Discrete Mathematics | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer mathematics | |
| 650 | 4 | |a Discrete mathematics | |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kombinatorik |0 (DE-588)4031824-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 2 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 1 | 2 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-42218-9 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033760013 | ||
Datensatz im Suchindex
| _version_ | 1804184262166970368 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Makinson, David 1941- |
| author_GND | (DE-588)1027090710 |
| author_facet | Makinson, David 1941- |
| author_role | aut |
| author_sort | Makinson, David 1941- |
| author_variant | d m dm |
| building | Verbundindex |
| bvnumber | BV048381165 |
| classification_rvk | ST 120 |
| ctrlnum | (OCoLC)1190701060 (DE-599)BVBBV048381165 |
| 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 |
| edition | third edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02234nam a2200637 c 4500</leader><controlfield tag="001">BV048381165</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231129 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">220728s2020 |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030422172</subfield><subfield code="c">pbk</subfield><subfield code="9">978-3-030-42217-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1190701060</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048381165</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-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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="084" ind1=" " ind2=" "><subfield code="a">03-01</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">00A06</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-01</subfield><subfield code="2">msc/2020</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Makinson, David</subfield><subfield code="d">1941-</subfield><subfield code="0">(DE-588)1027090710</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sets, logic and maths for computing</subfield><subfield code="c">David Makinson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">third edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xviii, 398 Seiten</subfield><subfield code="b">Diagramme</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="0" ind2=" "><subfield code="a">Undergraduate topics in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in 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">Computational Science and Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics</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">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete mathematics</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">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">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="650" ind1="0" ind2="7"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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="0" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="2"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</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-3-030-42218-9</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033760013</subfield></datafield></record></collection> |
| id | DE-604.BV048381165 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T20:18:48Z |
| indexdate | 2024-07-10T09:36:32Z |
| institution | BVB |
| isbn | 9783030422172 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033760013 |
| oclc_num | 1190701060 |
| open_access_boolean | |
| owner | DE-11 DE-83 |
| owner_facet | DE-11 DE-83 |
| physical | xviii, 398 Seiten Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series2 | Undergraduate topics in computer science |
| spelling | Makinson, David 1941- (DE-588)1027090710 aut Sets, logic and maths for computing David Makinson third edition Cham Springer [2020] © 2020 xviii, 398 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Undergraduate topics in computer science Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Computational Science and Engineering Discrete Mathematics Mathematical Logic and Foundations Computer science—Mathematics Mathematical logic Computer mathematics Discrete mathematics Mengenlehre (DE-588)4074715-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf Kombinatorik (DE-588)4031824-2 gnd rswk-swf Diskrete Mathematik (DE-588)4129143-8 s Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s DE-604 Logik (DE-588)4036202-4 s Mengenlehre (DE-588)4074715-3 s Kombinatorik (DE-588)4031824-2 s Erscheint auch als Online-Ausgabe 978-3-030-42218-9 |
| spellingShingle | Makinson, David 1941- Sets, logic and maths for computing Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Computational Science and Engineering Discrete Mathematics Mathematical Logic and Foundations Computer science—Mathematics Mathematical logic Computer mathematics Discrete mathematics Mengenlehre (DE-588)4074715-3 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Diskrete Mathematik (DE-588)4129143-8 gnd Kombinatorik (DE-588)4031824-2 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)4037951-6 (DE-588)4129143-8 (DE-588)4031824-2 |
| title | Sets, logic and maths for computing |
| title_auth | Sets, logic and maths for computing |
| title_exact_search | Sets, logic and maths for computing |
| title_exact_search_txtP | Sets, logic and maths for computing |
| title_full | Sets, logic and maths for computing David Makinson |
| title_fullStr | Sets, logic and maths for computing David Makinson |
| title_full_unstemmed | Sets, logic and maths for computing David Makinson |
| title_short | Sets, logic and maths for computing |
| title_sort | sets logic and maths for computing |
| topic | Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Computational Science and Engineering Discrete Mathematics Mathematical Logic and Foundations Computer science—Mathematics Mathematical logic Computer mathematics Discrete mathematics Mengenlehre (DE-588)4074715-3 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Diskrete Mathematik (DE-588)4129143-8 gnd Kombinatorik (DE-588)4031824-2 gnd |
| topic_facet | Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Computational Science and Engineering Discrete Mathematics Mathematical Logic and Foundations Computer science—Mathematics Mathematical logic Computer mathematics Discrete mathematics Mengenlehre Logik Informatik Mathematische Logik Diskrete Mathematik Kombinatorik |
| work_keys_str_mv | AT makinsondavid setslogicandmathsforcomputing |