zzfx

2019年4月7日

摘要：数据库管理系统的基本要素：数据结构与算法；语言；关系代数；并发模型；阅读全文

posted @ 2019-04-07 22:25 zzfx 阅读(460) 评论(0) 推荐(0)

摘要：大脑是工具箱，知识是工具；知识是先辈验证过的好用的工具；学习就是复制先辈工具的过程；工具的使用要因地制宜、理论联系实际；知识是工具；工具是手段；工具的管理与使用；工具要落地；工具要改造定制；听惯了“知识改变命运”，其实这是个省略句。原句应该是“用知识改变命运”，这里的知识是被用的，其实指的阅读全文

posted @ 2019-04-07 18:37 zzfx 阅读(1482) 评论(0) 推荐(0)

2019年4月5日

反射、内省与类型系统

摘要：反射与内省：类型系统的特征：反射用于获取类型信息；内省用语运行时类型检查；阅读全文

posted @ 2019-04-05 11:14 zzfx 阅读(214) 评论(0) 推荐(0)

2019年4月4日

思考的起点：定位理论（定义理论）-定位理论是全面思考的基础

摘要：定位理论第一能够将思考对象的边界明晰第二讲思考对象投射到相应领域的世界观上；从而用相应领域的世界观、方法论来理解、还原、内化相关概念；定位理论是思考之前的思考；根据思考对象的不同层次和侧面，将对象定位到不同的域，从而进行全面的研究；定位理论是全面思考的基础；世界观：世界观是认识对象投射阅读全文

posted @ 2019-04-04 15:19 zzfx 阅读(976) 评论(0) 推荐(0)

数据库的未来:ORM+LINQ+RX

摘要：数据库的未来:ORM+LINQ+RX 数据操作异步 ORM LINQ RX 阅读全文

posted @ 2019-04-04 12:39 zzfx 阅读(238) 评论(0) 推荐(0)

2019年4月3日

事务、锁与原子性

摘要：数据库最基础的并发控制是事务模型；事务模型的锁会形成排队机制；一、事务事务：将多个操作打包（成单一体）进行执行的控制技术；事务：将多个操作原子化执行的技术；事务（Transaction：一个程序执行单元(unit)。事务由事务开始(begin transaction)和事务结束(end 阅读全文

posted @ 2019-04-03 11:55 zzfx 阅读(617) 评论(0) 推荐(0)

2019年4月2日

swift Class的内存布局

摘要： class Human { //8 type or isa //retainCount var age: Int?//16 var name: String?//16 var nicknames: [String] = [String]() //返回指向 Human 实例头部的指针 func hea 阅读全文

posted @ 2019-04-02 16:06 zzfx 阅读(628) 评论(0) 推荐(0)

2019年4月1日

思考的目的

摘要：认识世界、改造世界分析问题、解决问题树、冰山模型检查意识的元件和模型阅读全文

posted @ 2019-04-01 11:02 zzfx 阅读(311) 评论(0) 推荐(0)

2019年3月29日

为什么swift是面向协议的编程--对面向对象机制的改进

摘要：主要目标是提供抽象能力和解决值类型的多态问题 Actually, Abrahams says, those are all attributes of types, and classes are just one way of implementing a type. Yet, they exac 阅读全文

posted @ 2019-03-29 18:24 zzfx 阅读(346) 评论(0) 推荐(0)

数字证书与身份认证攻防

摘要：数字证书是一个电子文档，其中包含了持有者的信息、公钥以及证明该证书有效的数字签名。证书签名与验签：签名：上级证书拥有者，搜集到下级证书申请信息后，将整体信息使用私钥签名；验签：使用上级证书的公钥对签名信息完成；签名函数： signdata = encrypty(privateKey, h 阅读全文

posted @ 2019-03-29 16:11 zzfx 阅读(856) 评论(0) 推荐(0)

定理，定律，公理

摘要： 1、概念：定理是经过受逻辑限制的证明为真的陈述。定律是对客观事实的一种表达形式，通过大量具体的客观事实归纳而成的结论。公理是指依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。 2、区别：定律是描述客观世界变化规律的表达式或者文字。公理是不需要认证的，阅读全文

posted @ 2019-03-29 15:19 zzfx 阅读(2537) 评论(0) 推荐(0)

逻辑的体系：论据-》论证-〉论点

摘要：逻辑的体系：论据-》论证-〉论点阅读全文

posted @ 2019-03-29 15:16 zzfx 阅读(442) 评论(0) 推荐(0)

系统论的两个方向：系统分析与系统构建

摘要：系统论的两个方面：使用系统论研究系统；使用系统论构建系统；阅读全文

posted @ 2019-03-29 14:44 zzfx 阅读(357) 评论(0) 推荐(0)

系统论是大尺度的还原论的时空思考-系统论是宏观上的还原论

摘要：系统论是宏观上的还原论系统论是大尺度的还原论的时空思考；二者都是认识复杂事物的方法论；二者都是复杂性理论的果实；阅读全文

posted @ 2019-03-29 14:23 zzfx 阅读(488) 评论(0) 推荐(0)

2019年3月28日

方程：方程（equation）是指含有未知数的等式

摘要：方程（equation）是指含有未知数的等式。是表示两个数学式（如两个数、函数、量、运算）之间相等关系的一种等式，使等式成立的未知数的值称为“解”或“根”。求方程的解的过程称为“解方程”。方程中文一词出自古代数学专著《九章算术》，其第八卷即名“方程”。“方”意为并列，“程”意为用算筹表示竖式。方阅读全文

posted @ 2019-03-28 15:12 zzfx 阅读(2101) 评论(0) 推荐(0)

指针沉思录

摘要：指针的核心：内存（地址）+ 类型一、指针与内存指针本身是内存的集合空间的索引；内存的集合空间包含变量、命令等等；定义一个指针，是内存空间（栈区）添加了元素；给指针赋值，是将指针索引指向内存空间的具体地址；指针使用，是将索引空间类型化，然后使用这个类型；内存、地址与位置：指针与堆栈指针阅读全文

posted @ 2019-03-28 12:01 zzfx 阅读(147) 评论(0) 推荐(0)

2019年3月27日

模式匹配用到集合论、装箱解箱用到范畴论

摘要：模式匹配用到集合论、装箱解箱用到范畴论阅读全文

posted @ 2019-03-27 19:29 zzfx 阅读(197) 评论(0) 推荐(0)

数理逻辑

摘要：弗雷格的逻辑体系，表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言，使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看，概念文字是我们今天使用的计算机程序设计语言阅读全文

posted @ 2019-03-27 19:26 zzfx 阅读(412) 评论(0) 推荐(0)

oc kvc的模式：匹配搜索模式（模式匹配）、装包解包

摘要：按照一定规则使用匹配模式在目标空间进行搜索，然后执行相应操作；运行时系统将kvc的运行机制解释为模式匹配，将值的兼容性问题解释为装包解包问题一、模式匹配 The default implementation of the NSKeyValueCoding protocol provided by 阅读全文

posted @ 2019-03-27 11:50 zzfx 阅读(238) 评论(0) 推荐(0)

2019年3月26日

编程语言的多态与动态

摘要：多态：抽象类型可以泛化为具有不同行为的具体类型；在运行时根据类型做出不同的行为解释；动态：语言元素的结构和行为可以在运行时修改；多态需要运行时的解释执行；多态需要在运行时获取类型和行为信息从而进行修改；动态是将可修改范围由数据扩展到指令区；动态的本质：一切皆数据、一切皆可修改。二者都需要阅读全文

posted @ 2019-03-26 21:13 zzfx 阅读(319) 评论(0) 推荐(0)

公告