圖書標籤: 邏輯學 Logic 邏輯 數學 Philosophy 邏輯學 哲學 哲學入門
发表于2024-09-09
Language, Proof, and Logic pdf epub mobi txt 電子書 下載 2024
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.
Philos 12A Introduction to Logic 軟件很好用...
評分就書本身的內容和寫法而言,這是一本非常可讀的數理邏輯導論。作者從最基本的詞項、函項、原子句講起,然後圍繞對邏輯真理的定義提齣瞭真值錶、重言式、一階邏輯等邏輯係統,由淺入深地引入瞭聯結詞、條件句、量詞等,並在最後以一階邏輯的完備性和可靠性作結。在對具體原則、方法的講解上,本書可謂事無巨細,幾乎沒有預設讀者的任何額外理解,而是以一種具有邏輯的清晰性和完備性的語言有條不紊地涉及問題的各個方麵。與書配套的幾個小程序,尤其是Tarski‘s world,從實用角度說確實解決瞭邏輯入門階段“舉例難”的問題,但隨之而來的代價則是學生在邏輯之外還要學習這些程序的一套用法和慣例,在習題中也沒有分開兩者。最令人詬病的是小程序完全被做成瞭圈錢的工具,讓人覺得整本書以及習題對這些程序毫無例外的倚重有動機不純的嫌疑。
評分簡單,明瞭
評分不是很深入,太簡單瞭,很多東西沒那麼重要但是花瞭很大篇幅去描述
評分很費勁……
評分
評分
評分
評分
Language, Proof, and Logic pdf epub mobi txt 電子書 下載 2024