没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
哥德尔编码(数理逻辑)
哥德尔编码(数理逻辑)
数理逻辑
需积分: 10
11 下载量
138 浏览量
2010-11-28
17:10:31
上传
评论
收藏
51KB
PDF
举报
温馨提示
立即下载
数理逻辑中关于哥德尔编码的讲义,很实用,很有内涵
资源推荐
资源评论
数理逻辑的光辉历程-莱布尼茨和哥德尔猜想的解决方案(含代码)
浏览:200
本文主要介绍数理逻辑的发展历程中的两位主要人物莱布尼茨和哥德尔。从莱布尼茨开始创造数理逻辑主要用代数方法处理古典形式逻辑的推理,到哥德尔的完全性定理与不完全性定理。
同态加密以及对几种不同的同态加密算法进行分析
浏览:39
同态加密库,以及对几种不同的同态加密算法进行分析。
基于同态加密的机器学习研究综述.pdf
浏览:67
基于同态加密的机器学习研究综述
同态加密算法实现
浏览:103
5星 · 资源好评率100%
基于RWLE假设的同态加密算法的实现,简单易懂,自己写的。
完全同态加密
浏览:26
5星 · 资源好评率100%
同态加密是最近比较流行的加密算法,本文为完全同态加密算法,英文版,经典,
同态加密c代码
浏览:113
同态加密/解密C代码,已经编译通过!fhe-enc,fhe-dec 同态加密/解密C代码,已经编译通过!fhe-enc,fhe-dec
“累值制”数理逻辑及其编码、组合编码之研究
浏览:102
“累值制”数理逻辑及其编码、组合编码之研究,张启斌,,“累值制”是人类初年使用的一种近乎自然的、形象的计数体制,现在通行的“位值制”即是在累值制基础上建立起来的一种高级的、抽
数理逻辑 汪芳庭 XPS文档(可用IE直接打开)
浏览:66
5星 · 资源好评率100%
国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。
哥德尔不完备定理.pdf
浏览:4
4星 · 用户满意度95%
哥德尔不完备定理是数理逻辑及形式语言的一次突破(及灾难)
哥德尔证明 pdf 中文
浏览:178
4星 · 用户满意度95%
《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。内容简介《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读...
弦论的哥德尔宇宙
浏览:108
哥德尔宇宙是直线和三维时空的直接积,我们称为Gα。 在本文中,我们证明了Gödel度量可以作为爱因斯坦-麦克斯韦-阿克西恩,爱因斯坦-普罗卡-阿克西恩或Freedman-Schwarz规范超重力理论中的精确解而出现。 最后一个...
FHEW--一个全同态加密库的学习记录
浏览:42
5星 · 资源好评率100%
这是针对一个全同态加密库FHEW的学习记录,结合GitHub上的代码,对FHEW库加解密算法、密文算法和密文生成算法进行了简单介绍。
同态加密代码和文档.zip
浏览:29
文件里面包括全同态加密提出者Gentry博士有关同态加密的文档介绍,还有IBM公司用C编写的代码,很适合相关领域的学者学习使用
全同态加密
浏览:14
同态加密是指2009年,IBM公司的克雷格·金特里(Craig Gentry)发表了一篇文章,公布了一项关于密码学的全新发现:一项真正的突破。他发现,对加密的数据进行处理得到一个输出,将这一输出进行解密,其结果与用同一方法处理未加密的原始数据得到的输出结果是一样的。这听起来就像是不知道问题也能给出问题的答案一样。
在深度学习中用同态加密技术进行隐私保护
浏览:27
3星 · 编辑精心推荐
利用同态加密技术在深度学习中对用户的隐私进行保护。
基于RLWE的全同态加密方案_汤殿华
浏览:71
2014最新文章 比看英文版的要舒服多了
哥德尔证明-道格拉斯 R. 霍夫斯塔特
浏览:145
哥德尔发表了一篇革命性的论文,对传统数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日,他对未知领域进行的探索,已被公认为是对现代科学思想的重大贡献。 《哥德尔证明》是第一本既面向学者又面向...
哥德尔型时空中拓扑缺陷的量子影响
浏览:134
在这一贡献中,考虑了带有嵌入式宇宙弦的哥德尔型度量中Klein-Gordon方程的一些解。 找到了三个空间中标量粒子的量子动力学,它们的度量标准由不同类别的Gödel解描述,宇宙线穿过这些空间。 获得了Klein-Gordon算子...
哥德尔公理有效性证明.rar
浏览:18
哥德尔公理有效性证明 这本书能有效说明数学是被发现的,还是发明的? 你是否曾对π 中的数字排列如此混乱而感到困惑?为什 么 “圆的周长含有多少个直径的长度” 这样一个简单而又 自然的问题,竟导致这么一个玄奥...
对哥德尔不完备定理的一种理解
浏览:198
对哥德尔不完备定理的一种理解,丘志宏,,哥德尔不完备定理实际上包含了三个可能的命题:命题1,一个包括初等数论的形式系统是一致的但是是不完备的;命题2,一个包括初等�
哥德尔、埃舍尔、巴赫——集异璧之大成
浏览:193
哥德尔、埃舍尔、巴赫——集异璧之大成 ,哥德尔、埃舍尔、巴赫——集异璧之大成 ,哥德尔、埃舍尔、巴赫——集异璧之大成
哥德尔时空中的卡西米尔力及其可能引起的宇宙学不均匀性
浏览:93
对于有限温度下的标量场,计算了哥德尔宇宙中两个平行板之间的卡西米尔力。 可以观察到,当板块的间隔与时空旋转所给定的比例相当时,该力会相互排斥,然后接近零。 由于先前已经证明了宇宙可能在短时间内经历了Gö...
哥德尔型时空中标量和自旋半粒子的能量动量分布和相对论量子效应
浏览:191
在本文中,我们评估了使用Møller,Einstein,Landau-Lifshitz,Papapetrou和Bergmann-Thomson的不同复合体与拓扑琐碎的Gödel型时空相关的能量-动量分布。 此处获得的结果可能支持Cooperstock的能量本地化假设。...
R.斯穆里安的四个哥德尔式论证的无效性
浏览:64
R.斯穆里安的四个哥德尔式论证的无效性,杨六省,,目的 讨论
哥德尔 艾舍尔 巴赫-集异壁之大成
浏览:19
dos版的 可能有错字但是 看得清 一本很有深度的书
哥德尔·艾舍尔·巴赫:集异璧之大成
浏览:21
5星 · 资源好评率100%
哥德尔·艾舍尔·巴赫:集异璧之大成
布朗斯-迪克理论中的哥德尔和哥德尔型宇宙
浏览:193
本文研究了Brans–Dicke(BD)标量-张量理论中Gödel和Gödel型解的存在条件及其主要特征。 研究了运动方程的一致性,因果关系违反和CTC(闭合的类似时间的曲线)的存在。 研究了宇宙常数和马赫原理对实现该模型的...
“哥德尔不完备定理”到底说了些什么1
浏览:163
“哥德尔不完备定理”到底说了些什么1
刘晓力 2006年 哥德尔的遗产及其百年启示 (学术沙龙)1
浏览:21
刘晓力 2006年 哥德尔的遗产及其百年启示 (学术沙龙)1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
刀西苔
粉丝: 5
资源:
18
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于python的二手商品交易平台 python+django开发的供需平台
微信小程序源码 侧滑布局小程序 (源码下载 +内附使用说明)
heima-JUC-资料
coreg_FSL.sh
ROS+YOLOV8+SLAM智能小车导航实战(四、激光雷达+SLAM建图)
什么是决策树,有哪些适用场景?
基于python开发的口红色号识别程序+源码+开发文档+源码解析(毕业设计&课程设计&项目开发)
TP-LINK TL-WN725N V3 Linux 驱动
020ssm-jsp-mysql班级同学录网站.zip(可运行源码+数据库文件+文档)
什么是stm32f103rct6,有哪些优缺点?
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功