查字典图书网

  

当前位置： 查字典 > 图书网 > 算法 > 面向计算机科学的数理逻辑 > 给这本书正正身

波多野丽猪对面向计算机科学的数理逻辑的书评发表时间：2011-11-09 02:11:40

给这本书正正身

敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。
摆脱各位如果真想搞computer SCIENCE，就读它吧，其他那些根本不能称之为数学。。
读英文的更好，推荐这本http://www.amazon.com/Computer-Scientists-Modern-Birkh%C3%A4user-Classics/dp/0817647627/ref=sr_1_1?s=books&ie=UTF8&qid=1320777239&sr=1-1

展开全文

有用 1 无用 3

您对该书评有什么想说的？

发表

对“给这本书正正身”的回应

数理fans 2017-05-11 19:08:32

尾生 :没有邢滔滔的那个联系实际。

这个作者在前言部分貌似说了。

数理fans 2017-05-11 19:04:29

波多野丽猪 :对啊先语义再语法，但其他教材大多把语义语法混用，殊不知在很多其它逻辑上语法看着一样但语义却不同考虑到历史不如让大家都去读弗雷格的原著

现在的离散数学教材严重混用了语义和语法。

漫漫人生路 2015-10-14 17:47:16

迷惘了

尾生 2012-03-19 21:16:11

没有邢滔滔的那个联系实际。

欲飞的翅膀 2012-03-16 12:17:06

可是这本先讲了语法吧？？？我之前上离散数学，虽然很不认真，但是大概还有点印象，也就是说语义推导还知道点规则。但是在上以这本为教材的数理逻辑时，好像是直接讲语法的啊？

波多野丽猪 2012-03-14 07:16:22

对啊先语义再语法，但其他教材大多把语义语法混用，殊不知在很多其它逻辑上语法看着一样但语义却不同考虑到历史不如让大家都去读弗雷格的原著

欲飞的翅膀 2012-02-26 21:52:06

但是，一般来说，应该先有语义才有语法，教学的顺序应该还是要考虑到历史、科学的发展脉络

图书栏目

查看更多