Discrete Mathematics Using a Computer

Naslovnica
Springer Science & Business Media, 2000 - Broj stranica: 339
This volume offers a new, hands-on approach to teaching Discrete Mathematics. A simple functional language is used to allow students to experiment with mathematical notations which are traditionally difficult to pick up. This practical approach provides students with instant feedback and also allows lecturers to monitor progress easily. All the material needed to use the book will be available via ftp (the software is freely available and runs on Mac, PC and Unix platforms), including a special module which implements the concepts to be learned.No prior knowledge of Functional Programming is required: apart from List Comprehension (which is comprehensively covered in the text) everything the students need is either provided for them or can be picked up easily as they go along. An Instructors Guide will also be available on the WWW to help lecturers adapt existing courses.
 

Sadržaj

Introduction to Haskell
1
Propositional Logic
2
8
27
And Elimination EL ER
56
Predicate Logic
84
Set Theory
111
Recursion
131
Inductively Defined Sets
147
Relations
185
Topological Sort
222
Functions
229
5
244
Discrete Mathematics in Circuit Design
273
A Software Tools for Discrete Mathematics
295
Bibliography
331
Autorska prava

Induction
163

Ostala izdanja - Prikaži sve

Uobičajeni izrazi i fraze

O autoru (2000)

John O'Donnell, a retired senior foreign service officer living in Great Falls, Virginia, spent thirty years with the Agency for International Development in Southeast Asia & Central & South America & continues his involvement in economic development as a consultant.

Bibliografski podaci