Proof and computation II: from proof theory and univalent mathematics to program extraction and verification
"This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free...
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific
2021
|
| Schlagworte: | |
| Online-Zugang: | URL des Erstveröffentlichers |
| Zusammenfassung: | "This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields."-- |
| Beschreibung: | Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (424 Seiten) ill |
| ISBN: | 9789811236488 9811236488 |
| DOI: | 10.1142/12263 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047457946 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 210908s2021 |||| o||u| ||||||eng d | ||
| 020 | |a 9789811236488 |9 978-981-1236-48-8 | ||
| 020 | |a 9811236488 |9 981-1236-48-8 | ||
| 024 | 7 | |a 10.1142/12263 |2 doi | |
| 035 | |a (ZDB-124-WOP)00012263 | ||
| 035 | |a (OCoLC)1268193050 | ||
| 035 | |a (DE-599)BVBBV047457946 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 004.0151 | |
| 245 | 1 | 0 | |a Proof and computation II |b from proof theory and univalent mathematics to program extraction and verification |c editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg |
| 264 | 1 | |a Singapore |b World Scientific |c 2021 | |
| 300 | |a 1 Online-Ressource (424 Seiten) |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references | ||
| 520 | |a "This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields."-- | ||
| 650 | 4 | |a Mathematics |x Data processing | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 653 | |a Electronic books | ||
| 700 | 1 | |a Mainzer, Klaus |e Sonstige |4 oth | |
| 700 | 1 | |a Schuster, Peter |d 1966- |e Sonstige |4 oth | |
| 700 | 1 | |a Schwichtenberg, Helmut |d 1942- |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789811236471 |
| 856 | 4 | 0 | |u https://doi.org/10.1142/12263 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032859781 | ||
Datensatz im Suchindex
| _version_ | 1804182761455484928 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV047457946 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00012263 (OCoLC)1268193050 (DE-599)BVBBV047457946 |
| 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 |
| doi_str_mv | 10.1142/12263 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02149nmm a2200409zc 4500</leader><controlfield tag="001">BV047457946</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">210908s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811236488</subfield><subfield code="9">978-981-1236-48-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9811236488</subfield><subfield code="9">981-1236-48-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/12263</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00012263</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1268193050</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047457946</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="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof and computation II</subfield><subfield code="b">from proof theory and univalent mathematics to program extraction and verification</subfield><subfield code="c">editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (424 Seiten)</subfield><subfield code="b">ill</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">Includes bibliographical references</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields."--</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronic books</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mainzer, Klaus</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuster, Peter</subfield><subfield code="d">1966-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut</subfield><subfield code="d">1942-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789811236471</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1142/12263</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032859781</subfield></datafield></record></collection> |
| id | DE-604.BV047457946 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T18:05:18Z |
| indexdate | 2024-07-10T09:12:41Z |
| institution | BVB |
| isbn | 9789811236488 9811236488 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032859781 |
| oclc_num | 1268193050 |
| open_access_boolean | |
| physical | 1 Online-Ressource (424 Seiten) ill |
| psigel | ZDB-124-WOP |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Proof and computation II from proof theory and univalent mathematics to program extraction and verification editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg Singapore World Scientific 2021 1 Online-Ressource (424 Seiten) ill txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references "This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields."-- Mathematics Data processing Mathematics Philosophy Electronic books Mainzer, Klaus Sonstige oth Schuster, Peter 1966- Sonstige oth Schwichtenberg, Helmut 1942- Sonstige oth Erscheint auch als Druck-Ausgabe 9789811236471 https://doi.org/10.1142/12263 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Proof and computation II from proof theory and univalent mathematics to program extraction and verification Mathematics Data processing Mathematics Philosophy |
| title | Proof and computation II from proof theory and univalent mathematics to program extraction and verification |
| title_auth | Proof and computation II from proof theory and univalent mathematics to program extraction and verification |
| title_exact_search | Proof and computation II from proof theory and univalent mathematics to program extraction and verification |
| title_exact_search_txtP | Proof and computation II from proof theory and univalent mathematics to program extraction and verification |
| title_full | Proof and computation II from proof theory and univalent mathematics to program extraction and verification editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg |
| title_fullStr | Proof and computation II from proof theory and univalent mathematics to program extraction and verification editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg |
| title_full_unstemmed | Proof and computation II from proof theory and univalent mathematics to program extraction and verification editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg |
| title_short | Proof and computation II |
| title_sort | proof and computation ii from proof theory and univalent mathematics to program extraction and verification |
| title_sub | from proof theory and univalent mathematics to program extraction and verification |
| topic | Mathematics Data processing Mathematics Philosophy |
| topic_facet | Mathematics Data processing Mathematics Philosophy |
| url | https://doi.org/10.1142/12263 |
| work_keys_str_mv | AT mainzerklaus proofandcomputationiifromprooftheoryandunivalentmathematicstoprogramextractionandverification AT schusterpeter proofandcomputationiifromprooftheoryandunivalentmathematicstoprogramextractionandverification AT schwichtenberghelmut proofandcomputationiifromprooftheoryandunivalentmathematicstoprogramextractionandverification |