-
setup缓存本地和hdfs文件
从本地读取文件,缓存到map集合中 static Map<String, String> question =new HashMap<String, String>(); BufferedReader bf = new BufferedReader(new FileReader(\"文件名\")) while((line=bf.readLine())!=null) { if( lin...
作者:小编 日期:2026.06.08 分类:类库 1909 -
数理逻辑之 命题逻辑可靠性
好几天没写了,因为这几天回到了北京,比较乱。上海找工作依然没着落,再从北京看看。待好运! 命题逻辑的主要规则已经说完了。对于逻辑学来说,一个很重要的部分就是“为什么这样”?要证明一个逻辑系统是正确的,需要证明两部分:它的可靠性和它的完备性。今天先来说可靠性。 下面的内容可能要求你对前面的课程很熟悉才比较方便。 前面说了数学归纳...
作者:小编 日期:2026.06.08 分类:工具 1143 -
数理逻辑之 数学归纳法
说道数学归纳法,大家并不陌生。这一节先来回顾一下我们似曾相识的归纳法,然后用它解决一个问题。 先来回忆一个小故事:高斯8岁的时候快速计算连续自然数的和。咦!你感觉无聊了没:竟然有是这个故事,小时候都不知道听多少遍了。其实过去这么久了,很多小时候我们耳熟能详的名字,现在对他们及他们的事迹印象没那么深了。比如罗盛教、高士奇、齐白石...
作者:小编 日期:2026.06.08 分类:工具 203 -
数理逻辑之 合式公式
前面说完了命题,使用命题可以构造命题逻辑的形式语言。首先来看合式公式。一个合式公式可以是一个原子命题,也可以是由其他合式公式通过否定、合取、析取、蕴含得到的。其形式如下:Φ::=p|(┐Φ)|(Φ→Φ)|(Φ∨Φ)|(Φ∧Φ) 其中p代表任意原子命题,::=右边的Φ代表任一个已经构造好的合式公式。可见合式公式是我们的老朋友了...
作者:小编 日期:2026.06.08 分类:文档 1796 -
模型选择准则之AIC和BIC
转自:HTTP://blog.csdn.net/jteng/article/details/40823675 此处模型选择我们只考虑模型参数数量,不涉及模型结构的选择。 很多参数估计问题均采用似然函数作为目标函数,当训练数据足够多时,可以不断提高模型精度,但是以提高模型复杂度为代价的,同时带来一个机器学习中非常普遍的问题 - 过拟合。所以,模型选择问题在模型复杂度与模型对数据集描述能力(即似然函数)之间寻求最佳平衡。 人们提出许多信息准...
作者:小编 日期:2026.06.08 分类:系统 965 -
数理逻辑之 命题逻辑导出规则
前面说完了自然演算规则,现在来说导出规则。 导出规则有四个,分别是:MT导出规则,双重否定引入规则,PBC导出规则,LEM导出规则。记的的同学可能会问了:咦,前两个不是在自然演算规则里出现了吗?是的,实际上,前面说的自然演算规则中这两个的确是提前说了,它们属于导出规则。下面对它们进行证明,你可以看到它们的证明过程只是用了其他的...
作者:小编 日期:2026.06.08 分类:系统 1981 -
Linux vi命令
esc shift+: i 编辑模式 :wq 保存退出 :q 直接退出 :q!强制退出 :set nu 显示行号 :32,100d 删除多行 vi filename 打开或新建文件,并将光标置于第一行首 vi +n filename 打开文件,并将光标置于第n行首 vi + filename 打开文件,并将光标置于最后一行首 vi +/pattern filename 打开文件,并将光标置于第一个与pattern匹...
作者:小编 日期:2026.06.08 分类:手册 1753







