E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
计算理论
数理逻辑5 --
计算理论
1
图灵机TuringMachine我读此书和做笔记主要出自于好奇心,前三章是为了搞懂神神秘秘的哥德尔不完备定理,顺便学习一阶逻辑的知识。第四章的集合论是为了以后的实分析、测度论、概率和随机过程等夯实基础,同时满足罗素悖论的好奇心。现在第五章,终于见到了自己的老本行,往好奇心方面说是为了弄懂停机问题,往夯实基础方面说是为了后续的复杂度理论和算法设计做准备,至少也要彻底弄懂P=NP究竟是什么问题。伟大的
SecPractitioner
·
2020-06-27 11:25
蠢蠢欲动的机电计算时代
二进制在计算中的应用,既是布尔代数
计算理论
的探
全球最闲程序员逸之
·
2020-06-26 14:07
01改变世界:计算机发展史趣谈
深度学习-80:展望深度学习的未来
1深度学习的理论进展深度学习理论的突破和云
计算理论
的突破,语音识别,图像
MTVideoAI
·
2020-06-26 08:41
深度学习专题
深度学习原理与实践
人工智能
深度学习
通用人工智能
奇点来临
展望未来
递归算法
计算理论
可以证明
转战三千里
·
2020-06-25 23:40
算法
什么叫做真正的学习能力!
最近,我的朋友斯考特·杨(ScottYoung)成就了一个惊人的壮举:他在一年之内,完成了传说中的MIT计算机科学课程表的全部33门课,从线性代数到
计算理论
。
muximuxi_kgsecond
·
2020-06-24 16:26
《AI未来》读书分享
(三大特点:多少可预测、意外性、产生重大影响)•“黑天鹅”意味着微小的变化足以颠覆一切▪姚期智(唯一华人图灵奖获得者)•计算机科学家,研究方向包括
计算理论
及其在密码学和量子计算中的应用•姚班(清华学堂计算机科学实验班
雪海无涯
·
2020-06-23 21:34
程序员的数学(一本为程序员朋友们写的数学书)(china-pub首发)
图灵程序设计丛书出版社:人民邮电出版社ISBN:9787115293688上架时间:2012-11-12出版日期:2012年11月开本:16开页码:232版次:1-1所属分类:计算机>计算机科学理论与基础知识>
计算理论
iteye_11916
·
2020-06-23 18:36
计算机图书
中国科学院软件研究所:博导研究方向及邮件地址 .
(at)ios.ac.cn张文辉形式化方法zwh(at)ios.ac.cn沈一栋数据挖掘,形式化方法ydshen(at)ios.ac.cn陈海明新型计算模型与应用chm(at)ios.ac.cn李昂生
计算理论
我心飞扬
·
2020-06-23 16:23
我知道一个学习资料的免费下载网站
MCSE|编译原理|操作系统|程序设计|电子商务|多媒体|多媒体教程|汇编语言程序设计|计算机导论|计算机仿真|计算机密码学|计算机体系结构|计算机图形学|计算机网络|计算机网络体系结构|计算机组成原理|
计算理论
hj071989
·
2020-06-23 14:08
重磅 | 人工智能21个子领域近十年2100名高引学者列表(附详细名单)
人工智能领域涵盖了包括自然语言处理、计算机视觉、Web与知识工程、机器人、图形学、可视化、虚拟现实、多媒体、人机交互、语音识别、物联网、计算经济学、
计算理论
、信息系统、计算机安全、信息检索、数据库、机器学习
DatapiTHU
·
2020-06-23 05:59
关于计算机研究生报考方向的简要介绍
>研究方向有:软件理论与工程,
计算理论
,嵌入式计算,高性能计算与先进计算机体系结构,网络与分布式计算,
bitfan
·
2020-06-22 18:12
计算机教育
《
计算理论
导引》学习指南
本文尚在草稿状态,很难在短期内完成写作。发布出来旨在为初学者提供一些指引:书籍、资料、简介、历史还有我在不同年代的吐槽。请原谅我把吐槽也作为指南的一部分,必不可少的部分。--作者教材IntroductiontotheTheoryofComputation(ITOC),作者:MichaelSipser出版社:CourseTechnology出版年:2012-6-27ISBN:978113318779
Bintou老师
·
2020-06-22 16:52
【学习笔记】
计算理论
《
计算理论
导引》,麻省理工,中文翻译本2.
九命猫幺
·
2020-06-22 10:00
计算理论
导引实验二:构造下推自动机
计算理论
导引实验二:构造下推自动机实验描述形式化定义状态图描述问题解决状态转移关系类键盘录入及逻辑处理类测试运行输入ccabcbbbca时输入为cbabcac时代码下载及说明代码下载说明关于下推自动机的概念
勿語念千
·
2020-06-22 09:37
计算理论导引
计算理论
导引实验一:NFA对字符串的识别
计算理论
导引实验一:NFA对字符串的识别实验描述问题解决状态类状态转移关系类键盘输入及逻辑处理类测试运行代码下载及说明下载说明课程结束了,但是在对这门课的理解上,可能还有不足之处。
勿語念千
·
2020-06-22 09:37
计算理论导引
康托尔、哥德尔、图灵——永恒的金色对角线
图灵为了解决希尔伯特著名的第十问题而提出有效计算模型,进而作出了可
计算理论
和现代计算机的奠基性工作,著名的停机问题给出了机械计算模型的能力
SzMing
·
2020-06-22 06:02
杂项
《软件工程》— 软件测试与维护
然而,在可
计算理论
(计算机科学的一个支派)一个简单的数学证明推断出下列结果:不可能完全解决所谓“死机”,指任意计算机程序是否会进入死循环,或者罢工并产生输出问题。
6个小石头
·
2020-06-22 00:29
汇编语言+软件工程+数据库原理
专访清华大学姚期智院士:量子计算的未来
该领域的早期创始人之一,图灵奖获得者姚期智先生在1993年曾为量子
计算理论
基础的建立做出过核心贡献。2011年,姚期智创建清华大学量子信息中心(C
算法与数学之美
·
2020-06-21 20:43
半年多过去了,还记得影响力是怎么炼成的?
其中,共有三位任职于中国云计算企业的高管,在云
计算理论
研究、战略规划、运营实施或技术创新与应用等方面做出突出性的卓越业绩,并产生显著社会效益或经济效益,获颁“2018-2019年度中国云计算行业影响力人物奖
中国云报
·
2020-06-21 17:26
甜菜欣欣--书单 | 那些让我读到颤抖的计算机教材
计算理论
:IntroductiontotheTheoryofComputationbyMichaelSipser编译器:Compilers:Princip
weixin_30641465
·
2020-06-21 10:50
递归java实现——基本思路及示例
计算理论
可以证明递归的作用可以
猪奥奥
·
2020-05-03 16:20
java算法
算法
java
数据结构
编程语言
统计学习方法第二版知识点合集 - 自用笔记
统计学习的特点:以计算机及网络为平台以数据为研究对象,是数据驱动的学科以对数据进行预测与分析为目的以方法为中心,构建模型并应用模型进行预测与分析是概率论、统计学、信息论、
计算理论
、最优化理论及计算机科学等多个领域的
万方名
·
2020-04-27 11:08
机器学习
自然语言处理
深度学习
集异璧(一)——形式系统、数学中的形式与意义
个人非常推荐这本书,这是一本读来令人惊艳的好书,它以精心设计的巧妙笔法深入浅出地介绍了数理逻辑、可
计算理论
、人工智能、复杂系统等学科领域中的许多有趣理论以及它们背后的联系。
Ice_spring
·
2020-04-18 08:53
因为有错,所以容错
会议共有1篇主题报告、5篇大会报告、64篇论文报告和六个技术论坛,内容覆盖容错
计算理论
、硬件容错、软件容错、系统容错、网络容错、可信计算和硬件安全等多个方面。
稻花香里追风筝
·
2020-04-12 08:15
GEB —— 一次关于有序与无序的探寻之旅
AnEternalGoldenBraid(GEB:EGB)哥德尔,艾舍尔,巴赫:集异璧之大成这是一本杰出的科学普及名著,通过对哥德尔的数理逻辑,艾舍尔的版画和巴赫的音乐三者的综合阐述,以精心设计的巧妙笔法,引人入胜地介绍了数理逻辑、可
计算理论
Kidult
·
2020-04-05 16:36
如何定量地证伪图灵测试?(下)
如果这种流程的总耗时不超过问题规模的某个多项式(
计算理论
通常把多项式耗时作为“可实行”的标杆),我们就说问题X属于IP。它等价于PSPACE,意味着上
十酒三
·
2020-04-05 03:14
边缘检测及扩展学习(OpenCV学习笔记之三)
更为重要的是Canny创立了边缘检测
计算理论
,解释
wosicuanqi
·
2020-04-04 20:45
计算理论
入门 1.1 命题逻辑
1.1命题逻辑原文:FoundationsofComputation译者:飞龙协议:CCBY-NC-SA4.0自豪地采用谷歌翻译一个命题是一个或真或假的陈述。在命题逻辑中,我们将命题看做基础,看看我们能做什么。既然这是数学,我们需要能够谈论命题,而不是说我们在说什么特定的命题,所以我们用符号来代表它们。我们始终使用小写字母,如p,q和r来表示命题。以这种方式使用的字母称为命题变量。记住,当我说“假
布客飞龙
·
2020-04-02 08:07
想象力是一项重要的学习能力
33门课完全是他靠自学完成的,MIT计算机科学的33门课都是一些硬骨头,从线性代数到
计算理论
,死记硬背行不通,而且考试对解决问题的技巧要求很高,还会经常出一些没见过的题型。
武燕
·
2020-04-01 16:41
低亮度图片增强方法:基于Retinex理论的低亮度图片增强算法1
Retinex理论是基于色彩恒常的一种代表性
计算理论
,全称是视网膜皮层理论(Retinal-cortextheory)。Retinex理论认为人类知觉到的物体表色与物体表面的反射性质有着密切的关系。
GreatSun
·
2020-03-26 17:34
刘润商学院013|边际成本
02分析边际成本应该是微观经济学里的概念,可以用来
计算理论
上的最大合理产量或销量等,一般是在边际成本与边际收入持平时。
海涛笔记
·
2020-03-25 22:38
关于CPU的浮点运算能力计算
只知道CPU主频不断的提升,核数也越来越多,但是如何理论上计算出不同代CPU性能的提升,还真没有认真思考过,我估计大多数人也不会关注,这次由于要进行高性能集群项目遇到,刚好认真的研究了一下CPU的浮点
计算理论
值
ronnieliu
·
2020-03-25 16:31
形式语言与自动机:
计算理论
在正式开始形式语言与自动机的学习之前,我们不妨先考虑几个问题.1:究竟哪些问题,可以通过计算解决?2:解决可以计算的问题,究竟需要多少资源?3:为了研究计算,需要使用到那些计算模型?这三个问题看似孤立,但要回答这三个问题,必须要从整体上来看首先回答第一个问题:究竟哪些问题可以通过计算解决?是不是任何一种问题都可以计算来解决?如果是,需要用什么样的算法解决?如果不是,哪些问题可以,哪些问题不可以?如
云时之间
·
2020-03-22 12:03
《黑客与画家》摘要
黑客搞懂“
计算理论
”的必要性,与画家搞懂颜料化学成分的必要性差不多大。程序写出来是给人看的,附带能在机器上运行。想要做出优秀的作品,你需要一个什么问题都能思考的大脑。
商未央
·
2020-03-07 11:29
我們相濡以沫,卻也勢均力敵
就连在三年前他开始追求我时,都不是因为大部分正常人的“你长得好看、冰雪聪明”这类的理由,而是因为我当时选了一门难度系数比较高的《
计算理论
》的课程,于
或有二撇
·
2020-03-05 22:08
《统计学习方法》读书笔记(一)
2)统计学习以数据为研究对象,数据驱动的学科(3)统计学习的目的是对数据进行预测与分析(4)统计学习以方法论为中心,统计学习方法构建模型并应用模型进行预测和分析(5)统计学习是概率论、统计学、信息论、
计算理论
JaimeOw
·
2020-03-05 20:21
Atitit软件理论方面的书籍
计算机基础理论包含以下几部分:21.1.(1)程序理论(程序逻辑、程序正确性验证、形式开发方法等)21.2.(2)
计算理论
(算法设计与分析、复杂性理论、可计算性理论等)21.2.1.算法与算法复杂性理论
ati艾龙AttilaxAkb
·
2020-02-23 19:47
信息安全概念
在20世纪中叶出现了一批重要的理论,信息论、控制论、系统论、图灵机理论,冯诺依曼理论、
计算理论
等等,他们共同构成了信息科学技术的理论基础。
星夜兼程工作笔记
·
2020-02-20 06:53
认识人,再造人
本书通过对哥德尔的数理逻辑,艾舍尔的版画和巴赫的音乐三者的综合阐述,引人入胜地介绍了数理逻辑学、可
计算理论
、人工智能学、语言学、遗传学、音乐、绘画的理论等方面,构思精巧、含义深刻、视野广阔、富于哲学韵味
海上罗欣
·
2020-02-17 11:53
【算法】hash 算法简介
以下是小编查阅后觉得比较通俗易懂的文章原文地址
计算理论
中,没有Hash函数的说法,只有单向函数的说法。所谓的单向函数,是一个复杂的定义,大家可以去看
计算理论
或者密码学方面的数据。
MR_詹
·
2020-02-16 16:44
对人工智能的一些不成熟思考
《类脑智能研究的回顾和展望》指出,现有人工智能系统通用性较差与其
计算理论
基础和系统设计原理有密不可分的关系。计算机的计算本质和基础架构是图灵机模型和冯诺伊曼体系结构,其共同的缺点是缺乏自适应性。
补天遗石
·
2020-02-14 21:58
程序mm的自我修养
往理论上说,你会推数理逻辑,了解有限状态机正则式上下文无关文法图灵机等
计算理论
,能论证一个问题是P还是NP;往编程上说,你知道所有的
八戒程序猿
·
2020-02-10 22:28
"XX+"来袭
本文也要首次提供“云计算+”这样的理论,其意义在于基于现有的云
计算理论
,能够进一步发展完善它。其实云
蔚蓝色的天空c
·
2019-12-31 07:25
带你深入理解图灵机--什么是图灵机、图灵完备
上一篇介绍了天才图灵所做的时代背景,我们了解那个时代对于数学逻辑,可
计算理论
的发展。站在更大的时间和空间维度来看,我们看问题的角度会有更高的视角。这篇我们来具体看下图灵机到底是什么?
jerry区块链技术与思维
·
2019-12-31 06:04
从随机开始
最让人关注的,便是计算机科学的基础,
计算理论
,这货和统计学、信息学的关系非常密切
LostAbaddon
·
2019-12-30 18:56
编程语言的基石——Lambda calculus
lambda-calculus-introduction/Lambdacalculus我们一般称为λ演算,最早是由邱奇(AlonzoChurch,图灵的博导)在20世纪30年代引入,当时的背景是解决函数可计算的本质性问题,初期λ演算成功的解决了在可
计算理论
中的判定性问题
Justin_901e
·
2019-12-29 23:43
「知乎」如何证明不可计算的函数比可计算的函数多? - 陈威严的博客
这篇文章转载自我在知乎上的回答严谨的证明的话,可以使用「形式语言」(Formallanguage)来证明:在可
计算理论
和计算复杂度理论中,每个「计算问题」都被描述为一个一个「形式语言」,即字符串的集合。
李建明180
·
2019-12-25 23:00
【周日读书】 《如何高效学习》节选
《如何高效学习》节选【关于斯科特·扬】一年之内,完成了传说中的麻省理工学院(MIT)计算机科学课程表的全部33门课,从线性代数到
计算理论
。
做自己的CEO
·
2019-12-24 14:45
从二进制到逻辑门:哲学中诞生的
计算理论
☞欢迎来到神奇的01世界☜二进制二进制来自哲学,自然万物两两相对,白天与黑夜、太阳和月亮、苍天与大地、男人和女人、寒冷与炎热、甘甜和苦涩……我国传统文化中的阴阳学说、太极八卦,都是在讲这些自然的本质。不光中国,在很久很久以前,世界各地的文明也都或多或少意识到了二进制的意义,只是除了参悟哲学道理,一直没有用到数学中去。直到17~18世纪,数学上的二进制才由莱布尼茨首次提出。莱布尼茨首先是位伟大的哲学
逸之
·
2019-12-19 19:15
用R
计算理论
塔板数_0.1
老板说要计算2700块踏板的精馏塔,手算不可能,得靠编程。于是先试着用R写了代码,来计算已有实例中的理论塔板数。经过几次修改,得到正确的结果。已知条件:泡点进料,所以q=1;xD=0.95,xF=0.40,xW=0.02;平衡线方程:;精馏段操作线方程:;提馏段操作线方程:.R代码:x=0.02){x=0.4){y<-0.677*x+0.306;h<-n;}else{y<-1.467*x-0.00
桃源乡吃桃
·
2019-12-08 17:34
上一页
2
3
4
5
6
7
8
9
下一页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他