Specification and Analysis of Discrete Systems:

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 Goedel 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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Programação e linguagens de script: geral
• Teoria combinatória e dos grafos
• Ciência da Computação
• Engenharia do software
• A matemática discreta

Boolean logic;Boolean reasoning;Functional programming;Combinatorics;Python;Jupyter