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.
評分
評分
評分
評分
很費勁……
评分不是很深入,太簡單瞭,很多東西沒那麼重要但是花瞭很大篇幅去描述
评分簡單,明瞭
评分簡單,明瞭
评分不是很深入,太簡單瞭,很多東西沒那麼重要但是花瞭很大篇幅去描述
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有