The Language of Mathematics
Thisthesisattemptsaformalizationofthelanguageofmathematicaltextsdefinitionstheoremsformulasregardedasspecialnaturallanguagetexts;theformalizationaimstobesuitableforbeingprocessedbycomputersystems
用户评论
推荐下载
-
The Role of Mathematics in Physical Sciences
What the role of mathematics in physical sciences is, is a relevant philosophical and historical que
63 2018-12-25 -
Mathematics简明教程
Mathematics是一个美国公司开发数学软件，与matlab，maple一起被称为国际流行三大数学软件。
30 2019-05-22 -
From Mathematics to Generic Programming
From Mathematics to Generic Programming（从数学到泛型编程） PDF EPUB MOBI AZW3 全格式 完整版 PDF有完整书签
26 2019-04-07 -
Engineering Mathematics fifth edition
John Bird's approach to mathematics, based on numerous worked examples supported by problems, is ide
50 2019-04-07 -
Mathematics of Complexity and Dynamical Systems
这是关于数学复杂性动态系统的电子书，高清，最新版本，经典著作，英文版
35 2019-04-13 -
Applied Mathematics and Computational Intelligence
这是关于计算智能的电子书，高清，最新版本，经典著作，英文版
51 2019-04-10 -
from Mathematics to Generic Programming
STL之父大作，描写泛型编程与数学的关系，与语言无关，即使没有C++背景，附录有关C++子集的描述已足够
40 2019-06-04 -
Advanced Modern Engineering Mathematics
AdvancedModernEngineeringMathematics4th（高等现代工程数学）
41 2019-06-01 -
BASIC routines library in mathematics
BASIC一度是计算机编程主流语言，全国各高校，各大实验室必学BASIC。本书介绍常用微积分、代数、概率统计、微分方程算法，使用最朴素的APPLEIIBASIC语言实现。很难得的文献。
27 2019-06-03 -
Discrete Mathematics and Its Applications
Thistextbookisdesignedforaone-ortwo-termintroductorydiscretemathematicscoursetakenbystudentsinawidev
37 2019-06-04
暂无评论