1.Aussagenlogik

1.1 Gleichwertiges Kalkül

1.2 Normalform

Einfache Disjunktion besteht aus Disjunktion endlicher Aussagensvariable order deren Negation

Einfache Konjunktion besteht aus Konjunktion endlicher Aussagensvariable oder deren Negation

Disjunktive Normalform besteht aus Disjunktion endlicher einfache Konjunktion

Konjunktive Normalform besteht aus Konjunktion endlicher einfache Disjunktion

Als Minimale Aritikel bezeichnen wir einfache Konjunktion

2.Menge

2.1 Das Begriff der Menge

Eine Menge ist ein Verbund, eine Zusammenfassung von einzelnen Elementen

N Tupel Menge hat 2n Teilmenge

2.2 Grundlegend Rechnung der Menge

Menge Berechnungsformel:

3.Binäre Beziehung

3.1 Kartesisches Produkt

Kartesisches Produkt:Wir setzen A,B als Menge voraus,wir benutzen A als erstes Element,B als zweites Element,dann sie setzen geordenetes Paar zusammen.Als A×B werden wir verzeichnen

A×B = {<x,y>|x∈A∩y∈B}

Beispiel:A={a,b},B={0,1,2}

Ergebnis der A×B ist

A×B={<a,0>,<a,1>,<a,2>,<b,0>,<b,1>,<b,2>}

Ergebnis der B×A ist

B×A={<0,a>,<0,b>,<1,a>,<1,b>,<2,a>,<2,b>}

Eigenschaften:

Kartesisches Produkt kann Kommutativgesetz und Assoziativgesetz nicht entsprechen,aber Distributivgesetz entsprechen

3.2 Berechnung der Menge

Difinitionsmenge:domR = {x|∃y(<x,y>∈R)}

Wertebereich:ranR= {y|∃x(<x,y>∈R)}

Gebiete:fldR = domR∪ranR

Beispiel

4.Graph

4.1 Ungerichtete Graph und gerichtete Graph

Graph G ist eine zwei Tupel <V,E>

V ist eine nicht leer endliche Menge,deren Teilmenge bezeichnen wir als Knoten

E ist eine Kantenmenge,deren Teilmenge bezeichnen wir als Kante

Es gibt nur eine Knoten,ohne Kante,bezeichnen wir es als trivial Graph

Bei ungerichtetem Graph,bezeichnen wir Knoten v,der als Endpunkt besetzt,als Grad

Bei gerichtetem Graph,bezeichnen wir Knoten,der als Startpunkt besetzt,Ausgangsgrad,als d+(v);

bezeichnen wir Knoten,der als Endpunkt besetzt,als Eingangsgrad,als d-(v)

Händeschüttelngesetz:Wir setzen Graph G=<V,E> als ungerichtete order gerichtete Graph voraus,V={v1,v2,...,Vn},|E| = m

Wir setzen Graph G=<V,E> als gerichtete Graph voraus,V={v1,v2,...,Vn},|E| = m

Beim ungerichtete Graph,der ungerichtete Kanten,der hängt mit ein Paar Knoten,großer als eins,bezeichnen wir ihn als parallel Kante

Beim gerichtete Graph,der Kanten,deren Startpunkt und Endpunkt gleich sind,bezeichnen wir sie gerichteten als parallel Kante

Einfaches Graph,ohne parallel und Kreis

G'⊆G und V'=V,bezeichnen wir G' spanning Teilgraph des G

4.2 Weg,Kreis und Anschlussmöglichkeit des Graphs

Wenn jede Kante nur ein Mal vorbeigegangen ist,bezeichnen wir es als einfachen Weg;Wenn v0 = vl,bezeichnen wir es als einfachen Kreis

Wenn jeder Knoten nur ein Mal vorbeigegangen ist,bezeichnen wir es als primär Weg;Wenn v0 = vl,bezeichnen wir es als primär Kreis

Beispiel

Bei einem ungerichtete Graph G,es besteht aus Weg zwischen u und v,bezeichnen es wir als "u und v ist zusammenhängend"

Bei einem ungerichtete Graph G oder trivial Graph G sind beliebig zwei Knoten zusammenhängend,bezeichnen wir es als verbundenes Graph,sonst als nicht verbundenes Graph

Bei einem gerichtete Graph D ignorieren wir alle Richtung der Kanten,bekommen wir gerichtete Graph,das zusammenhängend ist,bezeichnen wir es als schwach verbundenes Graph

Wenn beliebige Knoten des D am mindestens von einem Knoten nach anderem erreichen kann,bezeichnen wir es als einseitig verbundenes Graph

Wenn beliebige Knoten des D von einem Knoten nach anderm erreichen kann,bezeichnen wir es als stark verbundenes Graph

4.3 Martrix des Graph

4.3.1 Assoziationsmatrix

Beispiel

Bei ungerichtetem Graph

Bei gerichtetem Graph

4.3.2 Adjazenzmatrix

Bei gerichtetem Graph

4.4 Kürzester Pfad

4.4.1 dijkstra Algorithmus

