Specification and Analysis of Discrete Systems:
CRC Press (Verlag)
978-1-138-55666-9 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
Ganesh Gopalakrishnan is a professor in the Computer Science Department at the University of Utah.
Introduction. A Simple Assertion Whose Proof Isn't. Hardware and Software: Trust but Verify. Boolean Logic and Many Others that Followed. Basics of Boolean Logic. Notations used to Present Discrete Structures. Logic: Central Workhorse of Programming, Puzzles. Functional Programming in Python. Boolean Reasoning: Personality, Universality. Boolean Reasoning: Identity, Non-Universality. Efficient Boolean Function Representation through BDD. Proofs and Truths. Sets: Fundamental Data Structure of Mathematics. Predicate Logic: Universal Language for Expressing Infinite Truths. Z3Py: Verified Fun. Combinatorics: A Cornucopia of Counting. Playing Mastermind Using Z3Py. Probability: Measured Uncertainty. Conditional Probability: When “it depends”. Functions: One-to-one, Onto, and Gödel Hashes. (Binary) Relations: Partial Orders and Equivalences. 4-Color the US Map: Explicit and Implicit (BDD/SMT). Infinite Sets: Proofs via Barter and Diagonalization. Induction: Dominos tripped through Implication.
Erscheinungsdatum | 16.09.2019 |
---|---|
Zusatzinfo | 100 Illustrations, black and white |
Verlagsort | London |
Sprache | englisch |
Maße | 178 x 254 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Mathematik / Informatik ► Mathematik | |
ISBN-10 | 1-138-55666-1 / 1138556661 |
ISBN-13 | 978-1-138-55666-9 / 9781138556669 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich