Mathematische Grundlagen für die Informatik

Transkript

1 Mathematische Grundlagen für die Informatik

2 Kurt-Ulrich Witt Mathematische Grundlagen für die Informatik Mengen, Logik, Rekursion

3 Prof. Dr. Kurt-Ulrich Witt Hochschule Bonn-Rhein-Sieg St. Augustin, Deutschland ISBN DOI / ISBN (ebook) Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über abrufbar. Springer Vieweg Springer Fachmedien Wiesbaden 2013 Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht ausdrücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Planung und Lektorat: Ulrike Schmickler-Hirzebruch Barbara Gerlach Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier. Springer Vieweg ist eine Marke von Springer DE. Springer DE ist Teil der Fachverlagsgruppe Springer Science+Business Media

4 Vorwort v Vorwort Viele Studierende in Informatik-Studiengängen sind insbesondere am Anfang ihres Studiums überrascht über den Umfang und die Intensität der mathematischen Inhalte, mit denen sie sich auseinandersetzen müssen. Vorhandene Vorkenntnisse aus Schulen oder Berufsausbildungen helfen nicht unbedingt, da mathematische Begriffe, Methoden und Verfahren im Studium anders präsentiert und an die Studierenden andere Anforderungen für den Umgang damit gestellt werden. So werden z.b. in der Schule und in der Ausbildung die aussagenlogischen Verknüpfungen mithilfe von Wahrheitstafeln eingeführt und berechnet. In diesem Buch wird die Aussagenlogik nicht mehr oder weniger informell mit Wahrheitstafeln, sondern als formale Sprache eingeführt. Formale Sprachen wie Spezifikations-, Programmier-, Datenbank- und Formatierungssprachen sind von wesentlicher Bedeutung für die Informatik. Informatikerinnen und Informatiker müssen nicht nur solche Sprachen kennen und anwenden können, sondern sie müssen solche Sprachen auch selber entwerfen und implementieren können. Deshalb werden in diesem Buch schon direkt zu Beginn anhand der Sprache der Aussagenlogik die für die Definition formaler Sprachen wesentliche Begriffe wie Alphabet, Syntax und Semantik mathematisch präzise definiert und dabei Rekursion als Beschreibungsmethode verwendet. Dieses Prinzip wird in diesem Buch grundsätzlich verfolgt. Zum einen werden schrittweise elementare Begriffe aus der Logik und der Mengenlehre, zu Relationen und Funktionen, zu Rechenstrukturen und zur Berechenbarkeit formal eingeführt und analysiert. Zum anderen werden für die Informatik bedeutende Problembeschreibungs- und Problemlösemethoden wie formale Notationen, Abstraktion, Schlussfolgerungsmechanismen, Induktion und Rekursion erläutert und angewendet. Die erwähnten Begriffe und Methoden bilden eine wesentliche Basis für das weitere Studium. Sowohl in Mathematik-Kursen, wie z.b. Analysis, Stochastik und Statistik, Algebra und Zahlentheorie, als auch in Kursen zu allen Bereichen der Informatik, wie z.b. Automatentheorie, Formale Sprachen, Berechenbarkeit, Datenstrukturen und Algorithmen, Programmierung, Datenbanksysteme, Betriebssysteme und Rechnernetze, werden diese Begriffe und Methoden benötigt und weiterentwickelt. Das Buch richtet sich somit an Erstsemester-Studierende in Informatik- und Mathematik-Studiengängen. Es ist als Begleitlektüre zu entsprechenden Lehrveranstaltungen an Hochschulen aller Art und insbesondere zum Selbststudium geeignet. Jedes Kapitel beginnt mit einer seinen Inhalt motivierenden Einleitung und der Auflistung von Lernzielen, die durch das Studium des Kapitels erreicht werden sollen. Zusammenfassungen am Ende von Abschnitten oder am Ende von Kapiteln bieten Gelegenheit, den Stoff zu reflektieren. Die meisten Beweise sind vergleichsweise ausführlich und mit Querverweisen versehen, die die Zusammenhänge aufzeigen. Eingestreut sind viele Beispiele und über sechzig Aufgaben, deren Bearbeitung zur Festigung des Wissens und zum Üben der dar-

