|
题名:
|
集合论、数学逻辑和算法论问题 ji he lun 、shu xue luo ji he suan fa lun wen ti / (俄)伊戈里·安德烈耶维奇·拉夫罗夫，(俄)拉丽莎·利沃夫娜·马克西莫娃著 , |
|
ISBN:
|
978-7-5603-9227-1 价格： CNY98.00 |
|
语种:
|
chi |
|
载体形态:
|
397页 21cm |
|
出版发行:
|
出版地： 哈尔滨 出版社： 哈尔滨工业大学出版社 出版日期： 2021 |
|
内容提要:
|
本书分为三章：第一章为集合论，包括集合论运算、关系式和函数、特殊二元关系、纯数等；第二章为数学逻辑，包括逻辑代数、逻辑代数函数、逻辑计算、谓词逻辑语言、谓词逻辑公式可实现性等；第三章为算法论，包括部分递归函数等。 |
|
主题词:
|
集论 |
|
主题词:
|
数理逻辑 |
|
主题词:
|
算法 |
|
中图分类法:
|
O144 版次： 5 |
|
主要责任者:
|
拉夫罗夫 la fu luo fu 著 |
|
主要责任者:
|
马克西莫娃 ma ke xi mo wa 著 |