Discrete Mathematics: Applications to Software Development: 1st Series: Logic, Part 2 of 3

Puzzle drills for warm-up, abundance of guided and unguided exercises with step-by-step solutions for logical equivalences and laws of logical equivalence applications, thorough examples and exercises for predicates, quantifiers, and nested quantifiers, and an introduction to set theory symbols. Build software requirements using mathematical statements (detailed solutions provided) . A pre-requisite knowledge on propositional logic and truth tables is required; this is covered in Discrete Mathematics: Applications to Software Development (1st Series: Logic, Part 1 of 3) practice book. Read more Continue reading Read less