Titlebook: Mathematische Grundlagen der Informatik; Mathematisches Denke Christoph Meinel,Martin Mundhenk Textbook 20156th edition Springer Fachmedien

口语

书目名称Mathematische Grundlagen der Informatik影响因子(影响力)




书目名称Mathematische Grundlagen der Informatik影响因子(影响力)学科排名




书目名称Mathematische Grundlagen der Informatik网络公开度




书目名称Mathematische Grundlagen der Informatik网络公开度学科排名




书目名称Mathematische Grundlagen der Informatik被引频次




书目名称Mathematische Grundlagen der Informatik被引频次学科排名




书目名称Mathematische Grundlagen der Informatik年度引用




书目名称Mathematische Grundlagen der Informatik年度引用学科排名




书目名称Mathematische Grundlagen der Informatik读者反馈




书目名称Mathematische Grundlagen der Informatik读者反馈学科排名

Ablation

AussagenWir stellen dar, wie man Sachverhalte mathematisch exakt formulieren kann. Das ist eine Voraussetzung dafür, ihre Allgemeingültigkeit beweisen zu können. Dazu führen wir zunächst grundlegende Begriffe wie Aussagen und Aussageformen ein und betrachten, wie man Aussagen nach logischen Prinzipien verknüpfen kann.

growth-factor

Mengen und MengenoperationenWir führen den grundlegenden Begriff der Menge ein und üben daran das Formulieren und Benutzen von Aussagen und Aussageformen. Dazu betrachten wir Beziehungen zwischen Mengen (Teilmenge, Obermenge), Operationen auf Mengen (Durchschnitt, Vereinigung, Komplement, Produkt) sowie Mengen von Mengen (Potenzmenge, Mengenfamilien).

故意

Mathematisches BeweisenUm sich und andere gesichert von der Allgemeingültigkeit einer Beobachtung zu überzeugen, führt man in der Mathematik Beweise. Wir machen uns grundlegende Gedanken zum Beweisen, damit wir im folgenden Kapitel erste einfache Beweise führen können.

药物

handle

Grundlegende BeweisstrategienMathematiker bezweifeln alles. Um sich und andere von der Richtigkeit eines Sachverhaltes zu überzeugen, verlangen sie einen mathematischen Beweis, der den sehr strengen Regeln der mathematischen Logik unterliegt. In diesem Kapitel werden wir Methoden besprechen, mit denen ein solcher Beweis geführt werden kann.

Heart-Attack

Vollständige InduktionVollständige Induktion ist häufig ein ausgezeichnetes Hilfsmittel zum Beweis von Aussagen der Form ″∀. ∈ ℕ : .(.)″. Wir beweisen das hinter dieser Beweismethode stehende Prinzip und führen sie an verschiedenen Beispielen vor.

我要沮丧

Notify

AussagenlogikAussagenlogik spiegelt die grundlegenden Ideen des korrekten Schlussfolgerns wider. Zuerst betrachten wir die Verbindung zwischen Boole’scher Algebra und Aussagenlogik. Anschließend werden wir die Resolutionsmethode vorstellen, mit der man korrektes Schlussfolgern überprüfen kann.

石墨

Modulare ArithmetikWir übertragen die Regeln des Rechnens mit ganzen Zahlen auf endliche Zahlenbereiche. Das ist insbesondere für das Rechnen mit Computern wichtig, die selbst bei größtem Speicher nur mit endlich vielen Zahlen umgehen können. Zur Veranschaulichung stellen wir ein weit verbreitetes und berühmtes Verschlüsselungsverfahren vor – das RSA-Verfahren.