Language, Proof, and Logic读书介绍
类别 | 页数 | 译者 | 网友评分 | 年代 | 出版社 |
---|---|---|---|---|---|
书籍 | 650页 | 8.9 | 2011 | Center for the Study of Language and Inf |
定价 | 出版日期 | 最近访问 | 访问指数 |
---|---|---|---|
USD 70.00 | 2011-10-15 … | 2023-03-04 … | 93 |
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 a...
作者简介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.
剧情呢,免费看分享剧情、挑选影视作品、精选好书简介分享。