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

口語

書目名稱Mathematische Grundlagen der Informatik影響因子(影響力)




書目名稱Mathematische Grundlagen der Informatik影響因子(影響力)學(xué)科排名




書目名稱Mathematische Grundlagen der Informatik網(wǎng)絡(luò)公開度




書目名稱Mathematische Grundlagen der Informatik網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Mathematische Grundlagen der Informatik被引頻次




書目名稱Mathematische Grundlagen der Informatik被引頻次學(xué)科排名




書目名稱Mathematische Grundlagen der Informatik年度引用




書目名稱Mathematische Grundlagen der Informatik年度引用學(xué)科排名




書目名稱Mathematische Grundlagen der Informatik讀者反饋




書目名稱Mathematische Grundlagen der Informatik讀者反饋學(xué)科排名

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.