THELIB
分类规则 规则 登录
  • 图书
  • 算法与理论
  • 算法
  • 数理逻辑与算法理论:教材
数理逻辑与算法理论:教材
A

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

算法
# mathematical logic# theory of algorithms# Turing machine# computability# formal systems# computational complexity# automated theorem proving
作者
Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн
出版社
Сибирский федеральный университет (СФУ)
年份
2019
语言
俄语
42
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

数理逻辑:本科教材

数理逻辑:本科教材

В.Л. Матросов, М.С. Мирзоев

算法理论

算法理论

В.И. Игошин

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

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

Дж. Клейнберг, Е. Тардос

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

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

Не указан

概率论与数理统计:教材

概率论与数理统计:教材

В. Я. Дерр

计算机算法开发与分析

计算机算法开发与分析

Альфред В. Ахо, Джон Э. Хопкрофт, Джеффри Д. Ульман

数学建模导论:教材

数学建模导论:教材

В.Н. Ашихмин, М.Б. Гитман, Н.Э. Келлер, О.Б. Наймарк, В.Ю. Столбов, П.В. Трусов, П.Г. Фрик

算法与程序。C++语言

算法与程序。C++语言

Е. А. Конова, Г. А. Поллак

算法。最简洁易懂的课程

算法。最简洁易懂的课程

Панос Луридас

THELIB

支持 8 种语言翻译的 IT 书籍库。

目录

  • 图书
  • 分类
  • 规则
  • 协议

账户

  • 注册
  • 登录
  • 支持

信息

  • thelib.cc
  • v0.1
© 2026 THELIB 8种语言 · AI实时翻译