超值优惠券
¥50
100可用 有效期2天

全场图书通用(淘书团除外)

不再提示
关闭
图书盲袋,以书为“药”
欢迎光临中图网 请 | 注册
> >
数理逻辑的思想与方法(第二版)

数理逻辑的思想与方法(第二版)

作者:李娜
出版社:南开大学出版社出版时间:2023-08-03
开本: 16开 页数: 306
本类榜单:自然科学销量榜
中 图 价:¥27.0(5.5折) 定价  ¥49.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>

数理逻辑的思想与方法(第二版) 版权信息

  • ISBN:9787310050628
  • 条形码:9787310050628 ; 978-7-310-05062-8
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 所属分类:>

数理逻辑的思想与方法(第二版) 内容简介

全书包括六章。**章,主要介绍集合、集合运算的基本思想和方法。这一章的目的在于为以后各章的使用奠定基础。第二章至第四章,介绍命题逻辑的基本思想和方法。第五章和第六章介绍狭谓词逻辑的基本思想和方法。

数理逻辑的思想与方法(第二版) 目录

**章 集合论初步 节 基本概念 1.1.1 关于集合的定义 1.1.2 集合的表示方法 1.1.3 罗素悖论 1.1.4 集合的包含和相等关系 1.1.5 空集和幂集 1.1.6 练习 第二节 集合的基本运算 1.2.1 并集及其运算 1.2.2 交集及其运算 1.2.3 差集及其运算 1.2.4 全集 1.2.5 集合运算之间的关系 1.2.6 练习 第三节 关系 1.3.1 有序对和n元有序组 1.3.2 笛卡儿乘积 1.3.3 关系的概念 1.3.4 关系的性质 1.3.5 几种特殊的二元关系 1.3.6 练习 第四节 映射 1.4.1 映射的概念和性质 1.4.2 映射的合成 1.4.3 两个集合之间的一一对应 1.4.4 练习 第二章 命题和命题形式 节 命题真值联结词 2.1.1 简单命题及复合命题 2.1.2 五个基本的真值联结词 2.1.3 初始联结词 2.1.4 练习 第二节 命题形式重言式 2.2.1 命题形式 2.2.2 真值表方法 2.2.3 真值函项 2.2.4 重言式 2.2.5 重言式的作用 2.2.6 重言式的判定方法 2.2.7 练习 第三节 范式 2.3.1 范式 2.3.2 优范式 2.3.3 范式的作用和应用 2.3.4 两种运算 2.3.5 练习 第三章 命题逻辑 节 形式系统 3.1.1 公理系统
展开全部
商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服