The little prover:
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Massachusetts
MIT Press
[2015]
|
| Schlagworte: | |
| Online-Zugang: | FHI01 Volltext |
| Zusammenfassung: | The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example |
| Beschreibung: | Includes bibliographical references (p. 217-218) and index. - Mode of access: World Wide Web |
| Beschreibung: | 1 Online-Ressource (xiii, 229 pages) |
| ISBN: | 9780262330565 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044032131 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170207s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9780262330565 |c Online |9 978-0-262-33056-5 | ||
| 035 | |a (ZDB-37-IEM)7176537 | ||
| 035 | |a (OCoLC)920784120 | ||
| 035 | |a (DE-599)BVBBV044032131 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 | ||
| 082 | 0 | |a 511.3/6028563 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 100 | 1 | |a Friedman, Daniel P. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The little prover |c Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More |
| 264 | 1 | |a Cambridge, Massachusetts |b MIT Press |c [2015] | |
| 300 | |a 1 Online-Ressource (xiii, 229 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 217-218) and index. - Mode of access: World Wide Web | ||
| 520 | |a The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example | ||
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a LISP (Computer program language) | |
| 653 | |a Electronic books | ||
| 700 | 1 | |a Eastlund, Carl |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-262-52795-8 |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-37-IEM | ||
| 940 | 1 | |q ZDB-37-IEM15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029439378 | ||
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177036040732672 |
|---|---|
| any_adam_object | |
| author | Friedman, Daniel P. Eastlund, Carl |
| author_facet | Friedman, Daniel P. Eastlund, Carl |
| author_role | aut aut |
| author_sort | Friedman, Daniel P. |
| author_variant | d p f dp dpf c e ce |
| building | Verbundindex |
| bvnumber | BV044032131 |
| classification_rvk | SK 130 ST 240 |
| collection | ZDB-37-IEM |
| ctrlnum | (ZDB-37-IEM)7176537 (OCoLC)920784120 (DE-599)BVBBV044032131 |
| dewey-full | 511.3/6028563 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/6028563 |
| dewey-search | 511.3/6028563 |
| dewey-sort | 3511.3 76028563 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02384nmm a2200433zc 4500</leader><controlfield tag="001">BV044032131</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170207s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262330565</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-262-33056-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-37-IEM)7176537</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)920784120</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044032131</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-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6028563</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Friedman, Daniel P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The little prover</subfield><subfield code="c">Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Massachusetts</subfield><subfield code="b">MIT Press</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 229 pages)</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 (p. 217-218) and index. - Mode of access: World Wide Web</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">LISP (Computer program language)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronic books</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eastlund, Carl</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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-0-262-52795-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537</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-37-IEM</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-37-IEM15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029439378</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044032131 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:41:41Z |
| institution | BVB |
| isbn | 9780262330565 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029439378 |
| oclc_num | 920784120 |
| open_access_boolean | |
| owner | DE-573 |
| owner_facet | DE-573 |
| physical | 1 Online-Ressource (xiii, 229 pages) |
| psigel | ZDB-37-IEM ZDB-37-IEM15 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Friedman, Daniel P. Verfasser aut The little prover Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More Cambridge, Massachusetts MIT Press [2015] 1 Online-Ressource (xiii, 229 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (p. 217-218) and index. - Mode of access: World Wide Web The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example Automatic theorem proving LISP (Computer program language) Electronic books Eastlund, Carl Verfasser aut Erscheint auch als Druckausgabe 978-0-262-52795-8 http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Friedman, Daniel P. Eastlund, Carl The little prover Automatic theorem proving LISP (Computer program language) |
| title | The little prover |
| title_auth | The little prover |
| title_exact_search | The little prover |
| title_full | The little prover Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More |
| title_fullStr | The little prover Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More |
| title_full_unstemmed | The little prover Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More |
| title_short | The little prover |
| title_sort | the little prover |
| topic | Automatic theorem proving LISP (Computer program language) |
| topic_facet | Automatic theorem proving LISP (Computer program language) |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537 |
| work_keys_str_mv | AT friedmandanielp thelittleprover AT eastlundcarl thelittleprover |