The Logic Book

The Logic Book pdf epub mobi txt 電子書 下載2025

Merrie Bergmann received her Ph.D. in philosophy from the University of Toronto and is currently an Associate Professor in the Computer Science Department at Smith College. She has published articles in formal semantics and logic, philosophy of language, and computational linguistics..

James Moor received his Ph.D. in history and philosophy of science from Indiana University and is currently a Professor of Philosophy at Dartmouth College. He has developed software for teaching logic and has published articles in philosophy of science, philosophy of mind, logic, philosophy of artificial intelligence, and computer ethics.

Jack Nelson received his Ph.D. in philosophy from the University of Chicago and is currently Associate Dean of the College of Liberal Arts and Sciences and the Interim Chair of the Philosophy Department at Arizona State University. He has developed software for teaching logic and has published articles in personal identity, epistemology, and philosophy of science..

出版者:McGraw-Hill
作者:Merrie Bergmann
出品人:
頁數:696
译者:
出版時間:2008
價格:USD 84.04
裝幀:Hardcover
isbn號碼:9780073535630
叢書系列:
圖書標籤:
  • 邏輯學 
  • logic 
  • Textbook 
  • formal_logic 
  • 哲學 
  • PhilosophicalLogic 
  •  
想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

This leading text for symbolic or formal logic courses presents all techniques and concepts with clear, comprehensive explanations, and includes a wealth of carefully constructed examples. Its flexible organization (with all chapters complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.

具體描述

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

Quite detailed, to the extent of being redundant. Classical start from sentence calculus; using basic syllables and several rules of inference to construct a system of natural inference; adding quantifiers &predicates with a slight expansion of the original system.

评分

Quite detailed, to the extent of being redundant. Classical start from sentence calculus; using basic syllables and several rules of inference to construct a system of natural inference; adding quantifiers &predicates with a slight expansion of the original system.

评分

let {the logic book} = gamma; gamma is inconsistent; therefore there exists no truth-value assignment at which all the premises are true, and the conclusion false. Therefore {the logic book} entails anything.

评分

相當一般= =中間那幾章那麼多錯

评分

Quite detailed, to the extent of being redundant. Classical start from sentence calculus; using basic syllables and several rules of inference to construct a system of natural inference; adding quantifiers &predicates with a slight expansion of the original system.

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有