数理逻辑 形式系统conceptsConsistency形式系统的一致性就是说系统没有矛盾,从语法上说, P 与 ¬ P 不能在系统中都可证, 从语义上说存在一种解释满足所有的定理,也就是说使定理为真(也就是真陈述), 如果至少有一个经解释后的定理是假陈述,那么形式系统就出现了不一致性. 上述的一致性实际是形式系统(带上解释)同外部世界的一致性, 但是还有一种内部一致性说的是 系统中的定理解释之后应该是相容 2013-02-12 notes math
集合论 总体把握naive set theory（Cantor）=> 罗素悖论(Russell’s paradox) =>公理化集合论 朴素集合论（直觉上）：康托儿创立几个基本概念： 基数（势）：可以理解为大小 一一对应：比较两个集合的大小时，如果两个集合能一一对应，那么这两 个集合基数相同或等势，均势 可数无穷大（可列无穷大）：如果一个集合和自然数集一一对应，那么这 2013-02-12 notes math
线性代数 Symbols V : Vector space F : stands for either R or C. R : Real numbers C : Complex numbers Concepts 线性关系(linear relation): 源于一个很朴素的想法,如果x,y是线性关系,那么x增大或者缩小n倍,那么y也应该增大或缩小n倍, 如果x1对应于y1, x2对应于y2, 那么x1+x 2013-02-11 notes math
css笔记 三种引用css的方法1234567891011<!-- 外部样式表 --><link rel="stylesheet" href="/static/css/your.css" type="text/css" media="screen" /><!-- 内部样式表 --><sty 2012-02-13 notes lang css
计算理论 自动机理论正则语言Concepts DFA: 确定型有穷自动机 NFA: 非确定有穷自动机 正则语言：能被一个有穷自动机接受的语言就是正则语言 语言: 如果 A 是机器 M 所接受的所有字符串组成的集合,那么我们就说 A 是 机器 M 的语言.也可以写作L(M)=A 或者 M 识别 A. DFA Definition 有穷自动机是一个五元组 $(Q, \Sigma, \delta, q 2012-01-12 notes theory comoutation
计算机网络 IPPcket Structure12345678910111213141516 0 1 2 3 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+- 2011-01-13 notes network theory
UNP笔记 socket地址相关有一个通用地址结构 struct sockaddr_in, bind, connect这样的API中都是使用这个 结构,其它的地址结构必须类型转换为该结构. ipv6又定义了一个新的通用地址结构 struct sock_storage, 该结构可以包含所有的地址,包括ipv4,ipv6以及unix. 123456789101112131415161718192021222324 2011-01-12 notes network socket api
git笔记 基本使用git的基本命令 安装：sudo apt-get install git git-uid init: git init（工作目录运行，会生成一个.git目录，里面会存放索引数据） add: 将文件添加到暂存区 git add: 添加文件 git add .: 添加所有 commit: 提交到版本库，一般调用add后只是在暂存区，只有调用commit才会提交到git版本库 git com 2010-02-14 notes git
elisp elisp基本语法help M-x apropos (find symbol) C-h k(descripte key) C-h f (function) C-h v (variable) control flow if 1234(if testab);;test is the condition when 123(when condition a b c);;; equivalent(if 2010-01-14 notes emacs elisp