点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,计算机/网络,计算机理论,

作者： 王元元

出 版 社： 科学出版社

出版时间： 2001-9-1字数：版次： 1版2次页数： 266印刷时间：开本：印次：纸张：I S B N ： 9787030010674包装：内容简介

1989年科学出版社出版了《计算机科学中的逻辑学》，该书于1992年获国家优秀教材奖，1997年被国家教委列为“九五“规划重点发展教材。根据教材建设的需要，借本次重印之机，对原书的内容进行了增补，其主要内容包括：形式化和形式系统的概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统等内容。

目录

一，绪论

二，命题演算形式系统

三，一阶谓词演算

四，其它形式的一阶谓词演算系统

五，消解原理及其应用

六，霍恩子句逻辑和逻辑程序设计

七，二阶谓词演算

八，模态逻辑

九，时序逻辑与动态逻辑

十，多值逻辑及模糊逻辑

十一，非单调逻辑

十二，λ－演算与组合逻辑

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。