Cover Image
Read Now

Learning Discrete Mathematics with ISETL

The title of this book, Learning Discrete Mathematics with ISETL raises two issues. We have chosen the word "Learning" rather than "Teaching" because we think that what the student does in order to learn is much more important than what the professor does in order to teach. Acade...

Full description

Bibliographic Details
Main Authors: Baxter, Nancy, Dubinsky, Edward (Author), Levin, Gary (Author)
Format: eBook
Language:English
Published: New York, NY Springer New York 1989, 1989
Edition:1st ed. 1989
Subjects:
Combinatorics
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 1 Numbers, Programs, and ISETL
  • 1.1 Preview
  • 1.2 Overview of ISETL
  • 1.3 Integers
  • 1.4 Integer Operations
  • 1.5 Special Binary Integer Operators
  • 1.6 Random Integers
  • 1.7 Floating-Point, Rational, and Real Numbers
  • 1.8 Floating-Point Operations
  • 1.9 Other Simple Data Types
  • 2 Propositional Calculus
  • 2.1 Preview
  • 2.2 Boolean Variables and Expressions
  • 2.3 Reasoning and Boolean Expressions
  • 2.4 Methods of Proof
  • 2.5 Predicate Calculus: First Pass
  • 2.6 Propositions as Objects
  • 3 Sets and Tuples
  • 3.1 Preview
  • 3.2 Introduction to Sets
  • 3.3 Set Operations
  • 3.4 Set Formation
  • 3.5 Tuples and Tuple Operations
  • 3.6 One-Liners
  • 3.7 The Compound Operator
  • 4 Functions
  • 4.1 Preview
  • 4.2 Representations of Functions
  • 4.3 Function Operations
  • 4.4 Applications of Functions
  • 5 Predicate Calculus
  • 5.1 Preview
  • 5.2 Single-Level Quantification
  • 5.3 Two-Level Quantification
  • 5.4 Three-Level Quantification
  • 5.5 Quantification in Math and CS
  • 6 Combinatorics, Matrices, Determinants
  • 6.1 Preview
  • 6.2 Combinatorics
  • 6.3 Matrices
  • 6.4 Determinants
  • 7 Mathematical Induction
  • 7.1 Preview
  • 7.2 Proposition Valued Functions of N
  • 7.3 Modus Ponens
  • 7.4 Implication Valued Functions of N
  • 7.5 Making Proofs by Induction
  • 7.6 Variations on the Induction Theme
  • 8 Relations and Graphs
  • 8.1 Preview
  • 8.2 Relations and Their Representations
  • 8.3 Properties of Relations
  • 8.4 Digraphs
  • ISETL order form

Similar Items