Description: Mathematical Foundations of Computer Science : Sets, Relations, and Induction, Paperback by Fejer, Peter A.; Simovici, Dan A., ISBN 1461277922, ISBN-13 9781461277927, Brand New, Free shipping in the US 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, th 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.
Price: 66.41 USD
Location: Jessup, Maryland
End Time: 2024-08-24T16:10:58.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Mathematical Foundations of Computer Science : Sets, Relations, a
Number of Pages: X, 425 Pages
Language: English
Publication Name: Mathematical Foundations of Computer Science : Sets, Relations, and Induction
Publisher: Springer New York
Publication Year: 2011
Subject: Numerical Analysis, Computer Science, Discrete Mathematics
Item Height: 0.4 in
Item Weight: 23.6 Oz
Type: Textbook
Subject Area: Computers, Mathematics
Author: Peter A. Fejer, Dan A. Simovici
Item Length: 9.3 in
Series: Monographs in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
