Opening book details…
Can I read Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction on EtoBox?
Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction by Peter A. Fejer, Dan A. Simovici (auth.) is a nonfiction available to read on EtoBox.
What is Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction about?
**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
Who reads Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Peter A. Fejer, Dan A. Simovici (auth.)
- Publisher
- Springer New York : Imprint: Springer
- Published
- 1991
- Language
- EN
- ISBN
- 9780387974507
- Category
- nonfiction
- Subjects
- Mathematics, Language Learning, Computer Science
Other editions & translations
More by Peter A. Fejer, Dan A. Simovici (auth.)
Browse all works by Peter A. Fejer, Dan A. Simovici (auth.)
Similar books
- Mathematical Foundations of Data Science — Tomas Hrycej, Bernhard Bermeitinger, Matthias Cetto, Siegfried Handschuh (2023)
- Foundations of Applied Mathematics, Volume 1: Mathematical Analysis — Jeffrey Humpherys, Tyler J. Jarvis, Emily J. Evans (2017)
- Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings (Foundations of ... Technology and Theoretical Computer Science) — Neil Immerman (auth.), Vikraman Arvind, Sundar Ramanujam (1998)
- Fsttcs 2005: Foundations Of Software Technology And Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005 : Proceedings Foundations Of Software Technology And Theoretical Computer Science — Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (2005)
- Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1893) — Silvano Dal Zilio, Andrew D. Gordon (auth.), Mogens Nielsen, Branislav Rovan (2000)
- Mathematical Foundations Of Computer Science 2002: 27th International Symposium, Mfcs 2002, Warsaw, Poland, August 26-30, 2002. Proceedings (lecture Notes In Computer Science) — Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (2002)
