代数、生物信息和机器人技术的算法问题.第六卷，恒等式和准恒等式的相等问题、可推导性和可实现性(俄文）

图书标准信息

• 作者 [俄罗斯]弗拉基米尔·波波夫 著
• 出版社 哈尔滨工业大学出版社
• 出版时间 2020-08
• 版次 1
• ISBN 9787560389899
• 定价 128.00元
• 装帧 平装
• 开本 其他

【内容简介】

本书主要介绍了等式可解性和计算复杂性相关的算法问题，以及恒等式和准恒等式可导性和可实现性问题。本书共分为五章，第一章为有限半群恒等式可行性问题计算复杂性；第二章为自由半群和环的相等问题；第三章为恒等式的可推导性和有限基数，包括恒等式可推导性一般问题，半群、群和环有限基数识别；第四章为有限代数中的准恒等式可实现性；第五章为有限定义的交换半群的相等问题复杂性。本书内容严谨，叙述清晰简洁，适合大学师生及相关专业人士阅读。

【目录】