+612 9045 4394
 
CHECKOUT
An Introduction to the Logic of the Computing Sciences : A Contemporary Look at Symbolic Logic :  A Contemporary Look at Symbolic Logic - Richard F. Von Dohlen

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

A Contemporary Look at Symbolic Logic

Paperback Published: March 1999
ISBN: 9780761813262
Number Of Pages: 300

Share This Book:
Ships in 5 to 9 business days

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.

Preface
Introduction to Logicp. 1
Logic, Problem Solving and Algorithmic Thinkingp. 9
Structure of Argumentsp. 15
Ordinary English and "If-Then" Statementsp. 19
Truth Tables and "If-Then" Statementsp. 25
Flow Chartsp. 39
Algorithmsp. 49
Modus Ponensp. 55
Modus Tollensp. 67
Conjunction and Simplificationp. 75
Hypothetical Syllogismp. 85
Absorptionp. 93
The Inclusive Orp. 101
Disjunctive Syllogismp. 109
Constructive Dilemmap. 117
Additionp. 125
Material Implication, Deductive Arguments, and Abbreviated Truth Tablesp. 131
Material Implication, Deductive Arguments, Abbreviated Truth Tables and the Test for Consistent Premisesp. 141
Material Implication and Scientific Theoriesp. 149
The Nature of Material Equivalencep. 153
Double Negationp. 159
Commutationp. 165
Tautologyp. 173
Associationp. 179
Transpositionp. 193
Material Implicationp. 199
Exportationp. 205
Material Equivalencep. 213
Distributionp. 223
De Morgan's Theoremsp. 233
Quantification Theoryp. 245
Four New Bi-Conditionalsp. 253
Study Guidep. 271
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780761813262
ISBN-10: 0761813268
Audience: General
Format: Paperback
Language: English
Number Of Pages: 300
Published: March 1999
Publisher: UNIV PR OF AMER
Country of Publication: US
Dimensions (cm): 22.91 x 15.19  x 1.6
Weight (kg): 0.4