𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Discrete Mathematics Using a Computer

✍ Scribed by Cordelia Hall PhD, John O’Donnell BS, MS, PhD (auth.)

Publisher
Springer London
Year
2000
Tongue
English
Leaves
344
Edition
1st Edition
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

Front Matter....Pages i-xviii
Introduction to Haskell....Pages 1-33
Propositional Logic....Pages 35-87
Predicate Logic....Pages 89-109
Set Theory....Pages 111-127
Recursion....Pages 129-145
Inductively Defined Sets....Pages 147-162
Induction....Pages 163-184
Relations....Pages 185-227
Functions....Pages 229-271
Discrete Mathematics in Circuit Design....Pages 273-293
Back Matter....Pages 295-339

✦ Subjects

Mathematics, general; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity

πŸ“œ SIMILAR VOLUMES

Discrete Mathematics Using a Computer
πŸ“ Discrete Mathematics Using a Computer
✍ John O'Donnell, Cordelia Hall, Rex Page πŸ“‚ Library πŸ“… 2006 πŸ› Springer 🌐 English

<P><EM>Discrete Mathematics Using a Computer</EM> offers a new, ''hands-on'' approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a p

Discrete Mathematics Using a Computer
πŸ“ Discrete Mathematics Using a Computer
✍ John O’Donnell PhD, Cordelia Hall PhD, Rex Page PhD (auth.) πŸ“‚ Library πŸ“… 2006 πŸ› Springer-Verlag London 🌐 English

<p><P><EM>Discrete Mathematics Using a Computer</EM> offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a

Discrete Mathematics Using a Computer
πŸ“ Discrete Mathematics Using a Computer
✍ John O’Donnell PhD, Cordelia Hall PhD, Rex Page PhD (auth.) πŸ“‚ Library πŸ“… 2006 πŸ› Springer-Verlag London 🌐 English

<p><P><EM>Discrete Mathematics Using a Computer</EM> offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a