Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
Look up keyword or section
Like this

Table Of Contents

Getting Started
1.1 Starting up the Haskell Interpreter
1.2 Implementing a Prime Number Test
1.3 Haskell Type Declarations
1.4 Identifiers in Haskell
1.5 Playing the Haskell Game
1.6 Haskell Types
1.7 The Prime Factorization Algorithm
1.8 The map and filter Functions
1.9 Haskell Equations and Equational Reasoning
1.10 Further Reading
Talking about Mathematical Objects
2.1 Logical Connectives and their Meanings
2.2 Logical Validity and Related Notions
2.3 Making Symbolic Form Explicit
2.4 Lambda Abstraction
2.5 Definitions and Implementations
2.6 Abstract Formulas and Concrete Structures
2.7 Logical Handling of the Quantifiers
2.8 Quantifiers as Procedures
2.9 Further Reading
The Use of Logic: Proof
3.1 Proof Style
3.2 Proof Recipes
3.3 Rules for the Connectives
3.4 Rules for the Quantifiers
3.5 Summary of the Proof Recipes
3.6 Some Strategic Guidelines
3.7 Reasoning and Computation with Primes
3.8 Further Reading
Sets, Types and Lists
4.1 Let’s Talk About Sets
4.2 Paradoxes, Types and Type Classes
4.3 Special Sets
4.4 Algebra of Sets
4.6 Lists and List Operations
4.7 List Comprehension and Database Query
4.8 Using Lists to Represent Sets
4.9 A Data Type for Sets
4.10 Further Reading
5.1 The Notion of a Relation
5.2 Properties of Relations
5.3 Implementing Relations as Sets of Pairs
5.4 Implementing Relations as Characteristic Func- tions
5.5 Equivalence Relations
5.6 Equivalence Classes and Partitions
5.7 Integer Partitions
5.8 Further Reading
6.1 Basic Notions
6.2 Surjections, Injections, Bijections
6.3 Function Composition
6.4 Inverse Function
6.5 Partial Functions
6.6 Functions as Partitions
6.7 Products
6.8 Congruences
6.9 Further Reading
Induction and Recursion
7.1 Mathematical Induction
7.2 Recursion over the Natural Numbers
7.3 The Nature of Recursive Definitions
7.4 Induction and Recursion over Trees
7.5 Induction and Recursion over Lists
7.6 Some Variations on the Tower of Hanoi
7.7 Induction andRecursion overOther Data Struc- tures
7.8 Further Reading
Working with Numbers
8.1 A Module for Natural Numbers
8.2 GCD and the Fundamental Theorem of Arith- metic
8.3 Integers
8.4 Implementing Integer Arithmetic
8.5 Rational Numbers
8.6 Implementing Rational Arithmetic
8.7 Irrational Numbers
8.8 The Mechanic’s Rule
8.9 Reasoning about Reals
8.10 Complex Numbers
8.11 Further Reading
9.1 Difference Analysis of Polynomial Sequences
9.2 Gaussian Elimination
9.3 Polynomials and the Binomial Theorem
9.4 Polynomials for Combinatorial Reasoning
9.5 Further Reading
10.1 Corecursive Definitions
10.2 Processes and Labeled Transition Systems
10.3 Proof by Approximation
10.4 Proof by Coinduction
10.5 Power Series and Generating Functions
10.6 Exponential Generating Functions
10.7 Further Reading
Finite and Infinite Sets
11.1 More on Mathematical Induction
11.2 Equipollence
11.3 Infinite Sets
11.4 Cantor’s World Implemented
11.5 *Cardinal Numbers
0 of .
Results for:
No results containing your search query
P. 1


Ratings: (0)|Views: 31|Likes:
Published by Fagun Bhavsar

More info:

Published by: Fagun Bhavsar on Mar 01, 2012
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





You're Reading a Free Preview
Pages 4 to 82 are not shown in this preview.
You're Reading a Free Preview
Pages 86 to 449 are not shown in this preview.

Activity (2)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->