某帖子笔记1

主要还是从三体吧某精品贴里看来的...

集合论

集合就是一堆东西...满足

  • 1) 集合中的元素互异(即每种只有一个)
  • 2) 集合中的元素无序(不是一个数组,集合中的元素没有显然的排序法则)
  • 3) 集合是确定的(包括满足条件的所有东西,比如'一个集合包含有所有可能存在的集合'是不正确的)

组是一类数学对象.组是有序的、多元的.

组的表示方法:$(val1[,val_k]*)$

笛卡尔积

定义两个集合的笛卡尔积

\[S\times M=\\{(a,b)\mid a\in S,b\in M\\}\]

映射

映射是一种从一个集合到另一个集合的对应关系,对于默认朴素集合论的情况属于基本概念.

(注意,以下定义自指涉,但是可以用来了解映射的性质.)

映射可以看成由一个集合组成的对象\(f=mapping(\mathtt{MmapstoQ})\),其中\(\mathtt{MmapstoQ}\subseteq M\times Q\)且

\[\forall a\in M,\left( (\exists (b,c)\in \mathtt{MmapstoQ},b=a)\wedge(\neg (\exists (d,e)\in \mathtt{MmapstoQ}\setminus (b,c),d=a))\right)\]

此时记\(f:M\rightarrow Q\),\(c=f(a)\).

(到这里结束)

二元运算

\(\oplus:S\times S\rightarrow S\)将\(\oplus\)称为\(S\)上的一个二元运算,\(a\oplus b=\oplus((a,b))\)

逻辑学

布尔型

布尔型就是真和假.真就是\(\mathtt{true}\),一般可以用\(1\)表示,假就是\(\mathtt{false}\),用\(0\)表示.

我们可以把布尔型归入一个集合即Boolean集合:$\mathtt{Boolean}=\{ \mathtt{true},\mathtt{false} \} $

命题

一个命题可以看作一个映射\(\mathtt{P}:U\rightarrow \mathtt{Boolean}\),其中\(U\)是命题所判断对象的全集.

以下定义一个记号\(U_{\mathtt{P}}\),其定义是\(U_{\mathtt{P}}=\\{x\mid x\in U,\mathtt{P}(x)=\mathtt{true}\\}\)

布尔运算

  • a and b => \(a \wedge b\)

    • bool and bool = false
    • true and true = true
    • \(U_{P(x)\wedge Q(x)}=U_{P(x)}\cap U_{Q(x)}\)
  • a and b => \(a \vee b\)
    • bool or bool = true
    • false or false = false
    • \(U_{P(x)\vee Q(x)}=U_{P(x)}\cup U_{Q(x)}\)
  • a imp b => \(a \rightarrow b\)
    • bool imp bool = true
    • false imp true = false
    • \(P(x)\rightarrow Q(x) \Rightarrow U_{P(x)}\subseteq U_{Q(x)}\)
  • a equip b => \(a \leftrightarrow b\)
    • a equip b = [ a == b ]
    • \(P(x)\leftrightarrow Q(x) \Rightarrow U_{P(x)}= U_{Q(x)}\)
  • not a => \(\neg a\)
    • not a = [ 1 - a ] : a as Boolean
    • \(U_{\neg P(x)}=U\setminus U_{P(x)}\)

条件

充分条件 \(A\Rightarrow B\),\(A\)是\(B\)的充分条件.
必要条件 \(\neg A\Rightarrow \neg B\),\(A\)是\(B\)的必要条件.
命题表示法 \(\mathtt{P}(x)= x \rightarrow P\) \(x\)为条件 \(P\)为结果
逆命题 \(inv(P(x))=P \rightarrow x\)
否命题 \(neg(P(x))=\neg x \rightarrow \neg P\)
逆否命题 \(invneg(P)=inv(neg(P))\)

\[invneg(P) \Leftrightarrow P\~\~\~恒成立,这条由集合的二分律保证.\]

自然数

皮亚诺公理化体系

自然数是一个戴德金-皮亚诺结构,戴德金-皮亚诺结构是一个满足以下几个性质的三元组\(\mathbb{Z}=(S,f,e)\):

  • \(e\in S\)
  • \(f:S\rightarrow S\)
  • \((\forall b\in S)(\forall c\in S)((f(b)=f(c))\Leftrightarrow (b=c))\)
  • \((\forall a\in S)(\neg (f(a)=e))\)
  • \((\forall P\subseteq S)\left((e\in P)\wedge((\forall a\in P)(f(a)\in P))\Leftrightarrow (S=P)\right)\)

    序数的冯·诺依曼定义

    \[e={},f(x)=x\cup \\{x\\}\]

  • 0 {}
  • 1 {{{}}}
  • 2 {{{}},{{{{}}}}}
  • 3 {{{}},{{{{}}}},{{{{}},{{{{}}}}}}}
  • 4 {{{}},{{{{}}}},{{{{}},{{{{}}}}}},{{{{}},{{{{}}}},{{{{}},{{{{}}}}}}}}}
  • ...
  • 然并卵

加法

定义加法为\(S\)上的二元运算\(+\)满足

  • \((\forall a\in S)(a+e=a)\)
  • \((\forall a,b\in S)(f(a)+b=f(a+b))\)

可以证明这种运算的唯一性.即假设有两种不同定义的二元运算满足以上条件为\(+\)和\(\oplus\),可以发现\((\forall a,b\in S)(a+b=a\oplus b)\).

