防詐騙宣導登入註冊

書籍分類

ELT

理工

商管

資訊

其他圖書類

The Logic Book 6/e

作者：Merrie Bergmann, James Moor, Jack Nelson
原價：NT$ 1,020

ISBN：9781259010606
版次：6
年份：2014
出版商：McGraw-Hill
頁數/規格：640頁/平裝單色

加入購買

內容介紹本書特色目錄

Description
The Logic Book is a leading text for symbolic logic courses that presents all concepts and techniques with clear, comprehensive explanations. There is a wealth of carefully constructed examples throughout the text, and its flexible organization places materials within largely self-contained chapters that allow instructors the freedom to cover the topics they want, in the order they choose.

Key Features

Reorganized coverage of truth-trees in Chapter 9 now presents systematic trees for PL prior to and independent of trees for PLE, and provides for a more clear and straightforward discussion of the rules for PLE. New annotation in chapters 4 and 9 to indicate completed open branches in truth-trees ('o') as well as closed ones ('x').

Presupposes no previous training in logic

Includes large exercise sets for all chapters

Extensively revised presentation of derivation systems in Chapters 5 and 10 provides greater transparency and places additional emphasis on the need for and use of specific strategies in constructing derivations. In addition, new annotations for the assumptions that begin subderivations specify the reason these assumptions are being made, while the number and variety of exercises in both chapters has been significantly expanded.

New Features

A more focused presentation of deductive logic

A fuller and more accessible discussion of formal semantics

Many chapters have been reorganized so that technical material is presented at the beginning of the chapter

Table of Contents
Chapter 1: INTRODUCTION TO DEDUCTIVE LOGIC
Chapter 2: SYNTAX AND SYMBOLIZATION
Chapter 3: Sentential Logic: Semantics
Chapter 4: Sentential Logic: Truth-Trees
Chapter 5: Sentential Logic: Derivations
Chapter 6: Sentential Logic: Metatheory
Chapter 7: Predicate Logic: Syntax and Symbolization
Chapter 8: Predicate Logic: Semantics
Chapter 9: Predicate Logic: Truth-Trees
Chapter 10: Predicate Logic: Derivations
Chapter 11: Predicate Logic: Metatheory
Selected Bibliography

回上頁 | 下一則

相關商品

邏輯入門第二版