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

Online Public Access Catalogue

题名/责任者:

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

版本说明:

俄文

出版发行项:

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

ISBN及定价:

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

载体形态项:

370页;21cm

其它题名:

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

丛编项:

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

个人责任者:

波波夫, 弗拉基米尔 著

学科主题:

代数-算法-俄文

学科主题:

生物信息论-算法-俄文

学科主题:

机器人技术-算法-俄文

中图法分类号:

O15

书目附注:

有书目 (第331-357页)

提要文摘附注:

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

豆瓣简介：