Accede
发表于 2025-3-25 06:20:49
Logische Grundlagen,matik interessiert, zu konstruieren, zu modellieren und zu manipulieren. Bisher kennen wir Paare, Relationen und Funktionen. Später werden z.B. noch Tupel, lineare Listen, Bäume und Graphen dazukommen.Die Logik wird gebraucht, wenn in der Mathematik Beweise geführt werden,also in einer gewissen (log
抱狗不敢前
发表于 2025-3-25 08:49:48
Allgemeine direkte Produkte und Datenstrukturen, Kapitel führen wir zuerst Tupel ein, die aus endlich vielen Komponenten bestehen, und, als deren Verallgemeinerungen, dann noch Folgen und Familien. Mengen von Tupeln nennt man allgemeine direkte Produkte. Schließlich zeigen wir noch, wie man mit Hilfe von direkten Produkten zwei in der Informatik
违反
发表于 2025-3-25 13:10:44
Mathematische Beweise,s gibt verschiedene Stile, um mathematische Beweise aufzuschreiben. Früher, als die Formelsprache der Mathematik noch nicht oder noch nicht so weit wie heute entwickelt war, waren Beweise hauptsächlich Argumentationen in der Umgangssprache; ein Argumentieren, wie es sich aus der Philosophie entwicke
Dna262
发表于 2025-3-25 16:23:54
Anwendung: Spezifikation und Programmverifikation,ndten Problemen lösen. Von der höheren Schule her kennt man solche Verfahren in der Regel aus dem Geometrie-Unterricht. Typische Algorithmen sind hier das Halbieren einer Strecke oder das Fällen eines Lots nur unter Verwendung von Zirkel, Lineal und Bleistift. Die Informatik ist insbesondere an solc
buoyant
发表于 2025-3-25 21:02:11
Spezielle Funktionen,nen aber nur zu Beispielszwecken verwendet, etwa um Sachverhalte zu beschreiben oder Möglichkeiten zu schaffen, vorgegebene Objekte zu manipulieren. Insbesondere bei den zweiten Anwendungen sprachen wir dann oftmals von Operationen statt von Funktionen, um diesen Charakter zu betonen. Man vergleiche
兴奋过度
发表于 2025-3-26 03:54:14
http://reply.papertrans.cn/63/6273/627277/627277_26.png
Antagonist
发表于 2025-3-26 07:40:01
Elementare Kombinatorik und ungerichtete Graphen,gen, deshalb geschah die Zuordnung zum Kapitel über Relationen. Es gibt auch noch ungerichtete Graphen, bei denen die Verbindungen zwischen den Knoten keine Richtung besitzen, graphisch also keine Pfeile mit Spitzen an einem Ende darstellen. In diesem Kapitel behandeln wir nun die ungerichteten Grap
precede
发表于 2025-3-26 09:58:21
Diskrete Wahrscheinlichkeitstheorie,sie beispielsweise bei der Analyse von evolutionären Algorithmen eingesetzt werden. Ein evolutionärer Algorithmus ist ein Spezialfall eines randomisierten Algorithmus. Solch ein Algorithmus versucht, mit Hilfe zufällig ausgewählter Zwischenschritte zu einem gegebenen Problem eine im Mittel gute bzw.
fleeting
发表于 2025-3-26 16:05:30
Anwendung: Generische Programmierung,ls unwesentlich erachteten Einzelheiten zum wesentlichen Teil eines gerade behandelten Sachverhalts (etwa eines mathematischen Problems) vorzudringen. Typische Abstraktionen sind algebraische Strukturen, die wir in Kapitel 11 behandeln werden. Auch Graphen werden oft als Mittel zur Abstraktion verwe
Robust
发表于 2025-3-26 17:57:44
http://reply.papertrans.cn/63/6273/627277/627277_30.png