南京江北新区图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

代数、生物信息和机器人技术的算法问题:俄文.第六卷.恒等式和准恒等式的相等问题、可推导性和可实现性/(俄) 弗拉基米尔·波波夫著

版本说明:

[影印版]

出版发行项:

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

ISBN及定价:

978-7-5603-8989-9/CNY128.00

载体形态项:

370页;21cm

其它题名:

恒等式和准恒等式的相等问题、可推导性和可实现性

丛编项:

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

个人责任者:

波波夫, 弗拉基米尔 著

学科主题:

代数-算法-俄文

学科主题:

生物信息论-算法-俄文

学科主题:

机器人技术-算法-俄文

中图法分类号:

O15

中图法分类号:

Q811.4

中图法分类号:

TP24

书目附注:

有书目 (第331-357页)

提要文摘附注:

本书主要介绍了等式可解性和计算复杂性相关的算法问题，以及恒等式和准恒等式可导性和可实现性问题。本书共分为五章，第一章为有限半群恒等式可行性问题计算复杂性；第二章为自由半群和环的相等问题；第三章为恒等式的可推导性和有限基数，包括恒等式可推导性一般问题，半群、群和环有限基数识别；第四章为有限代数中的准恒等式可实现性；第五章为有限定义的交换半群的相等问题复杂性。

使用对象附注:

本书内容严谨，叙述清晰简洁，适合大学师生及相关专业人士阅读。

豆瓣简介：