superloi-CSDN博客

原创 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 322

翻译关于泛型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 393

原创 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 453

原创第二部分集合论第六章集合代数

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 782

原创 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 805

原创 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 546

原创第一部分数理逻辑第五章一阶逻辑等值演算与推理

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 3045

原创第一部分数理逻辑第四章一阶逻辑基本概念

Chapter Four - 一阶逻辑1 - 要点个体词个体个体常项个体变项个体域有限个体域无限个体域全总个体域谓词谓词常项谓词变项1元谓词：表示事物性质n（n≥2）元谓词：表示事物之间的关系0元谓词特性谓词量词全称量词：∀存在量词：∃。命题符号化：设D为个体域（1） “D中所有x都有性质F”：∀xF(x)（2

2015-01-11 11:09:35 1553

原创第一部分数理逻辑第三章命题逻辑的推理理论

Chapter Three - 命题逻辑的推理理论1 - 要点推理证明推理的形式结构的符号化形式：A₁∧A₂∧…∧Ak→B（*）如果（*）是重言式，则称推理是有效的，或称推理是正确的

2015-01-10 16:19:06 1912

原创第一部分数理逻辑第二章命题逻辑等值演算

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 2434

原创第一部分数理逻辑第一章命题逻辑基本概念

Chapter One - 命题逻辑的基本概念1 - 要点命题命题的真值真命题假命题原子命题复合命题命题的符号化：用p，q，r等小写字母表示命题，称为命题的符号化真值的符号化：用数字1代表真，用数字0代表假，称为真值的符号化常用的联结词：（1）“非”，或称“否定”，符号化为￢。称￢为否定联结词（2）“并且”，或称“与”，符号化为∧。称∧为合取联结词

2015-01-10 13:31:43 774

原创 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 343

原创 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 309

原创 Learning List for iOS programming

FollinTutorial Link: http://www.raywenderlich.com/51127/nsurlsession-tutorial

2014-06-13 13:23:39 391

翻译 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 384

superloi