product iamge

Discrete Mathematics Using a Computer

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Cordelia Hall PhD, John O’Donnell BS, MS, PhD (auth.)
Edition: 1st Edition
Publisher: Springer London
Year: 2000

Language: English
Pages: XVIII, 339 p.
Tags: Mathematics, general; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity

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