下载  >  开发技术  >  其它  > MyLisp公理与标准

MyLisp公理与标准 评分:

元编程算法 DSL 宏编程 自然语义 形而上学编程 哲学(易经) 延迟求值,惰性编程

...展开详情
2014-10-29 上传 大小:958KB
举报 收藏
分享
MyLisp解释器

MyLisp解释器,用于元编程,宏编程等算法研究

立即下载
MyLisp公理与标准

元编程算法 DSL 宏编程 自然语义 形而上学编程 哲学(易经) 延迟求值,惰性编程

立即下载
公理集合论导论

公理集合论(axiomatic set theory)是数理逻辑的主要分支之一,是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。 19世纪70年代,德国数学家G.康托尔给出了一个比较完整的集合论,对无穷集合的序数和基数进行了研究。20世纪初,罗素悖论指出了康托尔集合论的矛盾。为了克服悖论,人们试图把集合论公理化,用公理对集合加以限制。

立即下载
公理集合论导引

集合论中不错的理论书籍,适合初学者使用的辅导书,全书涉及的内容丰富,值得你去完整的看一遍。

立即下载
公理集合论导引.pdf

公理集合论导引.pdf

立即下载
计算机程序设计的公理依据

计算机理论经典文档系列 An axiomatic basis for computer programming 计算机程序设计的公理依据(呵,中文名都是我胡乱译的)

立即下载
理论力学概念和公理.PPT

理论力学概念和公理 西北工业大学 支希哲 朱西平 侯美丽

立即下载
拓扑学课件-分离性公理

拓扑学的分离性公理,课件。内容讲的还不错

立即下载
朴素集合论-6、选择公理

朴素集合论-6、选择公理! 值得下载看看!资源免费,大家分享!!

立即下载
数据库armstrong公理系统,函数依赖学习攻略

关于数据库armstrong公理系统,函数依赖的学习攻略

立即下载
zorn引理的一个基于选择公理的证明

zorn引理有很多等价形式,该文通过先证明了三个引理,然后解决了zorn引理的证明。

立即下载
《Rigid Flexibility》黄培:非公理化推理系统(NARS)

王培教授表示,“智能”是在知识和资源相对不足的条件下解决问题的机制。纳思是非公理化推理系统(Non-Axiomatic Reasoning System,NARS)的简称,该系统表现出很多与人类思维活动相似的特征,具有广泛的领域适用性。

立即下载
公理集合论导引(国人第一权集合论专著)

每个人都知道许多集合,但是,值得注意的是集合这一重要的概念,没有一个来谨的数学定义。只是有一个描述性的说明。.......

立即下载
数学丛书.-.[现代数学基础丛书].[公理集合论导引]

数学丛书.-.[现代数学基础丛书].[公理集合论导引]数学丛书.-.[现代数学基础丛书].[公理集合论导引]

立即下载
1 Takeuti,Zaring. Introduction to Axiomatic Set Theory. 2nd ed.[公理化集合论引论]].djvu

in 1963, the first author introduced a course in set theory

立即下载
基于AFS的多民族人脸语义描述与挖掘方法研究

一篇论文,基于AFS的多民族人脸语义描述与挖掘方法研究:人脸特征; 公理化模糊集; 语义概念; 复杂语义; 语义规则集;

立即下载
数理逻辑:基本原理与形式演算

数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有指导作用。本书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限,修正演算系统,过程模式及其性质,以及归纳推理理论,提出了三个语言环境的思想以及元语言环境的基本原理,并描述了信息社会中科学研究的工作流程。

立即下载
概率论与数理统计 答案

本书是一本概率论的入门教材,系统介绍了概率论的基础理论及应用,在取材、结构和写作方法等方面具有鲜明的特点。通过例题阐述概率论的基本概念与方法是本书的一大特色。作者独具匠心地选择和编排了大量例题与习题,这些内容约占全书的三分之二。通过这些例题和习题,读者可以了解概率论在各个领域的广泛应用,如基因、彩票、法庭判决、NBA选秀等。   本书系统介绍了概率论的基础理论及应用,主要内容包括组合分析、概率论和公理、条件概率与独立性、随机变量及其分布、数学期望、极限定理、、随机模拟等。另外,作者精心选择了大量的

立即下载