Discrete Mathematics Using a Computer

封面
Springer Science & Business Media, 2000 - 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.
 

讀者評論 - 撰寫評論

我們找不到任何評論。

內容

Introduction to Haskell
1
Propositional Logic
35
Predicate Logic
89
Set Theory
112
Recursion
129
Inductively Defined Sets
147
Induction
163
Relations
185
Functions
229
Discrete Mathematics in Circuit Design
273
A Software Tools for Discrete Mathematics
295
Bibliography
331
版權所有

其他版本 - 查看全部

常見字詞

關於作者 (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.

書目資訊