小编第180页_站长助手

MySQL 安装详细步骤：

1、检查本机的之前是否安装过MySQL，如果安装过请先将之前的MySQL数据库清除干净； 2、第一步：下载MySQL解压闭关设置配置文件my.ini 查看配置项：https://dev.mysql.com/doc/refman/8.0/en/mysqld-option-tables.html 3、第二步：cmd 命令行用管理员权限打开 4、初始化数据库：mysqld --initialize --console 这个时候如果成功...
作者：小编日期：2026.06.09 分类：手册 231
数理逻辑之 horn公式

Horn公式，中文名一般翻译成“霍恩公式”，也是范式的一种。Horn原子有三：P::= ┴ | T |p Horn原子分别是底公式、顶公式和命题原子。 Horn原子合取后的蕴含称为Horn字句：A::= P | PΛA C::= A → P Horn子句继续合取就是Horn公式：H::= C |...
作者：小编日期：2026.06.09 分类：语言 1590
Effective STL读书笔记

话说，牛人都认为C++是一门Best practice的语言，什么意思呢，就是会用是非常重要的！C++就像一把尚方宝剑，你如果自己内功不够，是用不好这门语言的，而且很有可能会给你带来损耗，最近在看《Effective STL》,这种感觉更是强烈，感觉以前写的C++代码好像是在刀刃上行走一样，没有出现问题真是万幸！如履薄冰！！所以准备写一个读书笔记，好好记录自己的收获，先填个坑，把这50条准则列出来吧！ 1.慎重选择容器类型。 2.不...
作者：小编日期：2026.06.09 分类：工具 439
数理逻辑之范式

从上一篇文章数理逻辑之命题逻辑完备性终于到现在找到了满意的工作：一家大型外企，各方面都很满意。今天开始说范式。先介绍几个概念。语义等值：令Ф和ψ是命题逻辑公式，我们称Ф和ψ语义等值当且仅当Ф ╞ ψ 且ψ ╞ Ф成立。记为Ф≡ψ。可满足公式：给定命题逻辑公式Ф，我们说Ф是可满足的，如果存在Ф的一次求值使得Ф取值TRUE. ...
作者：小编日期：2026.06.09 分类：手册 1888
数组的定义和初始化

第八章：数组本章重点介绍向函数传递一维数组和二维数组的方法。主要内容有： ①数组类型，数组的定义和初始化，以及对数组名特殊含义的理解。 ③排序、查找、求最大最小值等常用算法。一：一维数组的定义和初始化例1：给定两个n维向量a=(a1,a2,…,an)和b=(b1,b2,…,bn)，求点积a·b=a1b1+a2b2+…+anbn。程序： #include using n...
作者：小编日期：2026.06.09 分类：算法 1590
数理逻辑之命题逻辑完备性

上文说了数理逻辑的可靠性，今天说完备性。说之前先提一下自己这一周找工作的进展：略有收获，依然惨淡。可以下读我的博客《找工作时怎么谈待遇？果然是一个老大难》。前面证明了如果φ1, φ2,..., φn |- ψ 成立，则 φ1, φ2,..., φn |= ψ 成立。现在需要证明φ1, φ2,..., φn |= ψ 成立，则...
作者：小编日期：2026.06.08 分类：类库 908
linux 安装方式rpm tar yum

rpm安装 rpm -qa|grep a.rpm 查看软件是否安装 rpm -ivh xxx.rpm rpm包安装 rpm -e package_name.rpm 卸载一个rpm包 rpm -ql package_name 显示一个已经安装的rpm包提供的文件列表 rpm -qa 显示系统中所有已经安装的rpm包 rpm -U package.rpm 更新一个rpm包但不改变其配置文件 tar.gz源码包安装 tar -...
作者：小编日期：2026.06.08 分类：文档 1711
艰辛的北京一周

自从上一次发表博文去还是留，已不是一个问题（续）到现在，又经历了不少公司（可以用无数来形容了）。现在遇到的最大的问题就是面试通过后待遇怎么谈，应该说多少。虽然上海又经历了不少的公司，面试经历也千差万别。不过还是直接说北京吧。六天前我回到北京开始找北京的公司。周一投了一天简历。周二的一个面试是大易科技。查了一下，这是一个做云平台...
作者：小编日期：2026.06.08 分类：手册 1603
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