An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic

by Richard F. Von Dohlen

Overview

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

Product Details

ISBN-13:	9780761813262
Publisher:	Bloomsbury Academic
Publication date:	03/11/1999
Pages:	300
Product dimensions:	5.78(w) x 9.04(h) x 0.62(d)

About the Author

Richard F. Von Dohlen is Professor of Philosophy and is Assistant Dean of Academic Affairs at Lenoir-Rhyne College in Hickory, North Carolina.

Table of Contents

chapter 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 < "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

Editorial Reviews

The logic textbook features a mix of plain English, flow charts, algorithms, and truth tables. Each of the 32 chapters introduces one principle illustrated by ten symbolic problems and ten word problems. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews