Skip to main content

Introduction to Discrete Mathematics with ISETL

  • Textbook
  • © 1996

Overview

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

Keywords

About this book

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.

Authors and Affiliations

  • Department of Mathematics, Bellarmine College, Louisville, USA

    William E. Fenton

  • Department of Mathematics, Purdue University, West Lafayette, USA

    Ed Dubinsky

Bibliographic Information

  • Book Title: Introduction to Discrete Mathematics with ISETL

  • Authors: William E. Fenton, Ed Dubinsky

  • DOI: https://doi.org/10.1007/978-1-4612-4052-5

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag New York Inc. 1996

  • Hardcover ISBN: 978-0-387-94782-2Published: 19 September 1996

  • Softcover ISBN: 978-1-4612-8480-2Published: 01 October 2011

  • eBook ISBN: 978-1-4612-4052-5Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XVI, 196

  • Topics: Combinatorics, Programming Languages, Compilers, Interpreters

Publish with us