𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mathematics in Computing || Z Formal Specification Language

✍ Scribed by O’Regan, Gerard

Book ID
121670864
Publisher
Springer London
Year
2012
Tongue
English
Weight
836 KB
Edition
2013
Category
Article
ISBN
1447145348

No coin nor oath required. For personal study only.

✦ Synopsis

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks; examines the building blocks of mathematics, including sets, relations and functions; presents an introduction to logic, formal methods and software engineering; explains the fundamentals of number theory, and its application in cryptography; describes the basics of coding theory, language theory, and graph theory; discusses the concept of computability and decideability; includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions.

📜 SIMILAR VOLUMES

Mathematics in Computing || Language The
Mathematics in Computing || Language Theory and Semantics
✍ O’Regan, Gerard 📂 Article 📅 2012 🏛 Springer London 🌐 English ⚖ 661 KB

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions a

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 3492 || Translating Formal Software Specifications to Natural Language
✍ Blache, Philippe; Stabler, Edward; Busquets, Joan; Moot, Richard 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 193 KB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France i

[Lecture Notes in Computer Science] The
[Lecture Notes in Computer Science] The Language of Mathematics Volume 7805 || The Language of Mathematics
✍ Ganesalingam, Mohan 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 396 KB

The Language of Mathematics was awarded the E.W. Beth Dissertation Prize for outstanding dissertations in the fields of logic, language, and information. It innovatively combines techniques from linguistics, philosophy of mathematics, and computation to give the first wide-ranging analysis of mathem