集合论、数学逻辑和算法论问题（第5版）俄文

图书标准信息

• 作者 [俄罗斯]伊戈里.安德烈耶维奇.拉夫罗夫
• 出版社 哈尔滨工业大学出版社
• 出版时间 2021-01
• 版次 1
• ISBN 9787560392271
• 定价 98.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 397页
• 字数 305千字

【内容简介】

本书是一部版权引进自俄罗斯的俄文版数学教材，中文书名可译为《集合论、数学逻辑和算法论问题：第5版》，作者是伊戈里.安德烈耶维奇.拉夫罗夫，俄罗斯人，数学逻辑和算法理论领域的知识名专家；还有一位是拉丽莎.利沃夫娜.马克西莫娃，俄罗斯人，数学家和教育家，数学逻辑领域的专家。
  原出版机构给出的介绍说：本书以问题的形式系统地阐述了集合论、数学逻辑和算法论的基础。本书旨在积极研究数学逻辑和相关科学。
  本书由三部分组成:“集合论”“数学逻辑”和“算法理论”，并针对问题提供了说明和答案，所有必要的定义都在每节的简要理论介绍中提出。
  本书可以用作大学、师范学院的数学系，以及技术大学在控制论和信息学研究中的教科书，适用于代数学家、逻辑学家和控制论学家。

【目录】

本书内容比较初等、浅显，翻译目录如下：

第1章 集合论

1.集合运算

2.关系式和函数

3.特殊二元关系

4.基数

5.序数

6.基数演算

第2章 数学逻辑

1.逻辑代数

2.逻辑代数函数

3.逻辑计算

4.谓词逻辑语言

5.谓词逻辑公式可实现性

6.谓词演算

7.公理理论

8.过滤后乘积

9.可公理化类别

第3章 算法论

1.部分递归函数

2.图灵机

3.递归集合和递归可数集合

4.Clinic和Post编码

答案，解法，说明

参考文献

内容索引