一、谓词与谓词公式 谓词：表示个体词性质或相互之间关系的词 量词：用来表示个体数量的词是 谓词的量化：给谓词加上量词 一元目谓词P(x)、n元目谓词P(x, y, z, ...)它们是命题形式而非命题 因为既没有指定谓词符号P的含义，而且个体词x、y等也是个体变项而不代表某个具体的事物，从而无法确定 ...
分类：
其他好文 时间：
2019-04-09 23:25:10
阅读次数：
707
操作符总结：一、算术操作符：+、-、*、/、%注意：%不可以做浮点数运算二、移位操作符：<<左移操作符>>右移操作符右移规则：逻辑移位：左边补零，右边丢弃（unsigned）算术移位：左边补符号位，右边丢弃左移规则：左边舍弃，右移补零。ps：在移位后，数值本身没有赋值。（值传到cpu计算后，没有将所算的值重新付给内存这个过程）。三、位操作符：&、|、^注意：他们的操
分类：
其他好文 时间：
2019-04-09 20:23:36
阅读次数：
178
pro：给定凸多边形，求凸多边形内的点到最近边界的最远距离。 sol：显然是二分一个圆，使得圆和凸多边形不相交，但是这样很难实现。 由于是凸多边形，我们可以把二分圆转化为二分凸多边形的移动。 如果每一边向左移动Mid后，任然存在“核”，则表示存在一点合法。 直线移动：移动起点即可，方向不变。 ...
分类：
其他好文 时间：
2019-04-09 11:10:08
阅读次数：
143
开始 我自己都记不住这是第几次把这几个位运算符搞混了，刚好在刚用过来把这几个位运算符记下来，俗话说的好好记性不如个烂笔头。 运算符： 与 或 非 异或 and , & or , | not , ~ ^ 单目运算符：~（按位取反） 双目运算符：<< >> & | ^（左移，右移，按位与，按位或，按位异 ...
分类：
编程语言 时间：
2019-04-07 09:52:56
阅读次数：
107
div盒子水平居垂直中的几种方法<!DOCTYPE html><html> <head> <mete charset="utf-8"/> <style> *{ margin: 0; padding: 0; } /*方案1、使用transforms属性的translate平移*/ .div1{ pos ...
分类：
其他好文 时间：
2019-04-06 09:54:28
阅读次数：
144
快速排序的思想是： 在整个数列中，选取一个特征点，一般以数列的中心为该特征点，使其小于特征点的数放在特征点的左侧，大于特征点的数放在右侧。 （1）若特征点最左侧的数小于特征点，而特征点最右侧的数大于特征点，则左侧数右移一位，而右侧色数左移一位 （2）若此时左侧的数值大于特征点，而右侧的数字小于特征点 ...
分类：
编程语言 时间：
2019-04-05 12:30:34
阅读次数：
137
x86: movl(int) movb(char) arm: ldr(int) ldrb(char) ARM早期编译器不支持ldrb strb，在操作char类型时， 32bit处理器下用ldr加载R0寄存器（char所在的4byte）， 假设在低8位，就左移24bit，右移24bit 如果在第二b ...
分类：
其他好文 时间：
2019-04-03 12:32:29
阅读次数：
143
Java的基本语法 Java注释 java中有3中注释 单行注释://注释内容 多行注释:/*注释内容*/ 其中文档注释可以利用javadoc.exe生成API文档 Java关键字 ? 关键字是被java语言赋予了特殊含义，具有专门用途的单词。比如 public、class、static 等这些都是 ...
分类：
编程语言 时间：
2019-04-02 21:08:17
阅读次数：
137
Given an array of integers that is already sorted in ascending order, find two numbers such that they add up to a specific target number. The function ...
分类：
其他好文 时间：
2019-03-30 17:22:24
阅读次数：
163
位运算符，位运算符是对二进制形式的运算。 位运算符主要有6种，按位与（&），按位或（|），位异或（^）,取反（~），左移（<<）,右移（>>） 按位与（&）：相同位都为1，则为1，否则为0. 按位或（|）：相同位有一个为1，则为1，否则为0 位异或（^）：相同位上的数不相同，则为1，否则为0 取反（ ...
分类：
其他好文 时间：
2019-03-29 13:05:34
阅读次数：
104
