Description
Book SynopsisAn Introduction to the Logic of the Computing Sciences provides an introduction to symbolic logic by creating connections with the diverse fields of philosophy, mathematics, computing sciences, law, business, popular culture, and ethics, so that students from varied backgrounds can grasp the ideas of logic. The author relates symbolic logic to computer science by introducing each logical principle by a truth table, flow chart, and algorithm. He emphasizes the connections between logic and the different subjects through over two hundred word problems that relate to the different areas. Following a strategic plan that avoids intimidating students, the author introduces each new principle one at a time with a set of twenty exercises that require the use of that principle. He introduces the next principle with exercises that require the use of the new principle and the principles previously studied, gradually building on the knowledge of the student until he or she has a thorough understanding of symbolic logic.
Table of Contentschapter 1 Preface chapter 2 Introduction to Logic chapter 3 Logic, Problem Solving, and Algorithmic Thinking chapter 4 Structure of Arguments chapter 5 Ordinary English and ^D< "If-Then" Statements chapter 6 Truth Tables and "If-Then Statements" chapter 7 Flow Charts chapter 8 Algorithms chapter 9 Modus Ponens chapter 10 Modus Tollens chapter 11 Conjunction and Simplification chapter 12 Hypothetical Syllogism chapter 13 Absorption chapter 14 The Inclusive Or chapter 15 Disjunctive Syllogism chapter 16 Constructive Dilemma chapter 17 Addition chapter 18 Material Implication, Deductive Arguments, Abbreviated Truth Tables and the Test for Consistent Premises chapter 19 Material Implication and Scientific Theories chapter 20 The Nature of Material Equivalence chapter 21 Double Negation chapter 22 Commutation chapter 23 Tautology chapter 24 Association chapter 25 Transposition chapter 26 Material Implication chapter 27 Exportation chapter 28 Material Equivalence chapter 29 Distribution chapter 30 De Morgan's Theorems chapter 31 Quantification Theory chapter 32 Four New Bi-Conditionals chapter 33 Study Guide