Wir verwenden Menge S als aktuell kürzester Pfad,Menge U als Pfadmöglichkeiten

5.Baum

5.1 Huffman Algorithmus

W(Baum) = Die Summe des Verzweigungspunkt

W(Baum) = 42

Diskrete Mathematik的更多相关文章

  1. 2D and 3D Linear Geometry Kernel ( Geometry Kernels) CGAL 4.13 -User Manual

    1 Introduction CGAL, the Computational Geometry Algorithms Library, is written in C++ and consists o ...

  2. APS审核经验+审核资料汇总——计算机科学与技术专业上海德语审核

    1.APS是什么 德国驻华使馆文化处留德人员审核部(简称APS)成立于2001年7月,是由德国驻华使馆文化处和德意志学术交流中心(DAAD)在北京共同合作成立的服务机构. APS是中国学生前往德国留学 ...

  3. Mathematik

    Ausdruck auf Deutsch Lösen Problem der Abteilung. 求导. Die Abteilung von 3x ist 3. 3x的导数是3 Lösen Prob ...

  4. 差分进化算法 DE-Differential Evolution

    差分进化算法 (Differential Evolution)   Differential Evolution(DE)是由Storn等人于1995年提出的,和其它演化算法一样,DE是一种模拟生物进化 ...

  5. 转债---Pregel: A System for Large-Scale Graph Processing(译)

    转载:http://duanple.blog.163.com/blog/static/70971767201281610126277/   作者:Grzegorz Malewicz, Matthew ...

  6. DNS配置详解

    DNS简介在Linux中,域名服务(DNS)是由柏克莱网间名域(Berkeley Internet Name Domain——BIND)软件实现的.BIND是一个客户/服务系统,它的客户方面称为转换程 ...

  7. GPU深度发掘(一)::GPGPU数学基础教程

    作者:Dominik Göddeke                 译者:华文广 Contents 介绍 准备条件 硬件设备要求 软件设备要求 两者选择 初始化OpenGL GLUT OpenGL ...

  8. c++资源之不完全导引 (转)

    c++资源之不完全导引 (转) 转:http://www.cnblogs.com/suiyingjie/archive/2008/02/24/1079411.html 本文2004年5月首发于< ...

  9. Pregel: A System for Large-Scale Graph Processing(译)

    [说明:Pregel这篇是发表在2010年的SIGMOD上,Pregel这个名称是为了纪念欧拉,在他提出的格尼斯堡七桥问题中,那些桥所在的河就叫Pregel.最初是为了解决PageRank计算问题,由 ...

随机推荐

  1. WP8中使用async/await扩展HttpWebRequest

    前文讲到WP8中使用Async执行HTTP请求,用了微软提供的扩展.下面提供了一种方法,自己实现HttpWebRequest的扩展. 随后就可以使用 await HttpWebRequest.GetR ...

  2. Java基础知识点1

    运算符 运算符的分类: 算术运算符 赋值运算符 关系运算符 逻辑运算符 位运算符 三目运算符 自增自减运算符:++i:i先自加,再做其他运算:i++先运算再自加: --i先自减再做其他运算:i--先运 ...

  3. Syncthing源码解析 - 启动过程

    我相信很多朋友会认为启动就是双击一下Syncthing程序图标,随后就启动完毕了!如果这样认为,对,也不对!对,是因为的确是这样操作,启动了Syncthing:不对是因为在调试Syncthing启动过 ...

  4. iOS水波纹效果

    最近也是在学习一些动画效果的实现,也找了一些Demo进行练习,先放出原地址http://www.cocoachina.com/ios/20161104/17960.html,感谢大神的分享,作者对实现 ...

  5. CF77E Martian Food(圆的反演or 笛卡尔定理+韦达定理)

    题面 传送门 这题有两种方法(然而两种我都想不到) 方法一 前置芝士 笛卡尔定理 我们定义一个圆的曲率为\(k=\pm {1\over r}\),其中\(r\)是圆的半径 若在平面上有两两相切,且六个 ...

  6. 2018 ACM-ICPC 亚洲区域赛青岛现场赛 —— Problem F. Tournament

    题面:http://acm.zju.edu.cn/contest-materials/qd2018/qd2018_problems.pdf 题意: n个骑士决斗K轮 要求是每个骑士只能跟另外一个骑士决 ...

  7. 脚本:定时释放 Linux/CentOS 缓存【转载自:杭州山不高】

    定时释放Linux/CentOS缓存的脚本(yl_dropcaches)如下: #!/bin/bash used=`free -m | awk 'NR==2' | awk '{print $3}'` ...

  8. webpack 踩的坑

    我是看着这篇博客学习的 http://www.jianshu.com/p/42e11515c10f# 看到loaders的时候,按照博主写法去试 结果报错....找了好久,上网查了好多 也看错误信息了 ...

  9. Antd 初识

    mark 参考 antd - 官网:Ant Design Pro: Ant Design - github:Ant Design pro - github:

  10. .NET Core容器化之多容器应用部署-使用Docker-Compose

    原文补充: -- docker-compose.ymlversion: ' services: mvc-web: container_name: mvc.web.compose build: . re ...