**Mathematics for Algorithm and Systems Analysis**

by Edward A. Bender, S. Gill Williamson

**Publisher**: Dover Publications 2005**ISBN/ASIN**: 0486442500**ISBN-13**: 9780486442501**Number of pages**: 256

**Description**:

Discrete mathematics is an essential tool in many areas of computer science. Problems in discrete mathematics arise in programming languages, computer architecture, networking, distributed systems, database systems, AI, theoretical computer science, and other areas. This up-to-date text assists undergraduates in mastering the ideas and mathematical language to address problems that arise in the field's many applications. It consists of 4 units of study: counting and listing, functions, decision trees and recursion, and basic concepts of graph theory.

Download or read it online for free here:

**Download link**

(multiple PDF files)

## Similar books

**Computer Algebra, Algorithms, Systems and Applications**

by

**Richard Liska, at al.**-

**Czech Technical University**

From the table of contents: Introduction; Algorithms for algebraic computation; Integrated mathematical systems; Basic possibilities of integrated mathematical systems; Applications of computer algebra; Another sources of study.

(

**13098**views)

**Isabelle/HOL: A Proof Assistant for Higher-Order Logic**

by

**T. Nipkow, L.C. Paulson, M. Wenzel**-

**Springer**

This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.

(

**12720**views)

**The Life of Pi: From Archimedes to Eniac and Beyond**

by

**Jonathan M. Borwein**-

**DocServer**

The desire to understand Pi, the challenge, and originally the need, to calculate ever more accurate values of Pi, has challenged mathematicians for many many centuries, and Pi has provided compelling examples of computational mathematics.

(

**15105**views)

**Algorithmic Mathematics**

by

**Leonard Soicher, Franco Vivaldi**-

**Queen Mary University of London**

This text is a course in mathematical algorithms, intended for second year mathematics students. It introduces the algorithms for computing with integers, polynomials and vector spaces. The course requires no computing experience.

(

**17807**views)