☆☆☆☆☆
简体网页||繁体网页

Language, Proof, and Logic 2024 pdf epub mobi 电子书 著者简介

---

Language, Proof, and Logic 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-12-31

Language, Proof, and Logic 2024 pdf epub mobi 电子书

Language, Proof, and Logic 2024 pdf epub mobi 电子书

Language, Proof, and Logic 2024 pdf epub mobi 电子书

---

喜欢 Language, Proof, and Logic 电子书 的读者还喜欢

• 
  From Frege to Gödel 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

出版者:Center for the Study of Language and Inf

作者:David Barker-Plummer

出品人:

页数:650

译者:

出版时间:2011-10-15

价格:USD 70.00

装帧:Paperback

isbn号码:9781575866321

丛书系列:

Language, Proof, and Logic 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

原子语句开搞

评分☆☆☆☆☆

不是很深入，太简单了，很多东西没那么重要但是花了很大篇幅去描述

评分☆☆☆☆☆

就书本身的内容和写法而言，这是一本非常可读的数理逻辑导论。作者从最基本的词项、函项、原子句讲起，然后围绕对逻辑真理的定义提出了真值表、重言式、一阶逻辑等逻辑系统，由浅入深地引入了联结词、条件句、量词等，并在最后以一阶逻辑的完备性和可靠性作结。在对具体原则、方法的讲解上，本书可谓事无巨细，几乎没有预设读者的任何额外理解，而是以一种具有逻辑的清晰性和完备性的语言有条不紊地涉及问题的各个方面。与书配套的几个小程序，尤其是Tarski‘s world，从实用角度说确实解决了逻辑入门阶段“举例难”的问题，但随之而来的代价则是学生在逻辑之外还要学习这些程序的一套用法和惯例，在习题中也没有分开两者。最令人诟病的是小程序完全被做成了圈钱的工具，让人觉得整本书以及习题对这些程序毫无例外的倚重有动机不纯的嫌疑。

评分☆☆☆☆☆

不是很深入，太简单了，很多东西没那么重要但是花了很大篇幅去描述

评分☆☆☆☆☆

就书本身的内容和写法而言，这是一本非常可读的数理逻辑导论。作者从最基本的词项、函项、原子句讲起，然后围绕对逻辑真理的定义提出了真值表、重言式、一阶逻辑等逻辑系统，由浅入深地引入了联结词、条件句、量词等，并在最后以一阶逻辑的完备性和可靠性作结。在对具体原则、方法的讲解上，本书可谓事无巨细，几乎没有预设读者的任何额外理解，而是以一种具有逻辑的清晰性和完备性的语言有条不紊地涉及问题的各个方面。与书配套的几个小程序，尤其是Tarski‘s world，从实用角度说确实解决了逻辑入门阶段“举例难”的问题，但随之而来的代价则是学生在逻辑之外还要学习这些程序的一套用法和惯例，在习题中也没有分开两者。最令人诟病的是小程序完全被做成了圈钱的工具，让人觉得整本书以及习题对这些程序毫无例外的倚重有动机不纯的嫌疑。

查看全网最低价