Mathematical Foundations of Computer Science: Sets, Relations, and Induction (Monographs in Computer Science)

Peter A. Fejer Dan A. Simovici

ISBN 10: 1461277922 / ISBN 13: 9781461277927

Published by Springer US 1991-01-01, 1991

About this Item

Seller Inventory # 6666-IUK-9781461277927

Bibliographic Details

Title: Mathematical Foundations of Computer Science...

Publisher: Springer US 1991-01-01

Publication Date: 1991

Binding: Paperback

Condition: New

About this title

Synopsis:

Mathematical Foundations of Computer Science 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 trea...