您好,欢迎来到聚文网。 登录 免费注册
数理逻辑的思想与方法(第2版十二五普通高等教育本科国家级规划教材)

数理逻辑的思想与方法(第2版十二五普通高等教育本科国家级规划教材)

  • 字数: 343
  • 出版社: 南开大学
  • 作者: 编者:李娜|
  • 商品条码: 9787310050628
  • 版次: 2
  • 开本: 16开
  • 页数: 306
  • 出版年份: 2016
  • 印次: 3
定价:¥49 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
全书包括六章。第一章 ,主要介绍集合、集合运算 的基本思想和方法。这一章 的目的在于为以后各章的使 用奠定基础。第二章至第四 章,介绍命题逻辑的基本思 想和方法。第五章和第六章 介绍狭谓词逻辑的基本思想 和方法。
目录
第一章 集合论初步 第一节 基本概念 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 公理系统

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网