Logik für Informatiker
|
|
- Thomas Dunkle
- vor 6 Jahren
- Abrufe
Transkript
1 Logik für Informatiker im Wintersemester 2012/13
2 Inhaltsverzeichnis Vorwort v 1 Aussagenlogik Grundbegriffe der Aussagenlogik Äquivalenz und Normalformen Hornformeln Minimale Modelle für Klauselmengen Der Endlichkeitssatz (Kompaktheitssatz) Resolution ii
3 2 Prädikatenlogik Grundbegriffe der Prädikatenlogik Normalformen Unentscheidbarkeit Herbrand Theorie Resolution Hyperresolution für Hornformeln iii
4 3 Logikprogrammierung Grundlagen von PROLOG SLD und SLDNF Resolution Suche in Graphen Sortieren und Suchbäume Literatur 408 iv
5 Vorwort Anwendungen: Zermelo und Fraenkel: Axiome der Mengenlehre Formulierung von Theoremen: Fermat Theorembeweisen Boolesche Schaltkreise: Analyse und Optimierung Datenbanken: SQL Logikprogrammierung: PROLOG Semantic Web: Beschreibungslogiken, OWL, SWRL... v
6 Mathematische Axiome und Theoreme Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der naiven Mengenlehre, das Russell 1903 publizierte. Dies führte zur Entwicklung der axiomatischen Mengenlehre. Die Logik bietet einen exakten Formalismus zur Repräsentation und Verarbeitung von mathematischem Wissen in Form von Axiomen und Theoremen. Beim Theorembeweisen können mit Hilfe von Kalkülen automatisch neue Theoreme aus den Axiomen und den bereits bekannten Theoremen hergeleitet werden. Durch die steigende Rechnerleistung ist zu erwarten, daß zukünftig verstärkt Theoreme automatisch oder semi automatisch bewiesen werden können. vi
7 Zermelo und Fraenkel: Axiome der Mengenlehre (vgl. Wikipedia) ZF hat unendlich viele Axiome, da zwei Axiomenschemata (8. und 9.) verwendet werden, die zu jedem Prädikat mit bestimmten Eigenschaften je ein Axiom angeben. Als logische Grundlage dient die Prädikatenlogik der ersten Stufe mit Identität und dem undefinierten Elementprädikat. Die Infix Notation A B ist gleichbedeutend mit der Präfix Notation (A,B). 1. Extensionalitätsaxiom oder Axiom der Bestimmtheit: Zwei Mengen sind genau dann gleich, wenn sie dieselben Elemente enthalten. A B (A = B C (C A C B)) vii
8 2. Leermengenaxiom oder Nullmengenaxiom: Es gibt eine Menge ohne Elemente. B A (A B) Aus dem Extensionalitätsaxiom folgt unmittelbar die Eindeutigkeit dieser Menge B, das heißt, daß es auch nicht mehr als eine solche Menge gibt. Diese wird meist als geschrieben und leere Menge genannt. Das bedeutet: Die leere Menge ist in ZF das einzige Urelement. Andere Urelemente sind nur beim allgemeineren originalen Axiom der Bestimmtheit von Zermelo möglich. viii
9 3. Paarmengenaxiom: Für alle A undb gibt es eine Menge C, die genau A und B als Elemente hat. A B C D (D C (D = A D = B)) Auch diese Menge C ist eindeutig bestimmt. Sie wird geschrieben als {A,B}. Die Menge {A,A} wird üblicherweise als{a} geschrieben. 4. Vereinigungsaxiom: Für jede Menge A gibt es eine Menge B, die genau die Elemente der Elemente vonaals Elemente enthält. A B C (C B D(D A C D)) Auch die Menge B ist eindeutig bestimmt und heißt die Vereinigung der Elemente vona, geschrieben als A. Zusammen mit dem Paarmengenaxiom lässt sich die Vereinigung A B := {A,B} definieren. ix
10 5. Unendlichkeitsaxiom: Es gibt eine (induktive) Menge A, die die leere Menge und mit jedem Element x auch die Menge x {x} enthält. A( X A Y A (Y X) X (X A X {X} A) ) Es gibt viele derartige Mengen. Der Schnitt aller dieser Mengen ist die kleinste Menge mit diesen Eigenschaften und bildet die Menge der natürlichen Zahlen; die Bildung der Schnittmenge erfolgt durch Anwendung des Aussonderungsaxioms (s.u.). Die natürlichen Zahlen werden also dargestellt durch IN := {, { }, {,{ }}, {,{ },{,{ }}},...}. x
11 Die weiteren Axiome (6. bis 10.) führen wir ohne prädikatenlogische Definition der Vollständigkeit halber auf: 6. Potenzmengenaxiom, 7. Fundierungsaxiom oder Regularitätsaxiom, 8. Aussonderungsaxiom, 9. Ersetzungsaxiom (Fraenkel), 10. Auswahlaxiom. xi
12 6. Potenzmengenaxiom: Für jede Menge A gibt es eine Menge P, deren Elemente genau die Teilmengen vonasind. 7. Fundierungsaxiom oder Regularitätsaxiom: Jede nichtleere Menge A enthält ein Element B, so dassaund B disjunkt sind. Das Element B, welches zu A disjunkt ist, ist im allgemeinen nicht eindeutig bestimmt. Das Fundierungsaxiom verhindert, dass es unendliche oder zyklische Folgen von Mengen gibt, bei denen jeweils eine in der nächsten enthalten ist,x 1 x 2 x 3..., denn dann könnte man eine Menge A = {x 1,x 2,x 3,...} bilden, die dem Axiom widerspricht: Für jedes x i A ist x i+1 x i A, die beiden Mengen sind also nicht disjunkt. xii
13 8. Aussonderungsaxiom: Hier handelt es sich um ein Axiomenschema mit je einem Axiom zu jedem einstelligen Prädikat P : Zu jeder Menge A existiert eine Teilmenge B vona, die genau die Elemente C vonaenthält, für die P(C) wahr ist. Aus dem Extensionalitätsaxiom ergibt sich sofort, daß es genau eine solche Menge gibt. Diese wird mit{ C A P(C)} notiert. 9. Ersetzungsaxiom (Fraenkel): Ist A eine Menge und wird jedes Element vonaeindeutig durch eine beliebige Menge ersetzt, so geht A in eine Menge B über. Die Ersetzung wird präzisiert durch zweistellige Prädikate mit ähnlichen Eigenschaften wie eine Funktion, und zwar als Axiomenschema für jedes zweistellige Prädikat F : Die Menge B ist eindeutig bestimmt und wird als{y D A F(D,Y)} notiert. xiii
14 10. Auswahlaxiom: Ist A eine Menge von paarweise disjunkten nichtleeren Mengen, dann gibt es eine Menge, die genau ein Element aus jedem Element vona enthält. Dieses Axiom hat eine komplizierte Formel, die mit dem Eindeutigkeitsquantor! etwas vereinfacht werden kann: Eine andere übliche verbale Formulierung des Auswahlaxioms lautet: Ist A eine Menge nichtleerer Mengen, dann gibt es eine Funktionf (vonain seine Vereinigung), die jedem Element B vonaein Element vonb zuordnet (ein Element von B auswählt). In der Mathematik wird häufig auch das Auswahlaxiom benutzt, das ZF zu ZFC erweitert. xiv
15 Theorem von Fermat Sei n > 2 eine beliebige ganze Zahl. Dann erfüllen keine 3 positiven ganzen Zahlen a,bund c die Gleichung a n +b n = c n. Fürn = 2 findet man leicht solche Zahlen (vgl. auch Satz von Pythagoras). n IN ( n > 2 ( a IN + b IN + c IN + (a n +b n = c n )) ). Dieses Theorem wurde schon im Jahre 1637 von Pierre de Fermat postuliert, es konnte aber erst 1995 von Andrew Wiles vollständig bewiesen werden. Komplexitätstheorie Eine bislang immer noch unbeantwortete Frage der theoretischen Informatik ist, ob die beiden Komplexitätsklassen P undnp gleich sind. xv
16 Logische Schaltkreise: Analyse und Optimierung xvi
17 Datenbanken und Logikprogrammierung Relationen in einer Familien Datenbank: PARENT NAME PARENT Elizabeth George Charles Elizabeth William Charles GRANDPARENT NAME GRANDPARENT Charles George William Elizabeth Die Menge aller logischen Fakten zu einemn stelligen Prädikat hier parent und grandparent entspricht einer n stelligen Relation: parent( Elizabeth, George ), parent( Charles, Elizabeth ), parent( William, Charles ). Analog: 3 Fakten für grandparent. xvii
18 Familienstammbaum: Charles William Diana Harry George Elizabeth Anne Philip Andrew Edward Der Familienstammbaum umfaßt hier 4 Generationen; Frauen sind in Rot, Männer in Blau angezeigt. xviii
19 Berechnung der Großeltern: in Datenbanken: Tupelkalkül {p 1.name,p 2.parent parent(p 1 ) parent(p 2 ) p 1.parent = p 2.name } in der Logikprogrammierung: Bereichskalkül {X,Z parent(x,y) parent(y,z)} Tupelvariablen p 1 undp 2 ; Bereichsvariablen X,Y undz. Im Tupelkalkül werden Verbundbedingungen explizit angegeben, wogegen ein Verbund im Bereichskalkül durch gleichbenannte Variablen gebildet wird. xix
20 Logikprogrammierung: PROLOG Prädikatensymbole: parent, grandparent, ancestor, alle 2 stellig Regeln: Kopf Rumpf, man sagt Kopf falls Rumpf Rumpf ist Konjunktion von Atomen oder deren Negation grandparent(x,z) parent(x,y) parent(y,z) ancestor(x,y) parent(x,y) ancestor(x,z) ancestor(x,y) parent(y,z) Bedeutung: X,Y,Z : ((ancestor(x,y) parent(y,z)) ancestor(x,z)) Fakten: parent( Elizabeth, George ) parent( Charles, Elizabeth ) parent( William, Charles ) xx
21 Man kann mittels der Regel grandparent(x,z) parent(x,y) parent(y,z) z.b. folgende neuen Fakten ableiten. Dazu ersetzt man in der Regel die Variablen wie folgt: parent parent Z Y X grandparent Für{ X Charles, Y Elizabeth, Z George } erhalten wir grandparent( Charles, George ) parent( Charles, Elizabeth ) parent( Elizabeth, George ). Mit Hilfe der entsprechenden Fakten aus dem Regelrumpf kann man dann grandparent( Charles, George ) ableiten. Für{ X William, Y Charles, Z Elizabeth } kann man grandparent( William, Elizabeth ) ableiten. xxi
22 Datenbanken: SQL Fallsparent als zweispaltige Relation PARENT realisiert wäre, so könnte man die Relation GRANDPARENT zugrandparent wie folgt in SQL berechnen: CREATE VIEW GRANDPARENT(NAME, GRANDPARENT) AS SELECT P1.NAME, P2.PARENT FROM PARENT P1, PARENT P2 WHERE P1.PARENT = P2.NAME In der entsprechenden Regel wird die Bedingung P1.PARENT = P2.NAME durch die zweimalige Verwendung der Variablen Y ausgedrückt: grandparent(x,z) parent(x,y) parent(y,z) xxii
23 Vergleich: Transformiert man ein SELECT Statement nach PROLOG, so ergibt sich folgendes: der SELECT Teil entspricht dem Regelkopf, der FROM Teil entspricht den Prädikaten im Regelrumpf, Gleicheitsbedingungen aus dem WHERE Teil können direkt durch gleiche PROLOG Variablen ausgedrückt oder wie alle weiteren arithmetischen Bedingungen in den Regelrumpf übernommen werden. In PROLOG erfolgt die Selektion nicht über Attribute, sondern über die Argumentposition. Die Relation ANCESTOR kann man in SQL im allgemeinen nicht berechnen, da man nicht weis wieviele Stufen die zugrunde liegende Relation PARENT hat. xxiii
Logik für Informatiker
Logik für Informatiker im Wintersemester 2015/16 Prof. Dr. Dietmar Seipel Prof. Dr. Dietmar Seipel Inhaltsverzeichnis Vorwort v 1 Aussagenlogik 1 1.1 Grundbegriffe der Aussagenlogik............... 1 1.2
MehrAxiomatische Mengenlehre
Axiomatische Mengenlehre Die Wahl von Axiomen für ein Gebiet ist nicht völlig beliebig. Zumeist steht im Hintergrund die Absicht, damit gewisse Theoreme beweisen zu können. Darüber hinaus sollte die Anzahl
MehrMathematische Logik Zermelo-Fränkel Axiome der Mengenlehre
Mathematische Logik Zermelo-Fränkel Axiome der Mengenlehre Laura Casalena 28.März 2012 Dieses Skript stützt sich auf das Kapitel 3 aus Einführung in die Mengenlehre von Heinz-Dieter Ebbinghaus [1]. In
MehrGeschichtlicher Überblick. Mathematische Logik. Vorlesung 2. Alexander Bors. 6. März A. Bors Logik
Geschichtlicher Überblick Mathematische Logik Vorlesung 2 Alexander Bors 6. März 2017 1 Geschichtlicher Überblick Überblick 1 Geschichtlicher Überblick (Quelle: Hoffmann, pp. 13 66) Zu Russells Werk Zu
MehrÜbersichtsblatt Hertrampf/Bahrdt. 1 Mathematische Aussagen. Theoretische Informatik I WS2018/19
Theoretische Informatik I WS2018/19 Übersichtsblatt Hertrampf/Bahrdt Institut für Formale Methoden der Informatik Theoretische Informatik Universität Stuttgart 1 Mathematische Aussagen Um mathematische
MehrMengenlehre Axiomensystem kurz und knapp
Mengenlehre Axiomensystem kurz und knapp Die Mengenlehre ist mit ihrer Entwicklungsgeschichte und ihren Paradoxien, die man ohne eine entsprechende Axiomatik erhält, ein unglaublich interessantes sowie
MehrAxiome der Mengenlehre nach von Neumann, Bernays, Gödel (NBG)
Axiome der Mengenlehre nach von Neumann, Bernays, Gödel (NBG) B. Ammann 1 1 Universität Regensburg Vorlesung Analysis am 6.11.13 Ziel: Axiomatischer Aufbau der Mathematik Es gibt verschiedene Axiomensysteme
Mehr(9z"x)p(z) als(9x)((z"x) ^ p(z)). EINFÜHRUNG IN DIE LOGIK UND MENGENLEHRE 23
EINFÜHRUNG IN DIE LOGIK UND MENGENLEHRE 23 4. Zermelo-Fraenkel-Mengenlehre (Vorlesungen 8 & 9) Die Zermelo-Fraenkel-Mengenlehre ZF ist die erstufige Theorie über einem binären Relationssymbol " bestehend
MehrGodehard Link COLLEGIUM LOGICUM. Logische Grundlagen der Philosophie und der Wissenschaften. Band 1. mentis PADERBORN
Godehard Link COLLEGIUM LOGICUM Logische Grundlagen der Philosophie und der Wissenschaften Band 1 mentis PADERBORN Inhaltsverzeichnis Vorwort xiii Einleitung 1 0.1 Historisches zum Verhältnis von Logik
MehrGrundlagen der Mathematik
Grundlagen der Mathematik LVA 405.010 C. Fuchs Inhaltsübersicht 22.11.2016 Inhaltsübersicht Die universitäre Mathematik unterscheidet sich von der Schulmathematik vor allem darin, dass nicht das was oder
MehrTheoretische Grundlagen 1
Theoretische Grundlagen 1 Prüfung im Wintersemester 2003/04 Name, Vorname:... Matrikelnummer:... Hochschule Reutlingen - Reutlingen University Fachbereich: Informatik Bachelor-Studiengang/Semester: Medien-
MehrAuf dem Weg zu einer Grundlegung der Mathematik, Version 7.3
03.03.2019 Auf dem Weg zu einer Grundlegung der Mathematik, Version 7.3 von Thomas Limberg Zusammenfassung Wie der Titel schon verrät, ist es mein Ziel, eine neue Grundlegung der Mathematik zu erschaffen.
MehrInformatik Vorkurs: Etwas Mathematik. Werner Struckmann WS 2014/2015
Informatik Vorkurs: Etwas Mathematik Werner Struckmann WS 2014/2015 Etwas Mathematik: Was machen wir? 1. Aussagen, Logik 2. Mengen, Relationen, Funktionen 3. Zahlenmengen, Rechnen 4. Beweise 5. Dualzahlen:
MehrGrundlagen der Mathematik
Grundlagen der Mathematik HS 2011 Vorlesungsnotizen von Gideon Villiger G r u n d l a g e n d e r M a t h e m a t i k S e i t e 1 1 Axiome und Beweise Anhand der Peano-Arithmetik (PA) zeigen wir, wie eine
MehrCollegium Logicum - Logische Grundlagen der Philosophie und der Wissenschaften Link
Collegium Logicum - Logische Grundlagen der Philosophie und der Wissenschaften Band 1 von Godehard Link 1. Auflage Collegium Logicum - Logische Grundlagen der Philosophie und der Wissenschaften Link schnell
MehrProbeklausur Mathematische Logik
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik RWTH Aachen Prof. Dr. E. Grädel SS 2015 Probeklausur Mathematische Logik Aufgabe 1 (a) (i) Seien R, zweistellige Relationssymbole. Ist
Mehrdefinieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1.
22 Kapitel 1 Aussagen und Mengen 1.1 Aussagen Wir definieren eine Aussage A als einen Satz, der entweder wahr w) oder falsch f) also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1. 2 ist eine
MehrLogik Vorlesung 4: Horn-Logik und Kompaktheit
Logik Vorlesung 4: Horn-Logik und Kompaktheit Andreas Maletti 14. November 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen
MehrKapitel L:III. III. Prädikatenlogik
Kapitel L:III III. Prädikatenlogik Syntax der Prädikatenlogik Semantik der Prädikatenlogik Wichtige Äquivalenzen Einfache Normalformen Substitution Skolem-Normalformen Standard-Erfüllbarkeit Prädikatenlogische
MehrProbeklausur Mathematische Logik
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik RWTH Aachen Prof. Dr. E. Grädel SS 2017 Probeklausur Mathematische Logik Aufgabe 1 (a) (i) Sei τ = {R} für ein zweistelliges Relationssymbol
MehrLogische Grundlagen der Mathematik, WS 2014/15
Logische Grundlagen der Mathematik, WS 2014/15 Thomas Timmermann 16. Oktober 2014 1 Einleitung Literatur Paul.R. Halmos, Naive Set Theory Ralf Schindler, Logische Grundlagen der Mathematik Peter J. Cameron,
MehrSS Juli Übungen zur Vorlesung Logik Blatt 11
SS 2011 06. Juli 2011 Übungen zur Vorlesung Logik Blatt 11 Prof. Dr. Klaus Madlener Abgabe bis 13. Juli 2011 10:00 Uhr 1. Aufgabe: [Axiomatisierung, Übung] 1. Definieren Sie eine Formel A n der Prädikatenlogik
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 18: Logik Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/35 Überblick Formeln in Prädikatenlogik erster Stufe Theorien und
MehrTHEORETISCHE INFORMATIK UND LOGIK
Rückblick: Logelei Wir kehren zurück auf das Inselreich mit Menschen von Typ W (Wahrheitssager) und Typ L (Lügner). THEORETISCHE INFORMATIK UND LOGIK 14. Vorlesung: Modelltheorie und logisches Schließen
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 14.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 14. Dezember 2016 Die formale Sprache der Prädikatenlogik: Zeichen Benutzt werden
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 19. Oktober 2017 1/27 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage
MehrFür unseren Gebrauch ist eine Menge bestimmt durch die in ihr enthaltenen Elemente. Ist M eine Menge, so ist ein beliebiges Objekt m wieder so ein
Mengen 1.2 9 1.2 Mengen 7 Der Begriff der Menge wurde am Ende des 19. Jahrhunderts von Georg Cantor wie folgt eingeführt. Definition (Cantor 1895) Eine Menge ist eine Zusammenfassung M von bestimmten,
MehrKurseinheit 1 Einführung und mathematische Grundlagen Aussagenlogik
Kurseinheit 1 Einführung und mathematische Grundlagen Aussagenlogik Fragen Seite Punkte 1. Was ist die Mathematische Logik? 3 2 2. Was sind die Aussagenlogik und die Prädikatenlogik? 5 4 3. Was sind Formeln,
MehrEINFÜHRUNG IN DIE MENGENLEHRE
EINFÜHRUNG IN DIE MENGENLEHRE STEFAN GESCHKE Inhaltsverzeichnis Die Axiome der Zermelo-Fraenkelschen Mengenlehre 2 1. Einleitung 3 2. Klassen und Mengen 6 3. Ungeordnete Paare und Vereinigungen 7 4. Relationen
MehrAlphabet der Prädikatenlogik
Relationen und Alphabet der Das Alphabet der besteht aus Individuenvariablen Dafür verwenden wir kleine Buchstaben vom Ende des deutschen Alphabets, auch indiziert, z. B. x, y, z, x 1, y 2,.... Individuenkonstanten
MehrPeano-Axiome und Peano-Strukturen
Peano-Axiome und Peano-Strukturen Filippo Leonardi 27. März 2012 1 Peano-Arithmetik Der Folgende Abschnitt beruht auf Abschnitt 3.3 in [Rau08] und benützt dieselbe Notation. In diesem Abschnitt arbeiten
MehrTHEORETISCHE INFORMATIK UND LOGIK
Prädikatenlogik als Universalsprache Die Entwicklung der Logik hat ein zentrales Motiv: Logik als eine universelle, präzise Sprache THEORETISCHE INFORMATIK UND LOGIK 15. Vorlesung: Logisches Schließen
MehrDie Mengenlehre von Zermelo und Fraenkel
Ausarbeitung zum Vortrag im Proseminar Nichtstandardanalysis WS 12/13 Moritz Höppner Die Mengenlehre von Zermelo und Fraenkel 1 Logik Eine logische Aussage ist ein wahrheitswertfähiger Satz, das heißt
MehrVorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion
Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten
MehrLogik Vorlesung 7: Grundlagen Prädikatenlogik
Logik Vorlesung 7: Grundlagen Prädikatenlogik Andreas Maletti 5. Dezember 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen
Mehr1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen
1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist
MehrMengen, Funktionen & die Kontinuumshypothese
Seminararbeit zu Seminar aus Reiner Mathematik LV Nr. 621.224 Mengen, Funktionen & die Kontinuumshypothese Markus Prenner und Elke Schlager Wintersemester 2013/14 Inhaltsverzeichnis 2 Inhaltsverzeichnis
Mehr3. Grundlegende Begriffe von Logiken - Aussagenlogik
3. Grundlegende Begriffe von Logiken - Aussagenlogik Wichtige Konzepte und Begriffe in Logiken: Syntax (Signatur, Term, Formel,... ): Festlegung, welche syntaktischen Gebilde als Formeln (Aussagen, Sätze,
MehrUniversität Heidelberg 12. April 2018 Institut für Informatik Klaus Ambos-Spies Nadine Losert. 2. Klausur zur Vorlesung Mathematische Logik
Universität Heidelberg 12. April 2018 Institut für Informatik Klaus Ambos-Spies Nadine Losert 2. Klausur zur Vorlesung Mathematische Logik Es können maximal 48 Punkte erworben werden. Die Klausur ist bestanden,
MehrModelltheorie (Einige Impulse)
Modelltheorie (Einige Impulse) Formale Systeme werden oft entworfen, um mathematische Strukturen zu beschreiben. In der Modelltheorie geht es um das Studium der Beziehungen zwischen formalen Systemen und
MehrMotivation und Geschichte. Geschichte der Logik Logik und Informatik
Motivation und Geschichte Geschichte der Logik Logik und Informatik Logik für Informatiker, M. Lange, IFI/LMU: Motivation und Geschichte Geschichte der Logik 12 Aufgaben der Logik Logik (aus Griechischem)
MehrVor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen
Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen 09.10.2014 Herzlich Willkommen zum 2. Teil des Vorschaukurses für Mathematik! Organisatorisches Der Vorkurs besteht aus sechs Blöcken
MehrMengenlehre als Fundament für Mathematik und Informatik
Mengenlehre als Fundament für Mathematik und Informatik HDoz Dr. Gerhard Lischke Semester: SS 2008 Vorwort Dieses Dokument wurde als Skript für die auf der Titelseite genannte Vorlesung erstellt und wird
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 7 Sprachen erster Sufe Die in der letzten Vorlesung erwähnten Konstruktionsmöglichkeiten für Aussagen sind im Wesentlichen
MehrKapitel 1.5 und 1.6. Ein adäquater Kalkül der Aussagenlogik
Kapitel 1.5 und 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2010/11) Kapitel 1.5 und 1.6: Kalküle 1 /
MehrKardinalzahlen. Bemerkung. Eine unendliche Kardinalzahl α muss eine Limesordinalzahl sein. (Beweis zur Übung)
Kardinalzahlen Kardinalzahlen sollen die Größe von Mengen messen, daher suchen wir eine Aussage der Form, dass jede Menge bijektiv auf eine Kardinalzahl abgebildet werden kann. Um eine brauchbare Theorie
MehrWas bisher geschah. Klassische Prädikatenlogik (der ersten Stufe): Syntax Modellierungsbeispiele
Was bisher geschah Klassische Aussagenlogik zur Modellierung von Aussagen Syntax: induktive Definition der Menge AL(P) (Baumstruktur) strukturelle Induktion (Funktionen, Nachweise) Semantik: Belegungen
MehrKlausur zur Vorlesung Mathematische Logik
Universität Heidelberg 13. Februar 2014 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Mathematische Logik Musterlösung Aufgabe 1 (Aussagenlogik
MehrKap. 5 Erweiterung der Relationenalgebra für Deduktive Datenbanken
Kap. 5 Erweiterung der Relationenalgebra für Deduktive Datenbanken Ziel dieses kurzen Kapitels: Verbindung herstellen zwischen Logiksprachen und Relationenalgebra. Umgehen mit (rekursiven) Regeln zusätzlich
Mehr1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen
. Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!
MehrMengenlehre. Begriff der Mengenzugehörigkeit x M, x Ê M >x : x { a 1. e e x = a n. } 2 x = a 1. >x : x { y P(y) } 2 P(x) Begriff der leeren Menge
Mengenlehre Grundbegriff ist die Menge Definition (Naive Mengenlehre). Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor) Notation 1. Aufzählung
MehrInformatik A. Prof. Dr. Norbert Fuhr auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser
Informatik A Prof. Dr. Norbert Fuhr fuhr@uni-duisburg.de auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser 1 Teil I Logik 2 Geschichte R. Descartes (17. Jhdt): klassische
MehrÜber den Grössenvergleich von Mengen und die totale Ordnung auf der Klasse der Kardinalzahlen
Über den Grössenvergleich von Mengen und die totale Ordnung auf der Klasse der Kardinalzahlen Maturitätsarbeit HS 2015/16 von Daniel Peter Rutschmann 4a Betreut von Dr. Thomas Foertsch an der Kantonsschule
MehrFakultät für Informatik Universität Magdeburg Jürgen Dassow. Vorbemerkungen
Vorbemerkungen if (x > y) z = x; else z = y; Wenn es blaue Tiger regnet, dann fressen alle Kirschbäume schwarze Tomaten. q(1) = 1, q(i) = q(i 1) + 2i 1 für i 2 Welchen Wert hat q(6)? 24 ist durch 2 teilbar.
MehrSeminar Mathematische Logik L-Strukturen und Syntax der Prädikatenlogik
Seminar Mathematische Logik L-Strukturen und Syntax der Prädikatenlogik Linda Raabe 7. März 2012 1 L-Strukturen Definition 1.1 (Struktur) Eine Struktur A ist eine nichtleere Trägermenge A zusammen mit
MehrMathematische Grundlagen der Computerlinguistik
Mengen und Mengenoperationen (Teil III) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents Vereinigung und Durchschnitt über Mengenfamilien Gesetze 1 Gesetze für Operationen
Mehr4 Mengentheorie. 4.1 Mengen
4 Mengentheorie 4.1 Mengen Die Mengentheorie ist entwickelt worden, um eine elementare Basis für den Aufbau der gesamten Mathematik zu haben. Ihr Begründer ist Georg Cantor (1845-1918). Die Standard-Semantik
MehrRückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen
Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung
MehrAnalyis I - Grundlagen
Elementare Aussagenlogik October 23, 2008 Elementare Aussagenlogik Definition Eine Aussage im Sinne der Aussagenlogik ist eine sprachliche Aussage, bei der klar entschieden werden kann, ob sie wahr oder
MehrLogik erster Stufe (Prädikatenlogik) Logik erster Stufe 1 / 74
Logik erster Stufe (Prädikatenlogik) Logik erster Stufe 1 / 74 Prädikatenlogik: Quantoren und Prädikate Mit Hilfe der Aussagenlogik haben wir Wissen modelliert und Schlüsse aus diesem Wissen gezogen. Auch
MehrSatz 1.18 (Kompaktheitssatz der Aussagenlogik)
Satz 1.18 (Kompaktheitssatz der Aussagenlogik) Σ F ist erfüllbar genau dann, wenn jede endliche Teilmenge von Σ erfüllbar ist. Σ F ist unerfüllbar genau dann, wenn es eine unerfüllbare endliche Teilmenge
MehrTHEORETISCHE INFORMATIK UND LOGIK
THEORETISCHE INFORMATIK UND LOGIK 14. Vorlesung: Modelltheorie und logisches Schließen Markus Krötzsch Lehrstuhl Wissensbasierte Systeme TU Dresden, 31. Mai 2017 Rückblick: Logelei Wir kehren zurück auf
MehrTutorium: Diskrete Mathematik
Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 24.11.2016 (Teil 2) 23. November 2016 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler 23. November 2016
MehrMotivation und Geschichte. Geschichte der Logik Logik und Informatik
Motivation und Geschichte Geschichte der Logik Logik und Informatik Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 2.1 Motivation und Geschichte Geschichte der Logik 13 Aufgaben der Logik
MehrAllgemeingültige Aussagen
Allgemeingültige Aussagen Definition 19 Eine (aussagenlogische) Formel p heißt allgemeingültig (oder auch eine Tautologie), falls p unter jeder Belegung wahr ist. Eine (aussagenlogische) Formel p heißt
MehrLeibniz-Archiv (Arbeitsstelle Hannover der Göttinger Akademie der Wissenschaften)
Konkordanz zwischen der und den von Onno herausgegebenen Leibniz: Werke Inhalt Leibniz-Archiv (Arbeitsstelle Hannover der Göttinger Akademie der Wissenschaften) Stand: 28.1.2009 Leibniz: Werke, Hrsg.:,
Mehr5. Ordinalzahlen (Vorlesung 11)
EINFÜHRUNG IN DIE LOGIK UND MENGENLEHRE 29 5.. Grundlegende Eigenschaften. 5. Ordinalzahlen (Vorlesung ) Definition 5. (Wohlordnung). Eine lineare Ordnung < auf einer Menge a heißt Wohlordnung, wenn jede
MehrRückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen
Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung
MehrElementarmathematik vom höheren Standpunkt aus
Elementarmathematik vom höheren Standpunkt aus Thomas Markwig Fachbereich Mathematik Technische Universität Kaiserslautern Vorlesungsskript Oktober 2008 Inhaltsverzeichnis 1. Mengenlehre 1 Literatur 20
MehrLogik für Informatiker
Logik für Informatiker 3. Prädikatenlogik Teil 1 9.06.2015 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Rückblick: Vor- und Nachteile von Aussagenlogik + Aussagenlogik
MehrLogik Vorlesung 5: Grundlagen Resolution
Logik Vorlesung 5: Grundlagen Resolution Andreas Maletti 21. November 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen Weitere
MehrKapitel 1.5. Ein adäquater Kalkül der Aussagenlogik. Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls
Kapitel 1.5 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 1/30 Syntaktischer
MehrWas bisher geschah Klassische Aussagenlogik zur Modellierung von Aussagen Syntax: Formeln
Was bisher geschah Klassische Aussagenlogik zur Modellierung von Aussagen Syntax: Formeln induktive Definition der Menge AL(P) (Baumstruktur) strukturelle Induktion (Funktionen, Nachweise) syntaktische
MehrKapitel 2 MENGENLEHRE
Kapitel 2 MENGENLEHRE In diesem Kapitel geben wir eine kurze Einführung in die Mengenlehre, mit der man die ganze Mathematik begründen kann. Wir werden sehen, daßjedes mathematische Objekt eine Menge ist.
MehrGrundbegriffe Mengenlehre und Logik
Grundbegriffe Mengenlehre und Logik Analysis für Informatiker und Lehramt Mathematik MS/GS/FS WS 2016/2017 Agnes Radl Mengen Georg Cantor (1895) Unter einer Menge verstehen wir jede Zusammenfassung M von
MehrDer Hilbert-Kalkül für die Aussagenlogik (Notizen zur Vorlesung Logik im Wintersemester 2003/04 an der Universität Stuttgart)
Der Hilbert-Kalkül für die Aussagenlogik (Notizen zur Vorlesung Logik im Wintersemester 2003/04 an der Universität Stuttgart) Javier Esparza und Barbara König 4. Dezember 2003 Für eine gegebene aussagenlogische
MehrLogik I. Symbole, Terme, Formeln
Logik I Symbole, Terme, Formeln Wie jede geschriebene Sprache basiert die Prädikatenlogik erster Stufe auf einem Alphabet, welches aus den folgenden Symbolen besteht: (a) Variabeln wie zum Beispiel v 0,v
MehrMengen, Logik. Jörn Loviscach. Versionsstand: 17. Oktober 2009, 17:42
Mengen, Logik Jörn Loviscach Versionsstand: 17. Oktober 2009, 17:42 1 Naive Mengenlehre Mengen sind die Grundlage fast aller mathematischen Objekte. Ob die Zahl 7, ein Kreis in der Ebene, die Relation
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Woche 5 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Zusammenfassung Zusammenfassung der letzten LV Jede binäre Operation hat maximal ein
MehrLogische Grundlagen der Mathematik, WS 2014/15
Logische Grundlagen der Mathematik, WS 2014/15 Thomas Timmermann 26. November 2014 Was kommt nach den natürlichen Zahlen? Mehr als die natürlichen Zahlen braucht man nicht, um einige der schwierigsten
MehrGrundbegriffe aus Logik und Mengenlehre
Prof. Dr. B. Niethammer Dr. C. Seis, R. Schubert Institut fr Angewandte Mathematik Universitt Bonn Grundbegriffe aus Logik und Mengenlehre Wir wollen im Folgenden eine kurze Einführung in die Grundbegriffe
MehrLogische und funktionale Programmierung
Logische und funktionale Programmierung Vorlesung 11: Logikprogramme Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 19. Dezember 2016 1/55 WIEDERHOLUNG: HORN-KLAUSELN
MehrMathematik für Informatiker I
Mathematik für Informatiker I Mitschrift zur Vorlesung vom 19.10.2004 In diesem Kurs geht es um Mathematik und um Informatik. Es gibt sehr verschiedene Definitionen, aber für mich ist Mathematik die Wissenschaft
MehrWS 20013/14. Diskrete Strukturen
WS 20013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws1314
Mehr4.1 Motivation. Theorie der Informatik. Theorie der Informatik. 4.1 Motivation. 4.2 Syntax der Prädikatenlogik. 4.3 Semantik der Prädikatenlogik
Theorie der Informatik 3. März 2014 4. Prädikatenlogik I Theorie der Informatik 4. Prädikatenlogik I 4.1 Motivation Malte Helmert Gabriele Röger 4.2 Syntax der Prädikatenlogik Universität Basel 3. März
MehrMengenlehre und vollständige Induktion
Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen
MehrLogik und Künstliche Intelligenz
Logik und Künstliche Intelligenz Kurze Zusammenfassung (Stand: 14. Januar 2010) Prof. Dr. V. Stahl Copyright 2007 by Volker Stahl. All rights reserved. V. Stahl Logik und Künstliche Intelligenz Zusammenfassung
MehrZur Vorbereitung auf die Vorlesung Grundlagen der theoretischen Informatik Mo 4., Mi 6. und Fr. 8. Oktober in H/C 3310 um Uhr.
M a t h e m a t i s c h e s P r o p ä d e u t i k u m Zur Vorbereitung auf die Vorlesung Grundlagen der theoretischen Informatik Mo 4., Mi 6. und Fr. 8. Oktober in H/C 3310 um14 00-16 00 Uhr. Erfahrungsgemäß
MehrGrundlagen von Datenbanken
Grundlagen von Datenbanken SS 2010 5. Bereichskalkül (=Domänenkalkül) Agenda: Prof. Dr. Stefan Böttcher Universität Paderborn mit Material von Prof. Dr. Gregor Engels Grundlagen von Datenbanken - SS 2010
MehrDeklarative Semantik
7. Deklarative Semantik 7-1 Deklarative Semantik Bisher: Prolog als Programmiersprache. Operationale Semantik : Wie wird ein Programm ausgeführt? Welche Antworten werden berechnet? Jetzt: Prolog als logischer
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 15. Oktober 2015 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage veröffentlicht
MehrMathematik Vorkurs. Goethe-Universität in Frankfurt am Main. von Sven Jarohs
Mathematik Vorkurs Goethe-Universität in Frankfurt am Main von Sven Jarohs 1 Inhaltsverzeichnis 1 Vorbemerkungen 3 Grundlegende Begriffe und Regeln der Logik 3 3 Beweistechniken 7 4 Einführung in die Mengenlehre
MehrLogik erster Stufe (Prädikatenlogik) Logik erster Stufe 1 / 76
Logik erster Stufe (Prädikatenlogik) Logik erster Stufe 1 / 76 Prädikatenlogik: Quantoren und Prädikate Mit Hilfe der Aussagenlogik haben wir Wissen modelliert und Schlüsse aus diesem Wissen gezogen. Auch
MehrGrundbegriffe der Informatik Kapitel 3: Mengen, Alphabete, Abbildungen
Grundbegriffe der Informatik Kapitel 3: Mengen, Alphabete, Abbildungen Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für
MehrLogik in der Informatik
Goethe-Universität Frankfurt am Main Institut für Informatik Theorie komplexer Systeme Logik in der Informatik Skript zur Vorlesung Prof. Dr. Nicole Schweikardt Version vom 25. Oktober 2013 2 Inhaltsverzeichnis
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Woche 4 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Zusammenfassung Zusammenfassung der letzten LV Modus Ponens A B B A MP Axiome für
Mehr2 Mengen, Relationen, Funktionen
Grundlagen der Mathematik für Informatiker Grundlagen der Mathematik für Informatiker Mengen, Relationen, Funktionen. Mengen Definition. [Georg Cantor 895] Eine Menge ist eine Zusammenfassung bestimmter,
MehrGrundlagen der Logik
Grundlagen der Logik Denken Menschen logisch? Selektionsaufgabe nach Watson (1966): Gegeben sind vier Karten von denen jede auf der einen Seite mit einem Buchstaben, auf der anderen Seite mit einer Zahl
Mehr