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

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

数学
# mathematics# proof techniques# logic# set theory# quantifiers# exercises# computer science
作者
丹尼尔·韦勒曼
出版社
DMK Press
年份
2021
语言
俄语
187
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

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

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

鲍勃·科克,亚历克斯·基辛格

从数学到泛型编程

从数学到泛型编程

亚历山大·A·斯捷潘诺夫,丹尼尔·E·罗斯

程序正确性证明

程序正确性证明

K. 鲁斯坦 M. 莱诺

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

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

V. D. 瓦列金斯基, A. A. 科尔涅夫

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

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

罗伯特·C·萨托

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

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

安德鲁·格尔曼,詹妮弗·希尔,阿基·韦赫塔里

人工智能系统

人工智能系统

A. V. Ostroukh, N. E. Surkova

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

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

保罗·J·纳欣

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

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

马蒂亚斯·费尔莱森,罗伯特·布鲁斯·芬德勒,马修·弗拉特,斯里拉姆·克里希纳穆尔蒂

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

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

弗拉德松·费雷拉·菲洛

THELIB

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

目录

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

账户

  • 注册
  • 登录
  • 支持

信息

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