Advertisement

Introduction to Discrete Mathematics with ISETL

  • William E. Fenton
  • Ed Dubinsky

Table of contents

  1. Front Matter
    Pages i-xvi
  2. William E. Fenton, Ed Dubinsky
    Pages 1-25
  3. William E. Fenton, Ed Dubinsky
    Pages 27-42
  4. William E. Fenton, Ed Dubinsky
    Pages 43-71
  5. William E. Fenton, Ed Dubinsky
    Pages 73-96
  6. William E. Fenton, Ed Dubinsky
    Pages 97-116
  7. William E. Fenton, Ed Dubinsky
    Pages 117-144
  8. William E. Fenton, Ed Dubinsky
    Pages 145-161
  9. William E. Fenton, Ed Dubinsky
    Pages 163-171
  10. William E. Fenton, Ed Dubinsky
    Pages 173-181
  11. Back Matter
    Pages 182-194

About this book

Introduction

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.

Keywords

Computer Permutation Pigeonhole principle calculus graph theory programming programming language

Authors and affiliations

  • William E. Fenton
    • 1
  • Ed Dubinsky
    • 2
  1. 1.Department of MathematicsBellarmine CollegeLouisvilleUSA
  2. 2.Department of MathematicsPurdue UniversityWest LafayetteUSA

Bibliographic information