摘要：
产生式和框架表示法 产生式 产生式与谓词逻辑中的蕴含式的区别 框架 一般结构 框架表示法的特点 阅读全文
摘要：
一阶谓词逻辑表示法 命题 一个非真即假的陈述句 谓词 一般形式：P(X1, X2, ..., Xn) P是谓词名，X是个体 个体可分为： 个体是常量： 个体是变元： 个体是函数：（个体到另一个体的映射） 个体是谓词： 谓词公式 连接词 合取 ∧ （与） 析取 ∨ （或） 否定 ﹁（非） 蕴含 →（若 阅读全文
摘要：
算术逻辑单元 ALU电路 教材P281 快速进位链 （P284） 串行进位链 并行进位链（先行进位，跳跃进位） 单重分组跳跃进位链 双重分组跳跃进位链 大组进位线路 小组进位线路 效率分析 阅读全文
摘要：
计算机的运算方法 无符号数与有符号数 无符号数 有符号数 原码 补码 补数的概念 补码的定义 反码 补码中0的补码只有一个表示形式（00000000） 推理过程： 故多出来的1000000用来表示-128（8位情况下） 移码 例题 数的定点表示和浮点表示 定点表示 浮点表示 浮点数的表示形式 浮点数 阅读全文
摘要：
计算机的运算方法 无符号数与有符号数 无符号数 有符号数 原码 补码 补数的概念 补码的定义 反码 移码 例题 数的定点表示和浮点表示 待续... 阅读全文
摘要：
关系数据库标准语言SQL 模式与表 修改基本表 删除基本表 数据查询 --单表查询 字符匹配 聚集函数 教材例题（P97） 使用 GROUP BY 对查询结果分组 连接查询 等值与非等值连接查询 例题：查询每个学生及其选修课程的情况 在等值连接中把目标列重复的属性列去掉即为自然连接 自身连接 外连接 阅读全文
摘要：
关系数据库 关系数据结构及形式化定义 定义 关系：是笛卡尔积的有限子集，可以用二维表表示，每行对应一个元组（Tuple），每列对应一个域（Domain） 候选码：该属性可以唯一地标识一个元组（候选码可以有多个） 主码：选定一个候选码为主码 主属性与非主属性：所有候选码的属性均成为主属性，其余的即为非 阅读全文
摘要：
数据模型 两类数据模型 根据应用目的分为：概念模型和数据模型 概念模型按照用户观点对数据信息建模，强调语义表达能力，概念简单清晰，主要用于数据库设计 数据模型是严格定义的概念集合，通常由三部分组成：数据结构（静态特性），数据操作（动态特性），完整性约束（描述系统中数据的制约和依存规则） E-R方法 阅读全文
摘要：
关于Class文件 Cache Integer源码 （上限可通过VM option修改） Integer会将较小的数[low:-128, high]送入Cache 关于即时编译器JIT 字节码在线文档 https://cloud.tencent.com/developer/article/13335 阅读全文
摘要：
JVM 判断垃圾 --可达性分析 新老分代 G1回收器 阅读全文