THELIB
分类规则 规则 登录
  • 图书
  • 算法与理论
  • 数学
  • 数学证明的艺术。附练习的讲座课程
数学证明的艺术。附练习的讲座课程
A

数学证明的艺术。附练习的讲座课程

数学
# mathematics# proof techniques# logic# set theory# quantifiers# exercises# computer science
作者
Дэниэл Веллеман
出版社
ДМК Пресс
年份
2021
语言
俄语
44
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

量子过程图解:量子理论与图推理入门课程

量子过程图解:量子理论与图推理入门课程

Боб Коке, Алекс Киссинджер

从数学到泛型编程

从数学到泛型编程

Александр А. Степанов, Дэниэл Э. Роуз

程序正确性证明

程序正确性证明

К. Рустан М. Лейно

C/C++ 编程方法与实例解析

C/C++ 编程方法与实例解析

В. Д. Валединский, А. А. Корнев

量子比特之舞:量子计算究竟如何运作

量子比特之舞:量子计算究竟如何运作

Роберт С. Сатор

回归分析:理论与实践。使用R和Stan的示例

回归分析:理论与实践。使用R和Stan的示例

Эндрю Гельман, Дженнифер Хилл, Аки Вехтари

人工智能系统

人工智能系统

А. В. Остроух, Н. Е. Суркова

有趣积分的秘密(附复变积分入门)

有趣积分的秘密(附复变积分入门)

Пол Дж. Нахин

如何设计程序。编程与计算机计算导论

如何设计程序。编程与计算机计算导论

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

计算机科学理论精要。程序员和开发者必备知识

计算机科学理论精要。程序员和开发者必备知识

Владстон Феррейра Фило

THELIB

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

目录

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

账户

  • 注册
  • 登录
  • 支持

信息

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