某帖子笔记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. C# Language Specification

    https://msdn.microsoft.com/en-us/library/aa645596(v=vs.71).aspx

  2. Redis学习——环境搭建以及基础命令使用

    0. 前言: 这篇文章旨在对redis环境的搭建以及对redis有个大概的认识. 一.redis搭建: 环境:ubuntu 14 软件包:redis-3.0.3.tar.gz 安装步骤: 1. 首先解 ...

  3. 修改wampserver 默认localhost 和phpmyadmin 打开链接

    在wamp上 左键打开localhost 自定义端口的话 或者其他网址 需要以下修改(同样访问phpmyadmin修改也是这个地方) 修改文件路径 D:\wamp\wampmanager.tpl 搜索 ...

  4. Python之迭代器和生成器

    Python 迭代器和生成器 迭代器 Python中的迭代器为类序列对象(sequence-like objects)提供了一个类序列的接口,迭代器不仅可以对序列对象(string.list.tupl ...

  5. Spring回调方法DisposableBean接口

    除了自定义的destroy-method.还可以实现DisposableBean接口,来回调bean销毁时候执行的方法,这个接口有一个destroy方法,生命周期是是destroy----bean销毁 ...

  6. [MongoDB]Profiling性能分析

    摘要 上篇文章介绍了mapReduce这个聚合操作.本篇将继续学习,db有了,collection和document也有,基本上够用了,但是随着项目上线后,发现业务数据越来越多,查询效率越来越慢,这时 ...

  7. 在Linux下如何使用GCC编译程序、简单生成 静态库及动态库

      最近在编写的一个Apache  kafka 的C/C++客户端,,在看他写的 example中,他的编译是用librdkafka++.a和librdkafka.a    静态库编译的,,,而我们这 ...

  8. asp.net mvc ClaimsIdentity 授权研究 (还是测试版 有bug)

      安装 Microsoft.Owin.Host.SystemWeb Identity.Core Microsoft.Owin.Security.Cookies 在是startup.cs做如下修改 p ...

  9. array_fill 用给定的值填充数组

    转自:http://www.phpstudy.net/php/165.html PHP array_fill 用给定的值填充数组 array_fill (PHP 4 >= 4.2.0, PHP ...

  10. Java学习注意事项

    一个Java文件中可以包含多个类. 如果有public类,则文件名必须和public类一样. 例如: class Pie { void f(){ System.out.println("Pi ...