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.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.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
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
Haskell Road to Logic

Haskell Road to Logic

Ratings: (0)|Views: 76|Likes:
Published by aleator

More info:

Published by: aleator on May 31, 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 9 to 20 are not shown in this preview.
You're Reading a Free Preview
Pages 29 to 195 are not shown in this preview.
You're Reading a Free Preview
Pages 204 to 269 are not shown in this preview.
You're Reading a Free Preview
Pages 278 to 406 are not shown in this preview.
You're Reading a Free Preview
Pages 415 to 449 are not shown in this preview.

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)//-->