| ## Mathematical Foundations of Computer Science
by Peter A. Fejer
**Download Book** (Respecting the intellectual property of others is utmost important to us, we make every effort to make sure we only link to legitimate sites, such as those sites owned by authors and publishers. If you have any questions about these links, please contact us.)
link 1
**About Book**
**Book Description**
Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal languages, theory of computation, and program verification. The material is treated in a straightforward, systematic, and rigorous manner. The volume is organized by mathematical area, making the material easily accessible to the upper-undergraduate students in mathematics as well as in computer science and each chapter contains a large number of exercises. The volume can be used as a textbook, but it will also be useful to researchers and professionals who want a thorough presentation of the mathematical tools they need in a single source. In addition, the book can be used effectively as supplementary reading material in computer science courses, particularly those courses which involve the semantics of programming languages, formal languages and automata, and logic programming.
## Related Free eBooks - Foundations of Computer Science
- Logic for Computer Science: Foundations of Automatic Theorem Proving
- Reports and articles. The Computer Science Research Network CSNET: A History and Status Report
- Mathematics for Computer Science, Spring 2005
- Mathematics for Computer Science, Fall 2005
- Mathematics for Computer Science (SMA 5512), Fall 2002
- Mathematical Programming Glossary
- Little Black Book of Computer Viruses
- Keeping the U.S Computer Industry Competitive: Defining the Agenda
- Keeping the U.S Computer and Communications Industry Competitive: Convergence of Computing, Communications, and Entertainment: A Colloquium Report
- Java Programming Tutorial: Introduction to Computer Science
- How to Think Like a Computer Scientist: Java Version
- How To Think Like A Computer Scientist Learning With Python 2002
- Hal's Legacy: 2001's Computer as Dream and Reality
- Foundations of Political Science, Spring 2005
- Foundations of Political Science, Fall 2004
- Electronic Computer Projectsfor Commodore and Atari Personal Computers
- Patterns: SOA Foundation - Business Process Management Scenario
- Patterns: SOA Foundation Service Connectivity Scenario
- Mathematical Studies In Management Science
- Mathematical Applications In Political Science, Ii
- CSNET -The Computer Science Research Network
- Oracle Database Foundations
- Foundation ASP for Dreamweaver 8
- "Computer, Network & Internet Security"
- Computer Networks 4th Ed Andrew S Tanenbaum
- Up to Speed with Swing: User Interfaces With Java Foundation Classes
- Universal algebra for computer science
- Turn Your Computer Into A Money Machine
- Topics in Theoretical Computer Science : Internet Research Problems, Spring 2002
- Theoretical Computer Science cheat sheet
- The Student Guide To Computer Science C++
- The Definition and Implementation of a Computer Language based on constraints
- Structure & Interpretation of Computer Programs
- Scott Mueller Library - Computer Dictionary
| ## Related Tags |

## Comments

Gautam Sikdar, Kolkata, West Bengal, 2007-12-27 14:09:34

## SEND A COMMENT

PLEASE READ: All comments must be approved before appearing in the thread; time and space constraints prevent all comments from appearing. We will only approve comments that are directly related to the article, use appropriate language and are not attacking the comments of others.