数理逻辑与算法理论：教材
A

数理逻辑与算法理论：教材

算法
mathematical logic theory of algorithms Turing machine computability formal systems computational complexity automated theorem proving
作者
Yu. V. 瓦因施泰因, T. G. 片科娃, V. I. 瓦因施泰因
出版社
西伯利亚联邦大学（SFU）
年份
2019
语言
俄语
221
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

数理逻辑：本科教材

数理逻辑：本科教材

V.L. 马特罗索夫，M.S. 米尔佐耶夫

算法理论

算法理论

V.I. Igoshin

算法：设计与应用。计算机科学经典

算法：设计与应用。计算机科学经典

Dzh. Kleynberg, E. Tardos

编程入门：理论、算法、语言与方向

编程入门：理论、算法、语言与方向

未指定

概率论与数理统计：教材

概率论与数理统计：教材

V. Ya. Derr

计算机算法开发与分析

计算机算法开发与分析

阿尔弗雷德·V·阿霍，约翰·E·霍普克罗夫特，杰弗里·D·乌尔曼

数学建模导论：教材

数学建模导论：教材

V.N. Ashikhmin, M.B. Gitman, N.E. Keller, O.B. Naymark, V.Yu. Stolbov, P.V. Trusov, P.G. Frik

算法与程序。C++语言

算法与程序。C++语言

E. A. Konova, G. A. Pollak

算法。最简洁易懂的课程

算法。最简洁易懂的课程

帕诺斯·卢里达斯