盐盐盐の锅

2020年9月20日

摘要：产生式和框架表示法产生式产生式与谓词逻辑中的蕴含式的区别框架一般结构框架表示法的特点阅读全文

posted @ 2020-09-20 11:04 盐盐盐の锅阅读(500) 评论(0) 推荐(0)

摘要：一阶谓词逻辑表示法命题一个非真即假的陈述句谓词一般形式：P(X1, X2, ..., Xn) P是谓词名，X是个体个体可分为：个体是常量：个体是变元：个体是函数：（个体到另一个体的映射）个体是谓词：谓词公式连接词合取 ∧ （与）析取 ∨ （或）否定﹁（非）蕴含 →（若阅读全文

posted @ 2020-09-20 10:52 盐盐盐の锅阅读(1517) 评论(0) 推荐(0)

2020年9月19日

算术逻辑单元

摘要：算术逻辑单元 ALU电路教材P281 快速进位链（P284）串行进位链并行进位链（先行进位，跳跃进位）单重分组跳跃进位链双重分组跳跃进位链大组进位线路小组进位线路效率分析阅读全文

posted @ 2020-09-19 18:49 盐盐盐の锅阅读(289) 评论(0) 推荐(0)

第六章计算机的运算方法

摘要：计算机的运算方法无符号数与有符号数无符号数有符号数原码补码补数的概念补码的定义反码补码中0的补码只有一个表示形式（00000000）推理过程：故多出来的1000000用来表示-128（8位情况下）移码例题数的定点表示和浮点表示定点表示浮点表示浮点数的表示形式浮点数阅读全文

posted @ 2020-09-19 18:46 盐盐盐の锅阅读(197) 评论(0) 推荐(0)

2020年9月16日

原/补/反/移码

摘要：计算机的运算方法无符号数与有符号数无符号数有符号数原码补码补数的概念补码的定义反码移码例题数的定点表示和浮点表示待续... 阅读全文

posted @ 2020-09-16 23:05 盐盐盐の锅阅读(131) 评论(0) 推荐(0)

Chapter3 关系数据库标准语言SQL

摘要：关系数据库标准语言SQL 模式与表修改基本表删除基本表数据查询 --单表查询字符匹配聚集函数教材例题（P97）使用 GROUP BY 对查询结果分组连接查询等值与非等值连接查询例题：查询每个学生及其选修课程的情况在等值连接中把目标列重复的属性列去掉即为自然连接自身连接外连接阅读全文

posted @ 2020-09-16 22:28 盐盐盐の锅阅读(124) 评论(0) 推荐(0)

Chapter2 关系数据库

摘要：关系数据库关系数据结构及形式化定义定义关系：是笛卡尔积的有限子集，可以用二维表表示，每行对应一个元组（Tuple），每列对应一个域（Domain）候选码：该属性可以唯一地标识一个元组（候选码可以有多个）主码：选定一个候选码为主码主属性与非主属性：所有候选码的属性均成为主属性，其余的即为非阅读全文

posted @ 2020-09-16 21:00 盐盐盐の锅阅读(189) 评论(0) 推荐(0)

Chapter1 数据库基础

摘要：数据模型两类数据模型根据应用目的分为：概念模型和数据模型概念模型按照用户观点对数据信息建模，强调语义表达能力，概念简单清晰，主要用于数据库设计数据模型是严格定义的概念集合，通常由三部分组成：数据结构（静态特性），数据操作（动态特性），完整性约束（描述系统中数据的制约和依存规则） E-R方法阅读全文

posted @ 2020-09-16 10:54 盐盐盐の锅阅读(186) 评论(0) 推荐(0)

2020年9月15日

关于class文件

摘要：关于Class文件 Cache Integer源码（上限可通过VM option修改） Integer会将较小的数[low:-128, high]送入Cache 关于即时编译器JIT 字节码在线文档 https://cloud.tencent.com/developer/article/13335 阅读全文

posted @ 2020-09-15 21:32 盐盐盐の锅阅读(88) 评论(0) 推荐(0)

2020年9月14日

about GC

摘要： JVM 判断垃圾 --可达性分析新老分代 G1回收器阅读全文

posted @ 2020-09-14 22:35 盐盐盐の锅阅读(137) 评论(0) 推荐(0)

hu lu lu lu lu ~

公告