| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:955505814:2335 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:955505814:2335?format=raw |
LEADER: 02335nam a22004095a 4500
001 013840391-0
005 20131206201719.0
008 121227s1996 xxu| s ||0| 0|eng d
020 $a9781461240525
020 $a9781461240525
020 $a9781461284802
024 7 $a10.1007/978-1-4612-4052-5$2doi
035 $a(Springer)9781461240525
040 $aSpringer
050 4 $aQA164-167.2
072 7 $aPBV$2bicssc
072 7 $aMAT036000$2bisacsh
082 04 $a511.6$223
100 1 $aFenton, William E.,$eauthor.
245 10 $aIntroduction to Discrete Mathematics with ISETL /$cby William E. Fenton, Ed Dubinsky.
264 1 $aNew York, NY :$bSpringer New York,$c1996.
300 $aIX, 194p. 23 illus.$bonline resource.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
347 $atext file$bPDF$2rda
520 $aIntended 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 20 $aCombinatorial analysis.
650 10 $aMathematics.
650 0 $aCombinatorial analysis.
650 0 $aMathematics.
650 0 $aComputer science.
650 24 $aProgramming Languages, Compilers, Interpreters.
700 1 $aDubinsky, Ed,$eauthor.
776 08 $iPrinted edition:$z9781461284802
988 $a20131119
906 $0VEN