- 博客(15)
- 收藏
- 关注
原创 About Sketch - a very handy design tool
让Sketch成为App设计的利器,这是我学习她的初衷。以下是一些笔记:1 - The InterfaceTop toolbar: it contains the most important actions.Right inspector: adjust the properties of the selected layer(s)left pane: it lists al
2015-01-19 15:12:48 342
翻译 关于泛型Generics
Introducing genericsYou might not know it, but you’ve already seen generics at work while reading thisbook. Arrays and dictionaries are classic examples of the type safety of generics inaction.O
2015-01-15 11:52:20 414
原创 Adaptive Layout初阶
在Adaptive Layout初阶这一部分,我们写一个关于weather的小app,一句代码都不用写(这么好-_-|||),Let's begin!1 - Universal storyboardsUniversal storyboards好处就不多说了(一样的storyboard,跑遍各种iOS设备),先建立一个工程尝试下下:打开Xcode(这里用的时Xcode 6),选Creat
2015-01-15 09:20:30 475
原创 第二部分 集合论 第六章 集合代数
1 - 集合基本概念元素与集合 集合,元素,属于∈,不属于∉特殊集合 自然数集N,有理数集Q,实数集R,复数集C,空集∅,全集E,集合A的幂集P(A)={x|x⊆A}集合的表示法 列元素法,谓词表示法文氏图 用圆表示集合及其相互关系的一种图示方法集合之间关系 ⊆,=,⊈,≠,⊂,⊄A⊆B⇔∀x(x∈A→x∈B)A=B⇔A⊆B∧B⊆AA⊂B⇔A⊆B∧A≠BA⊈
2015-01-11 16:42:54 805
原创 Swift Basic: Optionals,Collection - 再来点 Swift 基础知识
1 - OptionalsOptionals的设计初衷,应该是体会到了各种dreaded null pointer。Swift isn't letting you use an uninitialized variable at compile time. 但如果真的需要使用一个nil值,那就可以使用optional。Optionals are a way of wrapping up the
2015-01-11 15:33:43 837
原创 Swift Basic - 一些 Swift 基础中的基础
1 - Kye Points 要点PlaygroundType inference 类型推断Swift is a statically typed language with compile-time checking of types Swift是静态类型语言,在编译时做类型检查比如新建playground,并输入下列代码:var str = "Hello, play
2015-01-11 13:18:59 558
原创 第一部分 数理逻辑 第五章 一阶逻辑等值演算与推理
1 - 要点等值式:设A,B是一阶逻辑公式,若A↔B为永真式,则称A与B等值,记为A⇔B基本等值式:第一组:命题逻辑中基本等值式的代换实例第二组:一阶逻辑中的重要公式(1)在有限个体域中的重要等值式设个体域D={a₁,a₂,…,an},则:∀xA(x)⇔A(a₁)∧A(a₂)∧…∧A(an),∃xA(x)⇔A(a₁)∨A(a₂)∨…∨A(an),(2)量词否定等值式
2015-01-11 12:15:27 3106
原创 第一部分 数理逻辑 第四章 一阶逻辑基本概念
Chapter Four - 一阶逻辑1 - 要点个体词个体个体常项个体变项个体域有限个体域无限个体域全总个体域谓词谓词常项谓词变项1元谓词:表示事物性质n(n≥2)元谓词:表示事物之间的关系0元谓词特性谓词量词全称量词:∀存在量词:∃。命题符号化:设D为个体域(1) “D中所有x都有性质F”:∀xF(x)(2
2015-01-11 11:09:35 1573
原创 第一部分 数理逻辑 第三章 命题逻辑的推理理论
Chapter Three - 命题逻辑的推理理论1 - 要点推理证明推理的形式结构的符号化形式:A₁∧A₂∧…∧Ak→B(*)如果(*)是重言式,则称推理是有效的,或称推理是正确的
2015-01-10 16:19:06 1945
原创 第一部分 数理逻辑 第二章 命题逻辑等值演算
Chapter Two - 命题逻辑等值演算1 - 要点等值式:如果A↔B是重言式,那么称A与B等值的,记为A⇔B,并称A⇔B为等值式基本等值式:(1)双重否定律A⇔¬¬A(2)幂等律A∨A⇔A,A∧A⇔A(3)交换律A∨B⇔B∨A,A∧B⇔B∧A(4)结合律(A∨B)∨C⇔A∨(B∨C),(A∧B)∧C⇔A∧(B∧C)(5)分配率A∨(B∧C)
2015-01-10 16:05:17 2482
原创 第一部分 数理逻辑 第一章 命题逻辑基本概念
Chapter One - 命题逻辑的基本概念1 - 要点命题命题的真值真命题假命题原子命题复合命题命题的符号化:用p,q,r等小写字母表示命题,称为命题的符号化真值的符号化:用数字1代表真,用数字0代表假,称为真值的符号化常用的联结词:(1)“非”,或称“否定”,符号化为¬。称¬为否定联结词(2)“并且”,或称“与”,符号化为∧。称∧为合取联结词
2015-01-10 13:31:43 808
原创 WordPress Notes
WordPress notesserverstep01: Download and Extractlink: http://wordpress.org/download/step02: MySQLwww:~ loi$ /Applications/XAMPP/xamppfiles/bin/mysql -u rootmysql> create datab
2014-06-21 22:27:36 362
原创 MySQL Notes
#MySQL notes#step01 - install MySQL:link: http://www.mysql.com/downloads/|pls choose 'MySQL Community Edition (GPL)’#step02 - begin to use:Open terminal first -> /usr/local/mys
2014-06-21 19:29:26 328
原创 Learning List for iOS programming
FollinTutorial Link: http://www.raywenderlich.com/51127/nsurlsession-tutorial
2014-06-13 13:23:39 409
翻译 Notes for NSURLSession
Apple has described NSURLSession as both a new class and a suite of classes. There’s new tools to upload, download, handle authorization, and handle just about anything in the HTTP protocol.Befo
2014-06-12 17:52:47 403
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人