SX学SX内容 笔记?的更多相关文章

  1. 跟着鸟哥学Linux系列笔记3-第11章BASH学习

    跟着鸟哥学Linux系列笔记0-扫盲之概念 跟着鸟哥学Linux系列笔记0-如何解决问题 跟着鸟哥学Linux系列笔记1 跟着鸟哥学Linux系列笔记2-第10章VIM学习 认识与学习bash 1. ...

  2. 跟着鸟哥学Linux系列笔记2-第10章VIM学习

    跟着鸟哥学Linux系列笔记0-扫盲之概念 跟着鸟哥学Linux系列笔记0-如何解决问题 跟着鸟哥学Linux系列笔记1 常用的文本编辑器:Emacs, pico, nano, joe, vim VI ...

  3. 《Linux就该这么学》培训笔记_ch02_一些必须掌握的Linux命令

    本文在原来作者的基础上做一些符合自己的修改.原文参考: <Linux就该这么学>培训笔记_ch02_一些必须掌握的Linux命令.     本章的内容虽然多,基本都是书本原话,但是笔记能精 ...

  4. 《Linux就该这么学》培训笔记_ch00_认识Linux系统和红帽认证

    <Linux就该这么学>培训笔记_ch00_认识Linux系统和红帽认证 文章最后会post上书本的笔记照片. 文章主要内容: 认识开源 Linux系统的种类及优势特性 认识红帽系统及红帽 ...

  5. 《Linux就该这么学》培训笔记_ch01_部署虚拟环境安装Linux系统

    <Linux就该这么学>培训笔记_ch01_部署虚拟环境安装Linux系统 文章最后会post上书本的笔记照片. 文章主要内容: 在虚拟机中安装红帽RHEL7系统 在Linux系统中找回r ...

  6. 《Linux就该这么学》培训笔记_ch03_管道符、重定向与环境变量

    <Linux就该这么学>培训笔记_ch03_管道符.重定向与环境变量 文章最后会post上书本的笔记照片. 文章主要内容: 输入输出重定向 管道命令符 命令行的通配符 常用的转义字符 重要 ...

  7. 《Linux就该这么学》培训笔记_ch04_Vim编辑器与Shell命令脚本

    <Linux就该这么学>培训笔记_ch04_Vim编辑器与Shell命令脚本 文章最后会post上书本的笔记照片. 文章主要内容: Vim编辑器 Shell脚本 流程控制语句 if语句 f ...

  8. 《Linux就该这么学》培训笔记_ch05_用户身份与文件权限

    <Linux就该这么学>培训笔记_ch05_用户身份与文件权限 文章最后会post上书本的笔记照片. 文章主要内容: 用户身份与能力 文件权限与归属 文件的特殊权限 文件的隐藏属性 文件访 ...

  9. 《Linux就该这么学》培训笔记_ch06_存储结构与磁盘划分

    <Linux就该这么学>培训笔记_ch06_存储结构与磁盘划分 文章最后会post上书本的笔记照片. 文章主要内容: Linux系统的文件存储结构(FHS标准) 物理设备命名规则(udev ...

随机推荐

  1. ecshop 邮件功能

    1.邮件服务器设置(配置好了,在本地和虚拟主机都可以使用) a.163邮箱配置 b.QQ邮箱配置 2.关注管理(客户关注了某以商品,就可以给客户发送邮件) 3.邮件订阅管理,数据表:ecs_email ...

  2. Orchard源码分析(1):Orchard架构

      本文主要参考官方文档"How Orchard works"以及Orchardch上的翻译.   源码分析应该做到庖丁解牛,而不是以管窥豹或瞎子摸象.所以先对Orchard架构有 ...

  3. <Web 之困 现代Web应用安全指南>一本好书 69.00?

    NET代码安全 界面漏洞防范与程序优化 一. SQL 注入攻击的源头 1. 过滤或转移危险字符 2.  使用SqlParameter类:.NET 框架有一个叫做SqlParameter 的集合类型,可 ...

  4. jquery的$.extend、$.fn.extend、 jQuery.extend( target, object1, [objectN])作用及区别

    jQuery为开发插件提拱了两个方法,分别是: jQuery.fn.extend(); jQuery.extend(); 虽然 javascript 没有明确的类的概念,但是用类来理解它,会更方便. ...

  5. step 3 socket

    socket 网络通讯三要素 IP地址(主机名) 网络中设备的标示 不易记忆,可以用主机名 本地回环地址:127.0.0.1 主机名:localhost 每台计算机都有一个 127.0.0.1 如果 ...

  6. XSHELL下直接下载文件到本地(Windows)

    xshell很好用,然后有时候想在windows和linux上传或下载某个文件,其实有个很简单的方法就是rz,sz 首先你的Ubuntu需要安装rz.sz(如果没有安装请执行以下命令,安装完的请跳过. ...

  7. Nginx-tomcat-redis------负载均衡以及session共享

    测试环境 Nginx 1.10.1 tomcat 7.0.70 Redis-x64-3.2.100 说明 tomcat 8 和 redis 实现session共享 有问题. 寻找源码 发现tomcat ...

  8. EF-联合查询-结果集-Group by-统计数目

    EF框架用着痛并且快乐着··· 毕竟用习惯了SQL语句直接硬查的··· SELECT C0.ID,C_C.Name,C_C.C_COUNT FROM article_type C0 INNER JOI ...

  9. 在WordPress后台菜单系统中添加Home链接

    在wordpress后台如果想打开前台的话,要想先把鼠标移动到左上角菜单,然后在下拉菜单中点击“查看站点”,很是麻烦,能不能在 WordPress 后台菜单系统中添加 Home 链接呢? 将下面代码复 ...

  10. 【C语言入门教程】1.1 基本程序结构

    基本程序结构就是从上至下顺序执行的程序,C语言程序必须有且只有一个主函数,程序从主函数开始执行,直到主函数结束.下例是根据半径求圆形面积的程序源代码. #include <stdio.h> ...