Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

The Essence Of Logic

4.1/5 ( ratings)

A gentle introduction to logic for undergraduate computing students.Beginning with Truth Tables, the reader is introduced to the concepts of Boolean Algebra, logical propositions and truth values. Propositional Logic is explored through using Semantic Tableaux, Natural Deduction and the Sequent Calculus. More formal axiomatic systems are examined and illustrated, and important theorems about these systems are presented. Properties of soundness, completeness and consistency are explained in terms of Propositional Systems; then concepts of resolution are introduced, with an eye towards their use in programming. The book then turns to First Order Predicate Logic, its theoretical underpinnings and uses.Undergraduate computer science and logic courses.

Language: English

Pages: 258

Format: Paperback

Publisher: Prentice Hall

Release: January 01, 1997

ISBN: 0133963756

ISBN 13: 9780133963755

The Essence Of Logic

4.1/5 ( ratings)

A gentle introduction to logic for undergraduate computing students.Beginning with Truth Tables, the reader is introduced to the concepts of Boolean Algebra, logical propositions and truth values. Propositional Logic is explored through using Semantic Tableaux, Natural Deduction and the Sequent Calculus. More formal axiomatic systems are examined and illustrated, and important theorems about these systems are presented. Properties of soundness, completeness and consistency are explained in terms of Propositional Systems; then concepts of resolution are introduced, with an eye towards their use in programming. The book then turns to First Order Predicate Logic, its theoretical underpinnings and uses.Undergraduate computer science and logic courses.

Language: English

Pages: 258

Format: Paperback

Publisher: Prentice Hall

Release: January 01, 1997

ISBN: 0133963756

ISBN 13: 9780133963755

More books from John Kelly

The Mystery of Eatum Hall

3.9/5 ( ratings)

The Secret Life of the Unborn Child: How You Can Prepare Your Baby for a Happy, Healthy Life

3.9/5 ( ratings)

26 Miles to Boston: The Boston Marathon Experience from Hopkinton to Copley Square

3.8/5 ( ratings)

The Pig on the Hill

4.2/5 ( ratings)

The Bicycle Diaries: My 21,000-Mile Ride for the Climate

For Better or For Worse: Divorce Reconsidered

3.4/5 ( ratings)

Stop Feeding Your Cancer

4.1/5 ( ratings)

From Out of the City

3.6/5 ( ratings)

Sir Scaly Pants the Dragon Knight

Guess Who's Coming For Dinner?

4.5/5 ( ratings)

The Transition to Parenthood

3.9/5 ( ratings)

Sammy Feral's Diaries of Weird: Dragon Gold

4.4/5 ( ratings)

The Robot Zoo

4.7/5 ( ratings)

Sophisticated Boom Boom

3.4/5 ( ratings)

The Spy-Catcher Gang

3.2/5 ( ratings)

Wagon Train Adventure

4.1/5 ( ratings)

Sport, Exercise and Social Theory: An Introduction

Rate this book!

Write a review?