数理逻辑引论与归结原理

数理逻辑引论与归结原理 pdf epub mobi txt 电子书 下载 2025

出版者:科学出版社
作者:王国俊
出品人:
页数:216
译者:
出版时间:2003-1
价格:29.00元
装帧:
isbn号码:9787030115799
丛书系列:现代数学基础丛书
图书标签:
  • 数理逻辑
  • 逻辑学
  • 逻辑
  • 数学
  • 数理逻辑
  • 逻辑学
  • 归结原理
  • 人工智能
  • 计算机科学
  • 哲学
  • 推理
  • 形式化方法
  • 命题逻辑
  • 谓词逻辑
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的Boole代数理论;命题演算与一阶谓词演算理论;归结原理理论以及多值逻辑演算理论等内容。

作者简介

目录信息

第一章 预备知识
1.1偏序集
1.2格
1.3Boole代数
第二章 命题演算
2.1命题及其符号化
2.2命题演算的语义理论
2.3命题演算的语构理论
第三章 一阶谓词演算的语义理论
3.1一阶语言
3.2解释、逻辑有效公式
3.3逻辑等价
第四章 一阶渭词演算的语构理论
4.1形式系统K&
4.2可证等价关系
4.3前束范式
4.4一阶系统K&
· · · · · · (收起)

读后感

评分

评分

评分

评分

评分

用户评价

评分

代数部分有点多余了,但很严谨

评分

代数部分有点多余了,但很严谨

评分

代数部分有点多余了,但很严谨

评分

代数部分有点多余了,但很严谨

评分

代数部分有点多余了,但很严谨

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有