上一页 1 ··· 34 35 36 37 38 39 40 41 42 ··· 103 下一页
摘要: 数据库管理系统的基本要素: 数据结构与算法; 语言; 关系代数; 并发模型; 阅读全文
posted @ 2019-04-07 22:25 zzfx 阅读(460) 评论(0) 推荐(0)
摘要: 大脑是工具箱,知识是工具; 知识是先辈验证过的好用的工具; 学习就是复制先辈工具的过程; 工具的使用要因地制宜、理论联系实际; 知识是工具;工具是手段;工具的管理与使用;工具要落地;工具要改造定制; 听惯了“知识改变命运”,其实这是个省略句。原句应该是“用知识改变命运”,这里的知识是被用的,其实指的 阅读全文
posted @ 2019-04-07 18:37 zzfx 阅读(1482) 评论(0) 推荐(0)
摘要: 反射与内省: 类型系统的特征: 反射用于获取类型信息; 内省用语运行时类型检查; 阅读全文
posted @ 2019-04-05 11:14 zzfx 阅读(214) 评论(0) 推荐(0)
摘要: 定位理论第一能够将思考对象的边界明晰 第二讲思考对象投射到相应领域的世界观上; 从而用相应领域的世界观、方法论来理解、还原、内化相关概念; 定位理论是思考之前的思考; 根据思考对象的不同层次和侧面,将对象定位到不同的域,从而进行全面的研究; 定位理论是全面思考的基础; 世界观: 世界观是认识对象投射 阅读全文
posted @ 2019-04-04 15:19 zzfx 阅读(976) 评论(0) 推荐(0)
摘要: 数据库的未来:ORM+LINQ+RX 数据 操作 异步 ORM LINQ RX 阅读全文
posted @ 2019-04-04 12:39 zzfx 阅读(238) 评论(0) 推荐(0)
摘要: 数据库最基础的并发控制是事务模型; 事务模型的锁会形成排队机制; 一、事务 事务:将多个操作打包(成单一体)进行执行的控制技术; 事务:将多个操作原子化执行的技术; 事务(Transaction:一个程序执行单元(unit)。 事务由事务开始(begin transaction)和事务结束(end 阅读全文
posted @ 2019-04-03 11:55 zzfx 阅读(617) 评论(0) 推荐(0)
摘要: 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)
摘要: 认识世界、改造世界 分析问题、解决问题 树、冰山模型 检查意识的元件和模型 阅读全文
posted @ 2019-04-01 11:02 zzfx 阅读(311) 评论(0) 推荐(0)
摘要: 主要目标是提供抽象能力和解决值类型的多态问题 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)
摘要: 方程(equation)是指含有未知数的等式。是表示两个数学式(如两个数、函数、量、运算)之间相等关系的一种等式,使等式成立的未知数的值称为“解”或“根”。求方程的解的过程称为“解方程”。 方程中文一词出自古代数学专著《九章算术》,其第八卷即名“方程”。“方”意为并列,“程”意为用算筹表示竖式。 方 阅读全文
posted @ 2019-03-28 15:12 zzfx 阅读(2101) 评论(0) 推荐(0)
摘要: 指针的核心:内存(地址)+ 类型 一、指针与内存 指针本身是内存的集合空间的索引; 内存的集合空间包含变量、命令等等; 定义一个指针,是内存空间(栈区)添加了元素; 给指针赋值,是将指针索引指向内存空间的具体地址; 指针使用,是将索引空间类型化,然后使用这个类型; 内存、地址与位置:指针与堆栈 指针 阅读全文
posted @ 2019-03-28 12:01 zzfx 阅读(147) 评论(0) 推荐(0)
摘要: 模式匹配用到集合论、装箱解箱用到范畴论 阅读全文
posted @ 2019-03-27 19:29 zzfx 阅读(197) 评论(0) 推荐(0)
摘要: 弗雷格的逻辑体系,表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言,使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看,概念文字是我们今天使用的计算机程序设计语言 阅读全文
posted @ 2019-03-27 19:26 zzfx 阅读(412) 评论(0) 推荐(0)
摘要: 按照一定规则使用匹配模式在目标空间进行搜索,然后执行相应操作; 运行时系统将kvc的运行机制解释为模式匹配,将值的兼容性问题解释为装包解包问题 一、模式匹配 The default implementation of the NSKeyValueCoding protocol provided by 阅读全文
posted @ 2019-03-27 11:50 zzfx 阅读(238) 评论(0) 推荐(0)
摘要: 多态:抽象类型可以泛化为具有不同行为的具体类型;在运行时根据类型做出不同的行为解释; 动态:语言元素的结构和行为可以在运行时修改; 多态需要运行时的解释执行; 多态需要在运行时获取类型和行为信息从而进行修改; 动态是将可修改范围由数据扩展到指令区; 动态的本质:一切皆数据、一切皆可修改。 二者都需要 阅读全文
posted @ 2019-03-26 21:13 zzfx 阅读(319) 评论(0) 推荐(0)
上一页 1 ··· 34 35 36 37 38 39 40 41 42 ··· 103 下一页