杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

集合论、数学逻辑和算法论问题/(俄) 伊戈里·安德烈耶维奇·拉夫罗夫, 拉丽莎·利沃夫娜·马克西莫娃著

版本说明:

俄文

出版发行项:

哈尔滨:哈尔滨工业大学出版社,2021

ISBN及定价:

978-7-5603-9227-1/CNY98.00

载体形态项:

397页;21cm

丛编项:

国外优秀数学著作原版系列

个人责任者:

拉夫罗夫, 伊戈里·安德烈耶维奇 著

个人责任者:

马克西莫娃, 拉丽莎·利沃夫娜 著

学科主题:

集论-俄文

学科主题:

数理逻辑-俄文

学科主题:

算法-俄文

中图法分类号:

O144

版本附注:

原书第5版

提要文摘附注:

本书分为三章: 第一章为集合论, 包括集合论运算、关系式和函数、特殊二元关系、纯数等 ; 第二章为数学逻辑, 包括逻辑代数、逻辑代数函数、逻辑计算、谓词逻辑语言、谓词逻辑公式可实现性等 ; 第三章为算法论, 包括部分递归函数等。

豆瓣简介：