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

最新文章

  1. Android的onMeasure和onLayout And MeasureSpec揭秘
  2. .Net MVC框架 + WCF 搭建 集群开发
  3. C#集合接口的继承关系图
  4. XShell上传下载命令
  5. 使用nodejs中httpProxy代理时候出现404异常
  6. 移动端rem布局
  7. POJ2987 Firing 最大权闭合图
  8. 在Linux下写一个线程池以及线程池的一些用法和注意点
  9. BZOJ 1196 二分答案+并查集
  10. 小米wifi
  11. Linux的学习笔记_Day1
  12. 如何使用padlepadle 进行意图识别-开篇
  13. sql语句查询表中重复字段以及显示字段重复条数
  14. parse
  15. ZOJ2112 Dynamic Rankings
  16. 2019.01.08 bzoj3809: Gty的二逼妹子序列(莫队+权值分块)
  17. Android-Recyclerview-使用分割线
  18. KindEditor-编辑器配置参数属性
  19. SpringBoot学习:使用spring-boot-devtools进行热部署
  20. 更新Android Studio 3.1.1碰到的问题

热门文章

  1. .NET框架源码解读之准备CLR源码阅读环境
  2. CentOS 7上搭建Docker环境
  3. Js异常捕获
  4. PXE+Kickstart无人值守安装系统re
  5. Java50道经典习题-程序9 求完数
  6. 474. Ones and Zeroes
  7. Elasticsearch入门CRUD(新增、查询、修改、删除)
  8. Dota2APP--第二天
  9. leetcode-350-Intersection of Two Arrays II(求两个数组的交集)
  10. 图的最小生成树的理解和实现:Prim和Kruskal算法