5 vi Vorwort gestellten Methoden und Verfahren dienen. Zu fast allen Aufgaben sind am Ende des Buches oder im Text Musterlösungen aufgeführt. Die Aufgaben und Lösungen sind als integraler Bestandteil des Buches konzipiert. Wichtige Begriffe sind als Marginalien aufgeführt; der Platz zwischen den Marginalien bietet Raum für eigene Notizen. Das Schreiben und das Publizieren eines solchen Buches ist nicht möglich ohne die Hilfe und ohne die Unterstützung von vielen Personen, von denen ich an dieser Stelle allerdings nur einige nennen kann: Als Erstes erwähne ich die Autoren der Publikationen, die ich im Literaturverzeichnis aufgeführt habe. Alle dort aufgeführten Werke habe ich für den einen oder anderen Aspekt verwendet. Ich kann sie allesamt für weitere ergänzende Studien empfehlen. Zu Dank verpflichtet bin ich auch vielen Studierenden, deren kritische Anmerkungen in meinen Lehrveranstaltungen zu Themen dieses Buches ich beim Schreiben berücksichtigt habe. Trotz dieser Hilfen wird das Buch Fehler und Unzulänglichkeiten enthalten. Diese verantworte ich allein für Hinweise zu deren Beseitigung bin ich dankbar. Die Publikation eines Buches ist nicht möglich ohne einen Verlag, der es herausgibt. Ich danke dem Springer-Verlag für die Bereitschaft zur Publikation und insbesondere Frau Schmickler-Hirzebruch für ihre Ermunterung zur und ihre Unterstützung bei der Publikation des Buches. Mein größter Dank gilt allerdings meiner Familie für den Freiraum, den sie mir für das Schreiben dieses Buches gegeben hat. Bedburg, im Juli 2013 K.-U. Witt

6 Inhaltsverzeichnis vii Inhaltsverzeichnis Vorwort v 1 Mengen und Logik Definition und Darstellung von Mengen Ein Mengenbegriff Darstellung von Mengen Bezeichner für Zahlenmengen Russellsche Antinomie Zusammenfassung Aussagenlogik Alphabet der Aussagenlogik Syntax aussagenlogischer Formeln Semantik aussagenlogischer Formeln Zusammenfassung Logische Folgerungen und Implikationen Logische Folgerung Implikation Kalküle Theorien Zusammenfassung Äquivalenzen, Basen und Normalformen Aussagenlogische Äquivalenzen Aussagenlogische Basen Disjunktive und konjunktive Normalform Zusammenfassung Resolutionskalkül Klauselmengen Der Resolutionsoperator Das Resolutionsverfahren Zusammenfassung Hornlogik Hornformeln und Hornklauseln Erfüllbarkeit von Hornformeln Kleinste Modelle Zusammenfassung Prädikatenlogik Alphabet der Prädikatenlogik Syntax prädikatenlogischer Formeln Semantik prädikatenlogischer Formeln Weitere Logiken Zusammenfassung Beweismethoden Direkter Beweis... 67

7 viii Vorwort Indirekter Beweis Beweis durch Widerspruch Ringschluss Zusammenfassung Operationen auf Mengen Teilmengen Potenzmengen Verknüpfung von Mengen Elementare Eigenschaften Zusammenfassung Boolesche Algebra Definitionen und grundlegende Eigenschaften Isomorphie Boolescher Algebren Zusammenfassung Relationen und Funktionen Relationen Kartesisches Produkt Relationen: Definitionen und Eigenschaften Ordnungen Äquivalenzrelationen Umkehrrelationen Komposition von Relationen Reflexiv-transitive Hüllen Zusammenfassung Funktionen Begriffe und Eigenschaften Operationen und Prädikate Zusammenfassung Mächtigkeit von Mengen Definitionen und Beispiele Zusammenfassung Zahlenmengen Die Menge der natürlichen Zahlen Einführung der Menge der natürlichen Zahlen Rechnen mit natürlichen Zahlen Rechenregeln in N Zusammenfassung Vollständige Induktion und verallgemeinertes Rekursionsschema Vollständige Induktion Verallgemeinertes Rekursionsschema Zusammenfassung Fibonacci-Zahlen

8 Inhaltsverzeichnis ix 3.4 Ackermannfunktion Abzählbarkeit von Mengen Definitionen und grundlegende Eigenschaften Beispiele und Diagonalisierung Abschlusseigenschaften abzählbarer Mengen Zusammenfassung Die Menge der ganzen Zahlen Konstruktion der ganzen Zahlen Rechenregeln in Z Zusammenfassung Die Menge der rationalen Zahlen Konstruktion der rationalen Zahlen Rechenregeln in Q Zusammenfassung Rechenstrukturen Gruppen, Ringe, Körper Köpererweiterungen Zusammenfassung Die Mengen der reellen und der komplexen Zahlen Reelle Zahlen Komplexe Zahlen Algebraische und transzendente Zahlen Zusammenfassung Berechenbarkeit Primitiv-rekursive Funktionen μ-rekursion Churchsche These utm- und smn-theorem Nummerierung der berechenbaren Funktionen Das utm-theorem Das smn-theorem Rekursionssatz und Selbstreproduktionssatz Aufzählbare und entscheidbare Mengen Entscheidbare und semi-entscheidbare Mengen Aufzählbare Mengen Reduzierbarkeit von Mengen Unentscheidbare Mengen Das Halteproblem Der Satz von Rice Das Korrektheitsproblem Das Äquivalenzproblem Zusammenfassung

9 x Lösungen zu den Aufgaben 201 Literatur 215 Stichwortverzeichnis 217