Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston, MA
Birkhäuser Boston
2002
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | This modern introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: - Why is the truth table for the logical implication so unintuitive? - Why are there no recipes to design proofs? - Where do these numerous mathematical rules come from? - What are the applications of formal logic and abstract mathematics? - What issues in logic, mathematics, and computer science still remain unresolved? Answers to such questions must necessarily present both theory and significant applications, which explains the length of the book. The text first shows how real life provides some guidance for the selection of axioms for the basis of a logical system, for instance, Boolean, classical, intuitionistic, or minimalistic logic. From such axioms, the text then derives detailed explanations of the elements of modem logic and mathematics: set theory, arithmetic, number theory, combinatorics, probability, and graph theory, with applications to computer science. The motivation for such detail, and for the organization of the material, lies in a continuous thread from logic and mathematics to their uses in everyday life |
| Beschreibung: | 1 Online-Ressource (XVI, 415 p) |
| ISBN: | 9781461201250 9781461266235 |
| DOI: | 10.1007/978-1-4612-0125-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042419445 | ||
| 003 | DE-604 | ||
| 005 | 20180115 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461201250 |c Online |9 978-1-4612-0125-0 | ||
| 020 | |a 9781461266235 |c Print |9 978-1-4612-6623-5 | ||
| 024 | 7 | |a 10.1007/978-1-4612-0125-0 |2 doi | |
| 035 | |a (OCoLC)879621362 | ||
| 035 | |a (DE-599)BVBBV042419445 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Nievergelt, Yves |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Foundations of Logic and Mathematics |b Applications to Computer Science and Cryptography |c by Yves Nievergelt |
| 264 | 1 | |a Boston, MA |b Birkhäuser Boston |c 2002 | |
| 300 | |a 1 Online-Ressource (XVI, 415 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a This modern introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: - Why is the truth table for the logical implication so unintuitive? - Why are there no recipes to design proofs? - Where do these numerous mathematical rules come from? - What are the applications of formal logic and abstract mathematics? - What issues in logic, mathematics, and computer science still remain unresolved? Answers to such questions must necessarily present both theory and significant applications, which explains the length of the book. The text first shows how real life provides some guidance for the selection of axioms for the basis of a logical system, for instance, Boolean, classical, intuitionistic, or minimalistic logic. From such axioms, the text then derives detailed explanations of the elements of modem logic and mathematics: set theory, arithmetic, number theory, combinatorics, probability, and graph theory, with applications to computer science. The motivation for such detail, and for the organization of the material, lies in a continuous thread from logic and mathematics to their uses in everyday life | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Data encryption (Computer science) | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Number theory | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Data Encryption | |
| 650 | 4 | |a Applications of Mathematics | |
| 650 | 4 | |a Number Theory | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4612-0125-0 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027854862 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153090092302336 |
|---|---|
| any_adam_object | |
| author | Nievergelt, Yves |
| author_facet | Nievergelt, Yves |
| author_role | aut |
| author_sort | Nievergelt, Yves |
| author_variant | y n yn |
| building | Verbundindex |
| bvnumber | BV042419445 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)879621362 (DE-599)BVBBV042419445 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-1-4612-0125-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02948nmm a2200505zc 4500</leader><controlfield tag="001">BV042419445</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180115 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461201250</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4612-0125-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461266235</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4612-6623-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4612-0125-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879621362</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042419445</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nievergelt, Yves</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of Logic and Mathematics</subfield><subfield code="b">Applications to Computer Science and Cryptography</subfield><subfield code="c">by Yves Nievergelt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, MA</subfield><subfield code="b">Birkhäuser Boston</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 415 p)</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="500" ind1=" " ind2=" "><subfield code="a">This modern introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: - Why is the truth table for the logical implication so unintuitive? - Why are there no recipes to design proofs? - Where do these numerous mathematical rules come from? - What are the applications of formal logic and abstract mathematics? - What issues in logic, mathematics, and computer science still remain unresolved? Answers to such questions must necessarily present both theory and significant applications, which explains the length of the book. The text first shows how real life provides some guidance for the selection of axioms for the basis of a logical system, for instance, Boolean, classical, intuitionistic, or minimalistic logic. From such axioms, the text then derives detailed explanations of the elements of modem logic and mathematics: set theory, arithmetic, number theory, combinatorics, probability, and graph theory, with applications to computer science. The motivation for such detail, and for the organization of the material, lies in a continuous thread from logic and mathematics to their uses in everyday life</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data encryption (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Number theory</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">Data Encryption</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Applications of Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Number Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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="689" ind1="0" ind2="0"><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=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4612-0125-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027854862</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></record></collection> |
| id | DE-604.BV042419445 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:04Z |
| institution | BVB |
| isbn | 9781461201250 9781461266235 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854862 |
| oclc_num | 879621362 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XVI, 415 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Birkhäuser Boston |
| record_format | marc |
| spelling | Nievergelt, Yves Verfasser aut Foundations of Logic and Mathematics Applications to Computer Science and Cryptography by Yves Nievergelt Boston, MA Birkhäuser Boston 2002 1 Online-Ressource (XVI, 415 p) txt rdacontent c rdamedia cr rdacarrier This modern introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: - Why is the truth table for the logical implication so unintuitive? - Why are there no recipes to design proofs? - Where do these numerous mathematical rules come from? - What are the applications of formal logic and abstract mathematics? - What issues in logic, mathematics, and computer science still remain unresolved? Answers to such questions must necessarily present both theory and significant applications, which explains the length of the book. The text first shows how real life provides some guidance for the selection of axioms for the basis of a logical system, for instance, Boolean, classical, intuitionistic, or minimalistic logic. From such axioms, the text then derives detailed explanations of the elements of modem logic and mathematics: set theory, arithmetic, number theory, combinatorics, probability, and graph theory, with applications to computer science. The motivation for such detail, and for the organization of the material, lies in a continuous thread from logic and mathematics to their uses in everyday life Mathematics Data encryption (Computer science) Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Data Encryption Applications of Mathematics Number Theory Mathematik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 https://doi.org/10.1007/978-1-4612-0125-0 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Nievergelt, Yves Foundations of Logic and Mathematics Applications to Computer Science and Cryptography Mathematics Data encryption (Computer science) Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Data Encryption Applications of Mathematics Number Theory Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Foundations of Logic and Mathematics Applications to Computer Science and Cryptography |
| title_auth | Foundations of Logic and Mathematics Applications to Computer Science and Cryptography |
| title_exact_search | Foundations of Logic and Mathematics Applications to Computer Science and Cryptography |
| title_full | Foundations of Logic and Mathematics Applications to Computer Science and Cryptography by Yves Nievergelt |
| title_fullStr | Foundations of Logic and Mathematics Applications to Computer Science and Cryptography by Yves Nievergelt |
| title_full_unstemmed | Foundations of Logic and Mathematics Applications to Computer Science and Cryptography by Yves Nievergelt |
| title_short | Foundations of Logic and Mathematics |
| title_sort | foundations of logic and mathematics applications to computer science and cryptography |
| title_sub | Applications to Computer Science and Cryptography |
| topic | Mathematics Data encryption (Computer science) Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Data Encryption Applications of Mathematics Number Theory Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematics Data encryption (Computer science) Logic, Symbolic and mathematical Number theory Mathematical Logic and Foundations Data Encryption Applications of Mathematics Number Theory Mathematik Mathematische Logik |
| url | https://doi.org/10.1007/978-1-4612-0125-0 |
| work_keys_str_mv | AT nievergeltyves foundationsoflogicandmathematicsapplicationstocomputerscienceandcryptography |