Introduction to Discrete Mathematics with ISETL:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
New York, NY
Springer New York
1996
|
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | Intended for first- or second-year undergraduates, this introduction to discrete mathematics covers the usual topics of such a course, but applies constructivist principles that promote - indeed, require - active participation by the student. Working with the programming language ISETL, whose syntax is close to that of standard mathematical language, the student constructs the concepts in her or his mind as a result of constructing them on the computer in the syntax of ISETL. This dramatically different approach allows students to attempt to discover concepts in a "Socratic" dialog with the computer. The discussion avoids the formal "definition-theorem" approach and promotes active involvement by the reader by its questioning style. An instructor using this text can expect a lively class whose students develop a deep conceptual understanding rather than simply manipulative skills. Topics covered in this book include: the propositional calculus, operations on sets, basic counting methods, predicate calculus, relations, graphs, functions, and mathematical induction |
Beschreibung: | 1 Online-Ressource (IX, 194p. 23 illus) |
ISBN: | 9781461240525 9781461284802 |
DOI: | 10.1007/978-1-4612-4052-5 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV042420202 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150317s1996 |||| o||u| ||||||eng d | ||
020 | |a 9781461240525 |c Online |9 978-1-4612-4052-5 | ||
020 | |a 9781461284802 |c Print |9 978-1-4612-8480-2 | ||
024 | 7 | |a 10.1007/978-1-4612-4052-5 |2 doi | |
035 | |a (OCoLC)863764554 | ||
035 | |a (DE-599)BVBBV042420202 | ||
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.6 |2 23 | |
084 | |a MAT 000 |2 stub | ||
100 | 1 | |a Fenton, William E. |e Verfasser |4 aut | |
245 | 1 | 0 | |a Introduction to Discrete Mathematics with ISETL |c by William E. Fenton, Ed Dubinsky |
264 | 1 | |a New York, NY |b Springer New York |c 1996 | |
300 | |a 1 Online-Ressource (IX, 194p. 23 illus) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
500 | |a Intended for first- or second-year undergraduates, this introduction to discrete mathematics covers the usual topics of such a course, but applies constructivist principles that promote - indeed, require - active participation by the student. Working with the programming language ISETL, whose syntax is close to that of standard mathematical language, the student constructs the concepts in her or his mind as a result of constructing them on the computer in the syntax of ISETL. This dramatically different approach allows students to attempt to discover concepts in a "Socratic" dialog with the computer. The discussion avoids the formal "definition-theorem" approach and promotes active involvement by the reader by its questioning style. An instructor using this text can expect a lively class whose students develop a deep conceptual understanding rather than simply manipulative skills. Topics covered in this book include: the propositional calculus, operations on sets, basic counting methods, predicate calculus, relations, graphs, functions, and mathematical induction | ||
650 | 4 | |a Mathematics | |
650 | 4 | |a Computer science | |
650 | 4 | |a Combinatorics | |
650 | 4 | |a Programming Languages, Compilers, Interpreters | |
650 | 4 | |a Informatik | |
650 | 4 | |a Mathematik | |
650 | 0 | 7 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a ISETL |0 (DE-588)4205825-9 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
689 | 0 | 0 | |a Diskrete Mathematik |0 (DE-588)4129143-8 |D s |
689 | 0 | 1 | |a ISETL |0 (DE-588)4205825-9 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
700 | 1 | |a Dubinsky, Ed |e Sonstige |4 oth | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4612-4052-5 |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-027855619 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804153091842375680 |
---|---|
any_adam_object | |
author | Fenton, William E. |
author_facet | Fenton, William E. |
author_role | aut |
author_sort | Fenton, William E. |
author_variant | w e f we wef |
building | Verbundindex |
bvnumber | BV042420202 |
classification_tum | MAT 000 |
collection | ZDB-2-SMA ZDB-2-BAE |
ctrlnum | (OCoLC)863764554 (DE-599)BVBBV042420202 |
dewey-full | 511.6 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.6 |
dewey-search | 511.6 |
dewey-sort | 3511.6 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
doi_str_mv | 10.1007/978-1-4612-4052-5 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02955nmm a2200529zc 4500</leader><controlfield tag="001">BV042420202</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1996 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461240525</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4612-4052-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461284802</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4612-8480-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4612-4052-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863764554</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042420202</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.6</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">Fenton, William E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to Discrete Mathematics with ISETL</subfield><subfield code="c">by William E. Fenton, Ed Dubinsky</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 194p. 23 illus)</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">Intended for first- or second-year undergraduates, this introduction to discrete mathematics covers the usual topics of such a course, but applies constructivist principles that promote - indeed, require - active participation by the student. Working with the programming language ISETL, whose syntax is close to that of standard mathematical language, the student constructs the concepts in her or his mind as a result of constructing them on the computer in the syntax of ISETL. This dramatically different approach allows students to attempt to discover concepts in a "Socratic" dialog with the computer. The discussion avoids the formal "definition-theorem" approach and promotes active involvement by the reader by its questioning style. An instructor using this text can expect a lively class whose students develop a deep conceptual understanding rather than simply manipulative skills. Topics covered in this book include: the propositional calculus, operations on sets, basic counting methods, predicate calculus, relations, graphs, functions, and mathematical induction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatorics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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">ISETL</subfield><subfield code="0">(DE-588)4205825-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</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">ISETL</subfield><subfield code="0">(DE-588)4205825-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dubinsky, Ed</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4612-4052-5</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-027855619</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="883" ind1="1" ind2=" "><subfield code="8">2\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> |
genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Lehrbuch |
id | DE-604.BV042420202 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:21:06Z |
institution | BVB |
isbn | 9781461240525 9781461284802 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027855619 |
oclc_num | 863764554 |
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 (IX, 194p. 23 illus) |
psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
publishDate | 1996 |
publishDateSearch | 1996 |
publishDateSort | 1996 |
publisher | Springer New York |
record_format | marc |
spelling | Fenton, William E. Verfasser aut Introduction to Discrete Mathematics with ISETL by William E. Fenton, Ed Dubinsky New York, NY Springer New York 1996 1 Online-Ressource (IX, 194p. 23 illus) txt rdacontent c rdamedia cr rdacarrier Intended for first- or second-year undergraduates, this introduction to discrete mathematics covers the usual topics of such a course, but applies constructivist principles that promote - indeed, require - active participation by the student. Working with the programming language ISETL, whose syntax is close to that of standard mathematical language, the student constructs the concepts in her or his mind as a result of constructing them on the computer in the syntax of ISETL. This dramatically different approach allows students to attempt to discover concepts in a "Socratic" dialog with the computer. The discussion avoids the formal "definition-theorem" approach and promotes active involvement by the reader by its questioning style. An instructor using this text can expect a lively class whose students develop a deep conceptual understanding rather than simply manipulative skills. Topics covered in this book include: the propositional calculus, operations on sets, basic counting methods, predicate calculus, relations, graphs, functions, and mathematical induction Mathematics Computer science Combinatorics Programming Languages, Compilers, Interpreters Informatik Mathematik Diskrete Mathematik (DE-588)4129143-8 gnd rswk-swf ISETL (DE-588)4205825-9 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Diskrete Mathematik (DE-588)4129143-8 s ISETL (DE-588)4205825-9 s 2\p DE-604 Dubinsky, Ed Sonstige oth https://doi.org/10.1007/978-1-4612-4052-5 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Fenton, William E. Introduction to Discrete Mathematics with ISETL Mathematics Computer science Combinatorics Programming Languages, Compilers, Interpreters Informatik Mathematik Diskrete Mathematik (DE-588)4129143-8 gnd ISETL (DE-588)4205825-9 gnd |
subject_GND | (DE-588)4129143-8 (DE-588)4205825-9 (DE-588)4123623-3 |
title | Introduction to Discrete Mathematics with ISETL |
title_auth | Introduction to Discrete Mathematics with ISETL |
title_exact_search | Introduction to Discrete Mathematics with ISETL |
title_full | Introduction to Discrete Mathematics with ISETL by William E. Fenton, Ed Dubinsky |
title_fullStr | Introduction to Discrete Mathematics with ISETL by William E. Fenton, Ed Dubinsky |
title_full_unstemmed | Introduction to Discrete Mathematics with ISETL by William E. Fenton, Ed Dubinsky |
title_short | Introduction to Discrete Mathematics with ISETL |
title_sort | introduction to discrete mathematics with isetl |
topic | Mathematics Computer science Combinatorics Programming Languages, Compilers, Interpreters Informatik Mathematik Diskrete Mathematik (DE-588)4129143-8 gnd ISETL (DE-588)4205825-9 gnd |
topic_facet | Mathematics Computer science Combinatorics Programming Languages, Compilers, Interpreters Informatik Mathematik Diskrete Mathematik ISETL Lehrbuch |
url | https://doi.org/10.1007/978-1-4612-4052-5 |
work_keys_str_mv | AT fentonwilliame introductiontodiscretemathematicswithisetl AT dubinskyed introductiontodiscretemathematicswithisetl |