Metamath: a computer program language for pure mathematics

Name: Metamath: a computer program language for pure mathematics
Rating: 4.5 (53 reviews)
Author: zhengyuliyali

上传者：zhengyuliyali 2019-09-26 05:15:49上传 PDF文件 1.29MB 热度 53次

Agoodbookconcernningmetamath.

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Metamath a computer program language for pure mathematics

Agoodbookconcernningmetamath.

大小：0B | 2019-09-26 05:15:49
An Infinite Descent into Pure Mathematics

《纯数学的无穷递降》，名字很吓人，其实是一本数学基础入门书，非常清晰易读，同时不失严谨。该书作为卡耐...

大小：0B | 2018-12-28 04:36:33
An infinite descent into pure mathematics

一本十分好用的入门的离散数学资料，由浅入深，带你体验离散数学的乐趣

大小：0B | 2019-09-21 20:57:54
The Language of Mathematics

Thisthesisattemptsaformalizationofthelanguageofmat...

大小：0B | 2020-05-15 16:53:22
A course in pure mathematics by Margaret Gow

Publishedin1960.StandardtextbookforAlevelPureMathe...

大小：0B | 2019-09-26 05:15:50
Mathematics for Computer Science

〈MathematicsforComputerScience〉在网上下载的资源，分享给有需要的朋友。...

大小：0B | 2020-06-09 01:43:50
mathematics computer science

MIT 和Google于2017年3月6号联合发布的计算机科学的数学基础,文字版。

大小：12.83MB | 2020-09-24 19:05:11
Computer Mathematics epub

Computer Mathematics 英文epub 本资源转载自网络,如有侵权,请联系上传者或c...

大小：9.71MB | 2021-05-05 10:27:37
Mathematics for Computer Graphics

Mathematics for Computer Graphics 第二版 by John Vinc...

大小：3.61MB | 2020-08-07 20:07:50
The C Language Program

大小：0B | 2019-01-01 14:29:20
The C Program Language

大小：0B | 2019-01-01 14:29:26
c program language

cprogramlanguage中文版第二版

大小：0B | 2020-05-13 01:52:45
python language program

pythonlanguageprogram

大小：0B | 2019-09-20 11:15:56
Computer Program for combustion

航空发动机燃烧室计算，这里面包含了如何具体的计算燃烧室里的各种污染物排放，在详细计算航空发动机污染物...

大小：0B | 2019-07-25 18:19:11
the c program language

大小：0B | 2019-01-01 14:28:59
Discrete Mathematics for Computer Science

Discrete Mathematics for Computer Science

大小：7.92MB | 2020-07-18 17:12:53