标签：数理逻辑,逻辑,计算机,数学,计算机科学,计算机数学,逻辑学,消解,
原作名:Logic for Applications
作者：Anil Nerode Richard A.Shore
出版年月：2020-02-20 …
页数： 284页
最新访问：2020-03-06 …
网友评分： 7.7
经典好书《应用逻辑》读书内容简介:一……我们强烈建议把它作为教科书……”——美国计算机协会自动机与可计算性理论专业组 (SIGACT)这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻...
详情
