Discrete Mathematics Using a Computer
Several areas of mathematics find application throughout computer science, and all students of computer science need a practical working understanding of them. These core subjects are centred on logic, sets, recursion, induction, relations and functions. The material is often called discrete mathema...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
London
Springer London
2000, 2000
|
Edition: | 1st ed. 2000 |
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1 Introduction to Haskell
- 2 Propositional Logic
- 3 Predicate Logic
- 4 Set Theory
- 5 Recursion
- 6 Inductively Defined Sets
- 7 Induction
- 8 Relations
- 9 Functions
- 10 Discrete Mathematics in Circuit Design
- A Software Tools for Discrete Mathematics
- B Resources on the Web
- C Solutions to Selected Exercises
- C.1 Introduction to Haskell
- C.2 Propositional Logic
- C.3 Predicate Logic
- C.4 Set Theory
- C.5 Recursion
- C.6 Inductively Defined Sets
- C.7 Induction
- C.8 Relations
- C.9 Functions
- C.1O Discrete Mathematics in Circuit Design