Introduction to Discrete Mathematics with ISETL (Springer Computer Science) - Hardcover

Fenton, William E.; Dubinsky, Ed

 
9780387947822: Introduction to Discrete Mathematics with ISETL (Springer Computer Science)
Hardcover
ISBN 10: 0387947825 ISBN 13: 9780387947822
Publisher: Springer, 1996

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
1996
Language
English
ISBN 10 
0387947825
ISBN 13 
9780387947822
Binding
Hardcover
Number of pages
212

Other Popular Editions of the Same Title

9781461284802: Introduction to Discrete Mathematics with ISETL

Featured Edition

ISBN 10:  1461284805 ISBN 13:  9781461284802
Publisher: Springer, 2011
Softcover