口语 发表于 2025-3-21 19:58:27
书目名称Mathematische Grundlagen der Informatik影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0627534<br><br> <br><br>书目名称Mathematische Grundlagen der Informatik读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0627534<br><br> <br><br>Ablation 发表于 2025-3-21 21:39:39
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 发表于 2025-3-22 02:38:07
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).故意 发表于 2025-3-22 08:07:14
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.药物 发表于 2025-3-22 10:06:18
http://reply.papertrans.cn/63/6276/627534/627534_5.pnghandle 发表于 2025-3-22 16:04:23
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 发表于 2025-3-22 17:50:50
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.我要沮丧 发表于 2025-3-23 00:52:27
http://reply.papertrans.cn/63/6276/627534/627534_8.pngNotify 发表于 2025-3-23 04:07:48
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.石墨 发表于 2025-3-23 06:09:42
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.