点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 哥德尔不完备定理
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
哥德尔不完备定理 pdf 下载
本书有关于哥德尔不完全定理的详细精到的介绍 读者可以从中感受到逻辑学的美妙和惊叹 也为哥德尔天才般的构想所折服
所属分类:
专业指导
发布日期:2010-02-27
文件大小:4194304
提供者:
laowuri
哥德尔不完备定理
哥德尔不完备定理,伟大的数学理论,经典数学理论
所属分类:
专业指导
发布日期:2013-10-31
文件大小:4194304
提供者:
pansycat1980
哥德尔不完备定理
哥德尔不完备定理的简单介绍,推荐有兴趣的读者看一下。
所属分类:
教育
发布日期:2014-03-16
文件大小:4194304
提供者:
binarypoet
哥德尔不完备定理.pdf
哥德尔不完备定理是数理逻辑及形式语言的一次突破(及灾难)
所属分类:
专业指导
发布日期:2009-02-28
文件大小:4194304
提供者:
nidearong
吴文俊:不朽的数学人生,照耀人工智能发展之路.md
2019.09.17 中国人工智能学会原名誉理事长、中国科学院院士吴文俊获“人民科学家”国家荣誉称号的新闻报道。回顾大师不朽的数学人生,了解成就:吴类(拓扑学示性类及示嵌类)和吴公式,古代数学的算法和可计算性分析,开创崭新的**数学机械化**领域,提出 **用计算机证明几何定理的“吴方法”**,成为**自动推理领域**的先驱。 哥德尔的不完备性定理昭示了数学真理的探索永无止境,没有囊括一切真理的公理系统存在。真理的发展和认识是无穷的。不完备恰好预留了真理发展的空间。欧几里得几何的公理体系由于不
所属分类:
机器学习
发布日期:2019-09-21
文件大小:14336
提供者:
qq_27206435
对哥德尔不完备定理的一种理解
对哥德尔不完备定理的一种理解,丘志宏,,哥德尔不完备定理实际上包含了三个可能的命题:命题1,一个包括初等数论的形式系统是一致的但是是不完备的;命题2,一个包括初等�
所属分类:
其它
发布日期:2020-02-26
文件大小:339968
提供者:
weixin_38741891
辨析两对概念
辨析两对概念 文章目录辨析两对概念引言表达含义的符号和形式系统接近极限与求出极限 引言 我接触形式系统这个概念,是从《数学女孩(三)哥德尔不完备定理》中。另外,通过这本书,还重温了微积分中的极限。 表达含义的符号和形式系统 数学符号都是表达含义的符号。更宽泛地说,示意图、自然语言也都是。但它们不是形式系统。形式系统由形式公理和演算规则组成,本质上说是一组字符串和一组可对字符串进行的操作。 形式系统有相容性和完备性这两个概念。相容性是指一个形式命题和它的否定不能同时被证明,完备性是指任何系统内的命
所属分类:
其它
发布日期:2021-01-06
文件大小:63488
提供者:
weixin_38675465