alexwei
- 浏览: 39717 次
- 性别:
- 来自: 北京
-
最新评论
-
alexwei：
太大了, 35m
下到了奇书：Godel，Escher，Bach：An Eternal Golden Braid -
blueice：
发我邮箱吧
yutao0914@163.com
不胜感激！！
下到了奇书：Godel，Escher，Bach：An Eternal Golden Braid -
blueice：
晕
给个下载地址先
谢谢！！
下到了奇书：Godel，Escher，Bach：An Eternal Golden Braid
下到了奇书：Godel，Escher，Bach：An Eternal Golden Braid
相关推荐
哥德尔、艾舍尔、巴赫——集异壁之大成Godel Escher Bach--an Eternal Golden Braid（高清中英文版）
GEB-EGB《哥德尔 艾舍尔 巴赫：集异璧之大成》的英文版，打好目录标签
Godel Escher Bach an ternal golden braid中文明集异璧之大成，非常经典的的科普书
哥德尔·艾舍尔·巴赫：集异璧之大成
递归过渡网络，来自Godel，Escher，Bach等人的书 该程序实现了并使用它来生成给定结构的随机英语短语。 我已经在该程序中实现了以下两个RTN： 摘自道格拉斯·霍夫施塔特（Douglas Hofstadter）的戈德尔（Escher）...
godel-conjure-plugin godel-conjure-plugin是的插件。 该插件根据项目配置运行。 它还作为--verify任务的一部分运行，并验证运行该任务不会更改输出目录的内容。 任务 conjure ：运行Conjure生成。 按顺序运行配置...
godel-refreshables-plugin 一个godel插件，用于为任意类型生成强类型的包装器。 对于每种目标类型及其构造所需的类型，插件将生成一个接口定义（和实现），该接口定义从refreshable.Refreshable接口提供Current ， ...
Lecture notes on Godel's Incompleteness Theorem, lOGIC INCOMPLETENESS!
Heijenoort编辑的逻辑论文集，从Frege到Godel的原始论文集，djvu格式
godel-mod-plugin godel-mod-plugin是一个插件，可帮助标准化和验证项目的Go模块状态。 任务运行得go mod tidy以标准化项目的所有模块依存关系。 如果GOFLAGS环境变量包含值-mod=vendor ，则此任务将在运行go mod ...
戈德尔Godel是用于收集，处理，呈现和连接信息的解决方案。
UCBerkerly的一门课程的阅读材料，课程网址：http://www.eecs.berkeley.edu/~christos/classics/
哥德尔系统T解释器该项目是编程语言的基本解释器。 目前只支持单行的执行。 解释器是用 Haskell 编程语言编写的。 有关哥德尔系统 T 语义的技术理解，请阅读第 9 章。...句法Godel 的 System T 只有两种类
Godel_Studying
The logic programming approach to computing investigates the use of logic as a programming language and explores computational models based on controlled deduction. The field of logic programming ...
godel许可插件 godel-license-plugin是的插件。 它提供了可以添加，删除和验证项目文件上的许可证标头的任务。 任务 license ：根据配置向文件添加许可证。 核实 作为verify任务的一部分运行时，如果apply=true ，则...
并在Godel逻辑系统中选取形如τ(p→X) =α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X) =α有同型解当且仅当α=0或1;有m-同型解(m≥2)当且仅当...
godel-okgo-asset-errcheck godel-okgo-asset-errcheck是的资产。 它提供了检查的功能。 此检查将验证软件包中是否没有未检查的错误。
godel-okgo-asset-nobadfuncs godel-okgo-asset-nobadfuncs是的资产。 它提供了检查的功能。 此检查将验证未引用一组列入黑名单的功能。
godel-okgo-asset-varcheck godel-okgo-asset-varcheck是的资产。 它提供了检查的功能。 此检查将验证没有未使用的未导出的全局变量或常量。