摘要：
认识世界、改造世界 分析问题、解决问题 树、冰山模型 检查意识的元件和模型 阅读全文
posted @ 2019-04-01 11:02
zzfx
阅读(321)
评论(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
阅读(371)
评论(0)
推荐(0)
摘要：
数字证书是一个电子文档，其中包含了持有者的信息、公钥以及证明该证书有效的数字签名。 证书签名与验签： 签名： 上级证书拥有者，搜集到下级证书申请信息后，将整体信息使用私钥签名； 验签： 使用上级证书的公钥对签名信息完成； 签名函数： signdata = encrypty(privateKey, h 阅读全文
posted @ 2019-03-29 16:11
zzfx
阅读(879)
评论(0)
推荐(0)
摘要：
1、概念： 定理是经过受逻辑限制的证明为真的陈述。 定律是对客观事实的一种表达形式，通过大量具体的客观事实归纳而成的结论。 公理是指依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。 2、区别： 定律是描述客观世界变化规律的表达式或者文字。 公理是不需要认证的， 阅读全文
posted @ 2019-03-29 15:19
zzfx
阅读(2589)
评论(0)
推荐(0)
摘要：
逻辑的体系：论据-》论证-〉论点 阅读全文
posted @ 2019-03-29 15:16
zzfx
阅读(446)
评论(0)
推荐(0)
摘要：
系统论的两个方面： 使用系统论研究系统； 使用系统论构建系统； 阅读全文
posted @ 2019-03-29 14:44
zzfx
阅读(370)
评论(0)
推荐(0)
摘要：
系统论是宏观上的还原论 系统论是大尺度的还原论的时空思考； 二者都是认识复杂事物的方法论； 二者都是复杂性理论的果实； 阅读全文
posted @ 2019-03-29 14:23
zzfx
阅读(512)
评论(0)
推荐(0)
摘要：
方程（equation）是指含有未知数的等式。是表示两个数学式（如两个数、函数、量、运算）之间相等关系的一种等式，使等式成立的未知数的值称为“解”或“根”。求方程的解的过程称为“解方程”。 方程中文一词出自古代数学专著《九章算术》，其第八卷即名“方程”。“方”意为并列，“程”意为用算筹表示竖式。 方 阅读全文
posted @ 2019-03-28 15:12
zzfx
阅读(2172)
评论(0)
推荐(0)
摘要：
指针的核心：内存（地址）+ 类型 一、指针与内存 指针本身是内存的集合空间的索引； 内存的集合空间包含变量、命令等等； 定义一个指针，是内存空间（栈区）添加了元素； 给指针赋值，是将指针索引指向内存空间的具体地址； 指针使用，是将索引空间类型化，然后使用这个类型； 内存、地址与位置：指针与堆栈 指针 阅读全文
posted @ 2019-03-28 12:01
zzfx
阅读(156)
评论(0)
推荐(0)
摘要：
模式匹配用到集合论、装箱解箱用到范畴论 阅读全文
posted @ 2019-03-27 19:29
zzfx
阅读(204)
评论(0)
推荐(0)
摘要：
弗雷格的逻辑体系，表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言，使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看，概念文字是我们今天使用的计算机程序设计语言 阅读全文
posted @ 2019-03-27 19:26
zzfx
阅读(441)
评论(0)
推荐(0)
摘要：
按照一定规则使用匹配模式在目标空间进行搜索，然后执行相应操作； 运行时系统将kvc的运行机制解释为模式匹配，将值的兼容性问题解释为装包解包问题 一、模式匹配 The default implementation of the NSKeyValueCoding protocol provided by 阅读全文
posted @ 2019-03-27 11:50
zzfx
阅读(253)
评论(0)
推荐(0)
摘要：
多态：抽象类型可以泛化为具有不同行为的具体类型；在运行时根据类型做出不同的行为解释； 动态：语言元素的结构和行为可以在运行时修改； 多态需要运行时的解释执行； 多态需要在运行时获取类型和行为信息从而进行修改； 动态是将可修改范围由数据扩展到指令区； 动态的本质：一切皆数据、一切皆可修改。 二者都需要 阅读全文
posted @ 2019-03-26 21:13
zzfx
阅读(329)
评论(0)
推荐(0)
摘要：
One can explicitly write @objc on any Swift declaration that can be expressed in Objective-C. @objc相关的参量只能修饰类、类的成员、扩展以及只能被类实现的协议； 下面开列修饰的情况和说明 一、无修饰 N 阅读全文
posted @ 2019-03-26 19:33
zzfx
阅读(1713)
评论(0)
推荐(0)
摘要：
The convention of the function, indicated by the attribute. This is similar to the language-level @convention attribute, though SIL extends the set of 阅读全文
posted @ 2019-03-26 18:06
zzfx
阅读(414)
评论(0)
推荐(0)
摘要：
Metatype Types A concrete or existential metatype in SIL must describe its representation. This can be: @thin, meaning that it requires no storage and 阅读全文
posted @ 2019-03-26 17:59
zzfx
阅读(206)
评论(0)
推荐(0)
摘要：
泛型编程思想：复合类型的抽象和代码复用 阅读全文
posted @ 2019-03-26 10:50
zzfx
阅读(240)
评论(0)
推荐(0)
摘要：
一、函数的类型： 1、输入输出的映射形式； 2、定义了访问函数时的调用约定；cpu在访问函数是参量的布局形式； 3、相同函数类型的变量可以相互赋值； 函数作为类型是函数式编程的基石； 二、函数的变量： 定义函数类型－》定义变量－》给 变量赋值； 常见形式： 常指针变量：函数类型 ＝ 函数实现； 函数 阅读全文
posted @ 2019-03-25 21:27
zzfx
阅读(685)
评论(0)
推荐(0)
摘要：
泛型是什么？包含参量化类型的类型 阅读全文
posted @ 2019-03-25 19:41
zzfx
阅读(224)
评论(0)
推荐(0)
摘要：
类型运算： 类型指定、类型约束、类型依赖； 所谓泛型，即通过参数化类型来实现在同一份代码上操作多种数据类型。 https://www.cnblogs.com/arxive/p/6179972.html 因而函数重载是一种多态，而这样的多态被称作ad-hoc多态。 泛型程序设计（generic pro 阅读全文
posted @ 2019-03-25 19:39
zzfx
阅读(229)
评论(0)
推荐(0)
浙公网安备 33010602011771号