Klausur zur Vorlesung Mathematische Logik
|
|
- Mareke Hummel
- vor 5 Jahren
- Abrufe
Transkript
1 Universität Heidelberg 25. Januar 2012 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Mathematische Logik LÖSUNGEN Aufgabe 1 (Aussagenlogik - 8 Punkte) Gegeben seien die folgenden aussagenlogischen Formeln. ϕ A 0 A 1 ψ (A 0 (A 2 A 1 )) ( A 0 (A 2 A 1 )) χ A 2 A 0 A 1 Zeigen Sie, dass χ aus ϕ und ψ folgt, das heißt, dass ϕ, ψ} χ gilt. LÖSUNG. Wir stellen die Wahrheitstafeln für ϕ, ψ und χ auf. A 0 A 1 A 2 A 0 A 1 ϕ A 0 (A 2 A 1 ) A 0 (A 2 A 1 ) ψ A 2 A 0 A 1 χ Man sieht, dass unter jeder Belegung, unter der ϕ und ψ wahr sind, auch χ wahr ist, womit die Behauptung bewiesen ist.
2 Aufgabe 2 (Aussagenlogik - 8 Punkte) Die 3-stellige Schwellenfunktion s 2 : 0, 1} 3 0, 1} mit Schwelle 2 ist definiert durch 1, falls x 0 + x 1 + x 2 2 s 2 (x 0, x 1, x 2 ) = 0 sonst. Geben Sie eine Boolesche Formel in disjunktiver Normalform an, die s 2 darstellt. Verwenden Sie hierzu das in der Vorlesung angegebene allgemeine Verfahren. LÖSUNG. Um eine Formel ϕ f in DNF zu erhalten, die eine Boolesche Funktion f (n) darstellt, stellt man zunächst die Wertetabelle von f auf. Die Eingabetupel (i 1,..., i n ), für die die Funktion f den Wert 1 annimmt, ergeben dann gerade die Klauseln von ϕ f, wenn man die Eingabe i k = 0 durch das Literal A k und i k = 1 durch das Literal A k ersetzt. Im Falle von s 2 erhalten wir die Wertetabelle und hieraus die Formel x 1 x 2 x 3 s 2 (x 1, x 2, x 3 ) ϕ s2 ( A 1 A 2 A 3 ) (A 1 A 2 A 3 ) (A 1 A 2 A 3 ) (A 1 A 2 A 3 ).
3 Aufgabe 3 (Prädikatenlogik - 8 Punkte) Sei L = L(<; +, ) die prädikatenlogische Sprache mit dem 2-stelligen Relationszeichen < und den 2-stelligen Funktionszeichen und + und seien N = (N; <;, +), Z = (Z; <;, +), Q = (Q; <;, +) bzw. R = (R; <;, +) die L-Strukturen der natürlichen, ganzen, rationalen bzw. reellen Zahlen jeweils mit der üblichen Ordnungsrelation, Multiplikation und Addition. (a) Geben Sie eine L-Formel ϕ(x) an, sodass für alle reellen Zahlen a gilt: R ϕ [a] a = 0 (b) Geben Sie L-Sätze σ 1, σ 2 und σ 3 an, so dass gilt: N σ 1, aber Z σ 1 Z σ 2, aber Q σ 2 Q σ 3, aber R σ 3 (Sie können die in der Vorlesung eingeführten Konventionen zur Erhöhung der Lesbarkeit von Formeln - wie Infixschreibweise bei Funktionszeichen, Klammerregeln, zusätzliche Junktoren und Allquantor - verwenden.) LÖSUNG. (a) Die Formel ϕ(x) y(x + y = y) erfüllt die Bedingung. (b) Folgende Sätze leisten das Gewünschte: σ 1 x y(y < x) (es gibt ein kleinstes Element in N, aber nicht in Z), σ 2 x y( ϕ(y) z(y z = x)) (für jedes x und jedes y 0 existiert x y in Q, aber nicht in Z), oder auch alternativ σ 2 x y(x < y z(x < z z < y)) (die Ordnung auf Q ist dicht, die auf Z nicht), und σ 3 x( y(ϕ(y) y < x) z(z z = x)) (jede Zahl x > 0 besitzt in R eine Wurzel, in Q nicht unbedingt).
4 Aufgabe 4 (Prädikatenlogik - 8 Punkte) Geben Sie den Wortlaut des Kompaktheitssatzes (in der Version für den Folgerungsbegriff) an und leiten Sie diesen aus dem Vollständigkeitssatz und dem Korrektheitssatz her (geben Sie dazu auch diese beiden Sätze an). LÖSUNG. Der Kompaktheitssatz lautet: Ist T eine L-Theorie und σ ein L-Satz, der aus T folgt (d.h. T σ), dann gibt es eine endliche Teiltheorie T 0 T, so dass σ aus T 0 folgt, d.h. T 0 σ. Der Vollständigkeitssatz lautet: Ist T eine L-Theorie und σ ein L-Satz, so gilt T σ T σ. Der Korrektheitssatz lautet: Ist T eine L-Theorie und σ ein L-Satz, so gilt T σ T σ. Der Kompaktheitssatz lässt sich nun wie folgt beweisen: T σ T σ [nach Vollständigkeitssatz] T 0 σ für ein endliches T 0 T [nach Endlichkeitssatz für die Beweisbarkeit] T 0 σ [nach Korrektheitssatz].
5 Aufgabe 5 (Prädikatenlogik - 8 Punkte) Sei L = L(+; 0) die Sprache der Gruppentheorie. Erinnerung: Eine L-Struktur ist eine Gruppe, falls sie ein Modell der Gruppenaxiome ist. ϕ 1 x y z((x + y) + z = x + (y + z)) [Assoziativität] ϕ 2 x(0 + x = x) [0 linksneutral] ϕ 3 x y(y + x = 0) [Existenz von Linksinversen] Eine L-Struktur G = (G; + G ; 0 G ) heißt Torsionsgruppe, falls sie eine Gruppe ist und für jedes g G eine Zahl n 1 existiert, so dass g + G g + G... + G g = 0 G }} gilt. Beispiele für Torsionsgruppen sind die zyklischen Gruppen (Z n ; + Zn ; 0) für n 1, wobei Z n = 0, 1,..., n 1} ist und a + Zn b = a + b modulo n. Zeigen Sie, dass die Klasse der Torsionsgruppen nicht -elementar ist. LÖSUNG. Wir führen den Beweis durch Widerspruch. Angenommen, die Klasse T G = G : G ist Torsionsgruppe} wäre -elementar, das heißt es gäbe eine Menge T von L-Sätzen, für die gilt: T G = G : G ist L Struktur und G T }. Erweitere die Sprache L dann um ein neues Konstantensymbol c zur Sprache L und betrachte die L -Theorie T = T c + c c 0 : n 0}. }} Wir zeigen, dass jede endliche Teiltheorie T 0 T erfüllbar ist, so dass nach dem Kompaktheitssatz also auch T erfüllbar ist. Sei dafür T 0 eine solche endliche Teiltheorie. Dann gibt es ein m 1, so dass T 0 T c + c c 0 : 1 n m} }} gilt. Ein Modell dieser Theorie ist aber (Z n+1 ; + Zn+1 ; 0, 1), d.h. die L -Struktur, die man erhält, wenn man in der zyklischen Gruppe mit Individuenbereich Z n+1 das Konstantensymbol c durch 1 interpretiert. Damit ist T 0 erfüllbar. Da T erfüllbar ist, muss es ein Modell G von T geben. Wegen G T und T T gilt G T, d.h. als L-Struktur betrachtet, ist G eine Torsionsgruppe. Andererseits gilt c G + G c G + G... + G c } G 0 } G für alle n 1, so dass G keine Torsionsgruppe sein kann ein Widerspruch!
6 (Eine Alternativlösung, die sogar ohne neue Konstantensymbole auskommt, betrachtet statt T die Theorie T = T x(x 0 x + x x 0) : n 1}. }} Diese ist offenbar nicht erfüllbar, aber jede endliche Teiltheorie T 0 T x(x 0 x + x x 0) : 1 n n }} 0 } besitzt das Modell (Z p ; + Zp ; 0) für eine Primzahl p > n 0, was wie zuvor zum Widerspruch führt.)
7 Aufgabe 6 (Prädikatenlogik - 14 Punkte) Sei L = L(f; c 0, c 1 ) die Sprache, die das 1-stellige Funktionszeichen f und die zwei Konstantensymbole c 0 und c 1 enthält. Sei ferner die L-Theorie T gegeben durch T = c 0 c 1, x(f(x) x)}. (a) (2 Punkte) Geben Sie ein Modell A von T mit Individuenbereich 0, 1} an. (b) (1 Punkt) Geben Sie ein Modell B von T mit Individuenbereich N an, bei dem f B (n) = n + 2 für alle n N und c B 0, c B 1 1 gilt. (c) (1 Punkt) Zeigen Sie, dass T konsistent ist. (d) (2 Punkte) Zeigen Sie, dass T nicht vollständig ist, indem Sie explizit einen Satz σ angeben, für den weder T σ noch T σ gilt (mit Begründung). (e) (3 Punkte) Zeigen Sie, dass für alle L-Terme t, t gilt: T t = t t t. (f) (3 Punkte) Zeigen Sie, dass T keine Henkin-Theorie ist. (Tipp: Zeigen Sie, dass für den Existenzsatz σ x(x c 0 x c 1 ) die Henkin-Eigenschaft nicht erfüllt ist.) (g) (2 Punkte) Zeigen Sie, dass für das Termmodell A T von T gilt: A T T. LÖSUNG. (a) Eins der zwei möglichen Modelle ist A = (0, 1}; f A ; 0, 1) mit f A (0) = 1, f A (1) = 0. (b) Ein Modell, das die gewünschten Eigenschaften besitzt, ist B = (N; f B ; 0, 1) mit f B (n) = n + 2 für alle n N. (c) Da T ein Modell besitzt (siehe (a) und (b)), ist T erfüllbar. Da jede erfüllbare Theorie konsistent ist (wegen des Korrektheitssatzes), ist T konsistent. (d) Da T nach (a) und (b) ein zweielementiges sowie ein unendliches Modell besitzt, genügt es, den Satz σ x y z(x = y x = z y = z) zu betrachten, der aussagt, dass es höchstens zwei Elemente gibt. Es kann weder T σ gelten, da sonst B σ gelten müsste, noch T σ, da sonst A σ gelten müsste. Nach dem Korrektheitssatz kann damit auch weder T σ noch T σ gelten. (e) Gilt t t, so gilt offensichtlich T t = t und nach dem Vollständigkeitssatz dann auch T t = t (alternativ kann man rein syntaktisch argumentieren und sich auf das Gleichheitsaxiom G1 zusammen mit der Substitutionsregel berufen). Umgekehrt gelte T t = t. Dann gilt auch T t = t nach dem Korrektheitssatz und folglich B t = t, d.h. t B = t B. Alle L-Terme besitzen die Gestalt f n (c 0 ) oder f n (c 1 ) für ein n 0. Wäre t f n (c 0 ) und t f n (c 1 ), so gälte t B = 2n 2n + 1 = t B, da links eine gerade, rechts eine ungerade Zahl steht (entsprechend im umgekehrten Fall).
8 Gilt t f n (c 0 ) und t f n (c 0 ), so gilt t B = 2n = 2n = t B genau dann, wenn n = n, also t = t gilt. Analog argumentiert man im Fall t f n (c 1 ) und t f n (c 1 ). (f) Wäre T eine Henkin-Theorie, so müsste zu jedem L-Existenzssatz σ = xϕ ein konstanter L-Term t existieren mit T xϕ ϕ[t/x], und damit auch T xϕ ϕ[t/x]. Wir zeigen, dass dies für ϕ x c 0 x c 1 nicht der Fall ist. Betrachte dafür die L-Struktur A = (0, 1, 2}; f A ; 0, 1) mit f A (0) = 1, f A (1) = 0 und f A (2) = 0. Es gilt offensichtlich A T und A x(x c 0 x c 1 ). Gälte nun T xϕ ϕ[t/x], so müsste es einen konstanten Term t geben mit A t c 0 t c 1, d.h. t A 0, 1. Es gilt aber für jeden Term t f n (c 0 ), dass t A = 0 falls n gerade 1 sonst und für jeden konstanten Term t f n (c 1 ), dass 1 falls n gerade t A =. 1 sonst (g) Wir zeigen, dass das Modell B von T aus Aufgabenteil (b) isomorph zum Termmodell ist, wobei der Isomorphismus h : N t : t konstanter L Term} gegeben ist durch f h(n) = m (c 0 ) falls n = 2m f m (c 1 ) falls n = 2m + 1. h surjektiv: Ist t ein konstanter L-Term, so ist t von der Form f m (c 0 ) oder f m (c 1 ). Dann ist h(2m) = t bzw. h(2m + 1) = t, also liegt t im Wertebereich von h. Somit ist h surjektiv. h injektiv: Sind n n, so gilt nach Definition h(n) = t und h(n ) = t mit t t. Nach (e) folgt T t = t, also h(n) = t t = h(n ). h(c B ) = c A T für jede Konstante c: Es gilt h(c B 0 ) = h(0) = c 0 = c A T 0 und h(c B 1 ) = h(1) = c 1 = c A T 1. h(f B (n)) = f A T (h(n)) für jedes Funktionssymbol f und alle n N: Es gilt h(f B f (n)) = h(n+2) = m+1 (c 0 ) = f A T (f m (c 0 )) = f A T (h(n)) falls n = 2m f m (c 1 ) = f A T (f m (c 1 )) = f A T (h(n)) falls n = 2m + 1.
Klausur 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
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,
MehrUniversität Heidelberg 06. April 2017 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Martin Monath
Universität Heidelberg 06. April 2017 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Martin Monath Klausur zur Vorlesung Mathematische Logik Es können maximal 48 Punkte erworben werden.
MehrMusterlösung 11.Übung Mathematische Logik
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik RWTH Aachen Prof. Dr. E. Grädel, F. Reinhardt SS 2015 Aufgabe 2 Musterlösung 11.Übung Mathematische Logik Geben Sie für die folgenden
MehrKapitel 3. Ein adäquater Kalkül der Prädikatenlogik. Teil 2. Deduktionstheorem und Rückführung des Vollständigkeitssatzes auf das Erfüllbarkeitslemma
Kapitel 3 Ein adäquater Kalkül der Prädikatenlogik Teil 2 Deduktionstheorem und Rückführung des Vollständigkeitssatzes auf das Erfüllbarkeitslemma Mathematische Logik (WS 2012/13) Kap. 3: Shoenfields Kalkül
MehrPrädikatenlogiken. Mathematische Logik. Vorlesung 7. Alexander Bors. 6. & 27. April A. Bors Logik
Prädikatenlogiken Mathematische Logik Vorlesung 7 Alexander Bors 6. & 27. April 2017 1 Prädikatenlogiken Überblick 1 Formale Prädikatenlogiken erster Stufe (Quelle: Ziegler, pp. 3 24) (Abgeleitete) Axiome
MehrDie Prädikatenlogik erster Stufe: Syntax und Semantik
Die Prädikatenlogik erster Stufe: Syntax und Semantik 1 Mathematische Strukturen und deren Typen Definition 1.1 Eine Struktur A ist ein 4-Tupel A = (A; (R A i i I); (f A j j J); (c A k k K)) wobei I, J,
MehrFundamentale Sätze. versuche folgendes: gib eine Formelmenge Φ an, so dass Mod(Φ) = {(N, +, )}
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 4.7 Prädikatenlogik Fundamentale Sätze 171 Fundamentale Sätze versuche folgendes: gib eine Formelmenge Φ an, so dass Mod(Φ) = {(R, +, )} gib
MehrEin adäquater Kalkül der Prädikatenlogik
Ein adäquater Kalkül der Prädikatenlogik Teil 1 Der Shoenfield-Kalkül für PL: Axiome und Regeln, Korrektheit, Zulässige Regeln Mathematische Logik (WS 2010/11) Shoenfields Kalkül der PL 1 / 45 Der Shoenfield-Kalkül
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
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 /
MehrPrädikatenlogiken. Mathematische Logik. Vorlesung 8. Alexander Bors. 27. April., 4. & 11. Mai A. Bors Logik
Mathematische Logik Vorlesung 8 Alexander Bors 27. April., 4. & 11. Mai 2017 1 Überblick 1 Formale Prädikatenlogiken erster Stufe (Quelle: Ziegler, pp. 3 24) Der Gödelsche und Folgerungen 2 Erinnerung
MehrWeitere Beweistechniken und aussagenlogische Modellierung
Weitere Beweistechniken und aussagenlogische Modellierung Vorlesung Logik in der Informatik, HU Berlin 2. Übungsstunde Aussagenlogische Modellierung Die Mensa versucht ständig, ihr Angebot an die Wünsche
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
MehrUE GRUNDBEGRIFFE DER MATHEMATISCHEN LOGIK SS 2016
SS 206 VERA FISCHER Die Gesamtnote ergibt sich je zur Hälfte aus der Teilnote Kreuzerlliste und der Teilnote Zwischentest, gerundet auf freundlichen Weise. Für eine positive Benotung müssen beide Teilnoten
Mehr8 Der Kompaktheitssatz und der Satz von Löwenheim und Skolem
8 Der Kompaktheitssatz und der Satz von Löwenheim und Skolem 8.1 Der Kompaktheitssatz Kompaktheitssatz Endlichkeitssatz Der Kompaktheitssatz ist auch unter dem Namen Endlichkeitssatz bekannt. Unter Verwendung
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
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
MehrKapitel 1.3. Normalformen aussagenlogischer Formeln und die Darstellbarkeit Boolescher Funktionen durch aussagenlogische Formeln
Kapitel 1.3 Normalformen aussagenlogischer Formeln und die Darstellbarkeit Boolescher Funktionen durch aussagenlogische Formeln Mathematische Logik (WS 2011/12) Kapitel 1.3: Normalformen 1/ 29 Übersicht
MehrZusammenfassung Kapitel 3: Theorien und Modellklassen: Ausdrucksstärke und -schwäche von PL1
Zusammenfassung Kapitel 3: Theorien und Modellklassen: Ausdrucksstärke und -schwäche von PL1 1 Theorien und Modellklassen 1.1 Theorien Definition 1.1 (Theorien) Eine (L-)Theorie T ist ein Paar T = (L,
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
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
Mehrf(1, 1) = 1, f(x, y) = 0 sonst üblicherweise Konjunktion, manchmal auch
Belegungen, Wahrheitsfunktionen 1. Wie viele binäre Funktionen gibt es auf der Menge {0, 1} (d.h., Funktionen von {0, 1} 2 nach {0, 1})? Geben Sie alle diese Funktionen an, und finden Sie sinnvolle Namen
MehrTheorie der Informatik. Theorie der Informatik. 2.1 Äquivalenzen. 2.2 Vereinfachte Schreibweise. 2.3 Normalformen. 2.
Theorie der Informatik 24. Februar 2014 2. Aussagenlogik II Theorie der Informatik 2. Aussagenlogik II 2.1 Äquivalenzen Malte Helmert Gabriele Röger 2.2 Vereinfachte Schreibweise Universität Basel 24.
MehrKapitel 3. Theorien und Modelle
Kapitel 3 Theorien und Modelle Ausdrucksstärke und Ausdrucksschwäche der Prädikatenlogik erster Stufe Mathematische Logik (WS 2011/12) Kap. 3: Theorien und Modelle 1 / 121 Übersicht 3.1 Theorien und deren
MehrDiskrete Strukturen. Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik
Diskrete Strukturen Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik Aussagen Begriff Aussage: Ausdruck, welcher entweder wahr oder falsch ist e Die RWTH Aachen hat
MehrLineare Algebra 6. Übungsblatt
Lineare Algebra 6. Übungsblatt Fachbereich Mathematik M. Schneider 16.05.01 Konstantin Pertschik, Daniel Körnlein Gruppenübung Aufgabe G19 Berechnen Sie das inverse Element bzgl. Multiplikation in der
MehrAufgabe 1: MC (10 Punkte) wahr 1P, falsch 0P, keine Ahnung 0.5P. Jede Struktur hat mindestens eine Substruktur
Aufgabe 1: MC (10 Punkte) wahr 1P, falsch 0P, keine Ahnung 0.5P Jede Struktur hat mindestens eine Substruktur JA Jeder Isomorphismus ist ein Homomorphismus JEIN? jeder bijektive Homomorphismus ist ein
MehrNotengebung. Teilnote Kreuzerlliste: 60% 69% 4; 70% 79% 3; 80% 89% 2; 90% 100% 1. Falls Sie weitere Fragen haben, bitte melden Sie sich bei mir.
Notengebung Die Gesamtnote für die Übung ergibt sich je zur Hälfte aus der Teilnote Kreuzerlliste und der Teilnote Zwischentest, gerundet auf freundliche Weise; für eine positive Benotung müssen beide
MehrKlausur zur Vorlesung: Mathematische Logik SS 2011
Klausur zur Vorlesung: Mathematische Logik SS 2011 Geben Sie am Ende Der Klausur Ihre Lösungen einschließlich dieses Deckblatts ab. Schreiben Sie auf jedes Blatt Ihren Namen und Ihre Matrikelnummer. Viel
MehrAnwendungen der Logik, SS 2008, Martin Goldstern
Anwendungen der Logik, SS 2008, Martin Goldstern Total geordnete Körper Ein total geordneter Körper ist ein Körper (K, +,, 0, 1, ) mit einer totalen (=linearen) Ordnung, die mit den Operationen verträglich
MehrLogik erster Stufe FO
Logik erster Stufe FO Sonderstellung als die Logik für die Grundlegung der Mathematik natürliche Semantik (Tarski) und große Ausdrucksstärke vollständige Beweiskalküle (Gödelscher Vollständigkeitssatz)
MehrEinführung in die Logik
Einführung in die Logik Klaus Madlener und Roland Meyer 24. April 2013 Inhaltsverzeichnis 1 Aussagenlogik 1 1.1 Syntax................................. 1 1.2 Semantik............................... 3 1.3
MehrKapitel 1. Aussagenlogik
Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax
MehrLogische und funktionale Programmierung
Logische und funktionale Programmierung Vorlesung 2: Prädikatenkalkül erster Stufe Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 14. Oktober 2016 1/38 DIE INTERPRETATION
MehrLogik Vorlesung 3: Äquivalenz und Normalformen
Logik Vorlesung 3: Äquivalenz und Normalformen Andreas Maletti 7. November 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen
Mehr1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.
Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 11. Prädikatenlogik Normalformen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Negationsnormalform Definition: Negationsnormalform
MehrSeminarvortrag aus Reiner Mathematik Zweierpotenzen als Moduln und Satz von Wilson
Seminarvortrag aus Reiner Mathematik Zweierpotenzen als Moduln und Satz von Wilson Stefan Rosenberger November 16, 2009 1 Notationen und Vorbemerkungen 1.1 Erinnerung an bekannte Definitionen a) Für alle
MehrJeder Aussage p kann ein Wahrheitswert W(p) {0, 1} zugeordnet werden. Beispiele: W(Es regnet.) =? (je nach Lage der Dinge) W(Die Straße ist naß.) =?
Grundlagen der Mathematik für Informatiker 1 Grundlagen der Mathematik für Informatiker 2 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl.
Mehr1.1 Motivation. Theorie der Informatik. Theorie der Informatik. 1.1 Motivation. 1.2 Syntax. 1.3 Semantik. 1.4 Formeleigenschaften. 1.
Theorie der Informatik 19. Februar 2014 1. Aussagenlogik I Theorie der Informatik 1. Aussagenlogik I Malte Helmert Gabriele Röger Universität Basel 19. Februar 2014 1.1 Motivation 1.2 Syntax 1.3 Semantik
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 13. Prädikatenlogik Der Satz von Herbrand Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Semantische Bäume Eine klassische
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
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 14 Die Korrektheit des Ableitungskalküls Im Laufe der Einführung des syntaktischen Prädikatenkalküls haben wir gesehen,
MehrWiederholung: Modellierung in Prädikatenlogik
Was bisher geschah Modellierung von Aussagen durch logische Formeln Daten durch Mengen, Multimengen, Folgen, Sprachen Zusammenhängen und Eigenschaften von Elementen von Mengen durch Relationen (Eigenschaften
MehrIn diesem Kapitel bestimmen wir die multiplikative Struktur der Einheitengruppe (Z/Z) von Z/Z für eine beliebige positive Zahl Z >0.
Kapitel 5: Die Einheitengruppe von Z/Z und Primitivwurzeln modulo In diesem Kapitel bestimmen wir die multiplikative Struktur der Einheitengruppe (Z/Z) von Z/Z für eine beliebige positive Zahl Z >0. 16
MehrSkript zur Vorlesung Grundzüge der mathematischen Logik. Dr. Sandra Müller
Skript zur Vorlesung Grundzüge der mathematischen Logik Dr. Sandra Müller 11. Januar 2019 Inhaltsverzeichnis 1 Einleitung 3 1.1 Übersicht.................................... 3 1.2 Literatur.....................................
MehrBeachte: Mit n = 0 sind auch Konstanten Terme.
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 4.2 Prädikatenlogik ohne Gleichheit Syntax und Semantik 107 Terme Ab sofort wird Signatur τ als festgelegt angenommen. Sei V = {x, y,...} Vorrat
MehrHow To Prove A Propositional Logic
Klausur Formale Systeme Fakultät für Informatik SS 2015 Prof. Dr. Bernhard Beckert 31. Juli 2015 Vorname: Matrikel-Nr.: Die Bearbeitungszeit beträgt 60 Minuten. A1 (10) A2 (8) A3 (6) A4 (7) A5 (9) A6 (11)
MehrUniverselle Algebra. Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum.
Kapitel 3 Universelle Algebra 3.1 Universelle Algebra als Logik Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum. Signaturen Eine funktionale Signatur ist eine Menge F von Funktionssymbolen
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
MehrAussagenlogik:Zusammenfassung. Mathematische Logik (WS 2016/17) Aussagenlogik (Zusammenfassung) 1 / 45
Aussagenlogik:Zusammenfassung Mathematische Logik (WS 2016/17) Aussagenlogik (Zusammenfassung) 1 / 45 Fragestellung In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter Aussagen basierend
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:
Mehr1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.
Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)
MehrKapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1
Kapitel 1.0 Aussagenlogik: Einführung Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Ziele der Aussagenlogik In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter
MehrFormale Systeme, WS 2014/2015 Übungsblatt 5
Karlsruher Institut für Technologie Institut für Theoretische Informatik Prof. Dr. Bernhard Beckert Thorsten Bormer, Dr. Vladimir Klebanov, Dr. Mattias Ulbrich Formale Systeme, WS 2014/2015 Übungsblatt
MehrDiskrete Modellierung (SS 08) Klausur (Modulabschlussprüfung)
Johann Wolfgang Goethe-Universität Frankfurt am Main 8. September 2008 Institut für Informatik Theorie komplexer Systeme Prof. Dr. Nicole Schweikardt Diskrete Modellierung (SS 08) Klausur (Modulabschlussprüfung)
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
MehrSyntax. 1 Jedes A AS AL ist eine (atomare) Formel. 2 Ist F eine Formel, so ist auch F eine Formel. 3 Sind F und G Formeln, so sind auch
Formale der Informatik 1 Kapitel 15 Folgerbarkeit, Äquivalenzen und Normalformen Frank Heitmann heitmann@informatik.uni-hamburg.de 8. Juni 2015 Syntax Definition (Syntax der Aussagenlogik) Mit AS AL sei
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
MehrEinführung in die Logik/Modelltheorie Kurzskript
Einführung in die Logik/Modelltheorie Kurzskript Inhaltsverzeichnis 1 Logik erster Stufe 2 1.1 Sprachen und Strukturen...................... 2 1.2 Formeln und Aussagen........................ 3 1.3 Theorien................................
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
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 5. Aussagenlogik Normalformen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Normalformen Definition: Literal Atom (aussagenlogische
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
MehrWas bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik Syntax Symbole und Struktur Junktoren: t, f,,,,, aussagenlogische Formeln AL(P) induktive Definition: IA Atome (Aussagenvariablen) p, q, r,... P IS zusammengesetzte
MehrFormale Systeme, WS 2013/2014. Lösungen zu Übungsblatt 5
Karlsruher Institut für Technologie Institut für Theoretische Informatik Prof. Dr. Peter H. Schmitt Dr. V. Klebanov, Dr. M. Ulbrich, C. Scheben Formale Systeme, WS 2013/2014 Lösungen zu Übungsblatt 5 Dieses
MehrKapitel 1.6. Ein adäquater Kalkül der Aussagenlogik. Teil 2: Vollständigkeit des Shoenfield-Kalküls
Kapitel 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 2: Vollständigkeit des Shoenfield-Kalküls Mathematische Logik (WS 2011/12) Kapitel 1.6: Vollständigkeit von S 1/56 Übersicht 1.6.1 Vollständigkeit
MehrNachklausur zur Vorlesung Einführung in die Theoretische Informatik
Universität Heidelberg 11. Oktober 2012 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Nachklausur zur Vorlesung Einführung in die Theoretische Informatik Musterlösungen
MehrAussagenlogik. Übersicht: 1 Teil 1: Syntax und Semantik. 2 Teil 2: Modellierung und Beweise. Aussagenlogik H. Kleine Büning 1/25
Aussagenlogik Übersicht: 1 Teil 1: Syntax und Semantik 2 Teil 2: Modellierung und Beweise Aussagenlogik H. Kleine Büning 1/25 Einführendes Beispiel Falls Lisa Peter trifft, dann trifft Lisa auch Gregor.
MehrKapitel 1.6. Ein adäquater Kalkül der Aussagenlogik. Teil 2: Vollständigkeit des Shoenfield-Kalküls
Kapitel 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 2: Vollständigkeit des Shoenfield-Kalküls Mathematische Logik (WS 2012/13) Kapitel 1.6: Vollständigkeit von S 1/60 Übersicht 1.6.1 Vollständigkeit
MehrFormale Systeme. Wiederholung. Prof. Dr. Bernhard Beckert, WS 2017/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2017/2018 Wiederholung KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Themen Aussagenlogik
MehrTheorie der Informatik
Theorie der Informatik 1. Aussagenlogik I Malte Helmert Gabriele Röger Universität Basel 19. Februar 2014 Motivation Aufgabe von letzter Vorlesungsstunde Worin besteht das Geheimnis Ihres langen Lebens?
Mehra) Sei [G : B] = n und [B : A] = m. Seien weiter X G,B = {g 1,..., g n } vollständiges Repräsentantensystem der Linksnebenklassen von A in G.
5. Übungszettel zur Vorlesung Geometrische Gruppentheorie Musterlösung WiSe 2015/16 WWU Münster Prof. Dr. Linus Kramer Nils Leder Cora Welsch Aufgabe 5.1 Sei G eine Gruppe und seien A, B G Untergruppen
MehrPrädikatenlogik. Übersicht: 1 Teil 1: Syntax und Semantik. 2 Teil 2: Normalformen und Grenzen der Prädikatenlogik 1. Stufe
Prädikatenlogik Übersicht: 1 Teil 1: Syntax und Semantik 2 Teil 2: Normalformen und Grenzen der Prädikatenlogik 1. Stufe 3 Teil 3: Modellierung und Beweise 4 Teil 4: Substitution, Unifikation und Resolution
MehrKlausur TheGI Februar 2006 Version A
B. Mahr, S. Bab, T. Wieczorek WS 05/06 Klausur TheGI 3 14. Februar 2006 Version A Name, Vorname: Matr.-Nr.: Übung im WS Aufgabe: 1 2 3 4 5 6 7 8 9 Punkte: Summe: Klausurnote: Punkte: Insgesamt sind in
MehrÜbungen zur VP Mathematische Logik
Übungen zur VP Mathematische Logik Alexander Bors 1. März 2017 Werden je nach Bedarf im Laufe des Semesters noch um weitere Übungen ergänzt. Übungen zur naiven Mengenlehre von Cantor (Vorlesung 1) Übung
Mehr3. Übungszettel zur Vorlesung. Geometrische Gruppentheorie Musterlösung. Cora Welsch
3. Übungszettel zur Vorlesung Geometrische Gruppentheorie Musterlösung WiSe 2015/16 WWU Münster Prof. Dr. Linus Kramer Nils Leder Cora Welsch Aufgabe 3.1 Sei I eine Indexmenge und A α für jedes α I eine
MehrEinige Grundlagen der Komplexitätstheorie
Deterministische Polynomialzeit Einige Grundlagen der Komplexitätstheorie Ziel: NP-Vollständigkeit als ressourcenbeschränktes Analagon zur RE-Vollständigkeit. Komplexitätstheorie untersucht den Ressourcenbedarf
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
MehrInjektiv, Surjektiv, Bijektiv
Injektiv, Surjektiv, Bijektiv Aufgabe 1. Geben Sie einen ausführlichen Beweis für folgende Aussage: Wenn f A B surjektiv ist und R A A A eine reflexive Relation auf A ist, dann ist R B = {( f(x), f(y)
MehrUnvollständigkeit der Arithmetik
Unvollständigkeit der Arithmetik Slide 1 Unvollständigkeit der Arithmetik Hans U. Simon (RUB) Email: simon@lmi.rub.de Homepage: http://www.ruhr-uni-bochum.de/lmi Unvollständigkeit der Arithmetik Slide
MehrNormalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
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
Mehr: G G G. eine Abbildung. Gelten die folgenden Eigenschaften, so nennen wir (G,,e) eine Gruppe: (x,y) x y
5 GRUPPEN 5 Gruppen Hier fehlt eine schöne Einleitung oder ein motivierendes Beispiel. Definition [5.1] Sei G eine nicht-leere Menge, e G ein (ausgezeichnetes) Element in G und : G G G eine Abbildung.
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
MehrGrundlagen der Mathematik
Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Grundlagen der Mathematik Lösungsskizzen 2 Präsenzaufgaben (P2) Wir betrachten drei Teilmengen der natürlichen Zahlen: - A = {n
MehrMengenlehre: Mächtigkeit (Ordnung) einer Menge
Mengenlehre: Mächtigkeit (Ordnung) einer Menge Def. Seien A, B Mengen. Wir sagen, dass A höchstens gleichmächtig zu B ist, falls es eine injektive Abbildung f : A B gibt. Schreibweise: A B. Wir sagen,
MehrKlausur zur Vorlesung Einführung in die Theoretische Informatik
Universität Heidelberg 19. Juli 2012 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Einführung in die Theoretische Informatik LÖSUNGEN Es können
MehrGrundbegriffe für dreiwertige Logik
Grundbegriffe für dreiwertige Logik Hans Kleine Büning Universität Paderborn 1.11.2011 1 Syntax und Semantik Die klassische Aussagenlogik mit den Wahrheitswerten falsch und wahr bezeichnen wir im weiteren
MehrLogik und Grundlagen Martin Goldstern, WS 2017/18 1
Logik und Grundlagen Martin Goldstern, WS 2017/18 1 Hinweis: Manche (sehr wenige) der folgenden Beispiele sind falsch, manche enthalten offene Fragen, manche sind besonders schwierig. Die Lösung eines
Mehr1 Syntax und Semantik der Logik erster Stufe
1 Syntax und Semantik der Logik erster Stufe Die Logik erster Stufe Prädikatenlogik) besitzt eine Syntax, die festlegt, welche Zeichenketten Formeln der Logik erster Stufe sind, und eine Semantik, die
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
MehrBA-INF 011 Logik und Diskrete Strukturen WS 2013/14 Mögliche Klausuraufgaben Stand vom
Prof. Dr. Norbert Blum Elena Trunz Informatik V BA-INF 011 Logik und Diskrete Strukturen WS 2013/14 Mögliche Klausuraufgaben Stand vom 5.2.2014 Bitte beachten Sie, dass die tatsächlichen Klausuraufgaben
MehrD-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler. Lösung 3
D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler Lösung 3 Hinweise 1. Verwenden Sie in a) für die ersten beiden Gleichungen die Eindeutigkeit des additiven Inversen (Folgerung (b)) und
MehrKAPITEL 1: ENDLICHE KÖRPER 1 ALLGEMEINES 2 GLEICHUNGEN ÜBER EINEM ENDLICHEN KÖRPER
RUPRECHT-KARLS-UNIVERSITÄT HEIDELBERG MATHEMATISCHES INSTITUT SEMINAR: QUADRATISCHE FORMEN ÜBER DEN RATIONALEN ZAHLEN SOMMERSEMESTER 2007 DOZENT: PROF. DR. KAY WINGBERG ASSISTENT: JOHANNES BARTELS KAPITEL
MehrLogik und Grundlagen Martin Goldstern, WS 2018/19 1
Logik und Grundlagen Martin Goldstern, WS 2018/19 1 Hinweis: Manche (sehr wenige) der folgenden Beispiele sind falsch, manche enthalten offene Fragen, manche sind besonders schwierig. Die Lösung eines
MehrPrädikatenlogiken. Mathematische Logik. Vorlesung 6. Alexander Bors. 30. März & 6. April A. Bors Logik
Mathematische Logik Vorlesung 6 Alexander Bors 30. März & 6. April 2017 1 Überblick 1 Formale Prädikatenlogiken erster Stufe (Quelle: Ziegler, pp. 3 24) 2 Erinnerung Letztes Mal haben wir begonnen, ein
Mehr