b= NaN
|
|
- Philipp Kerner
- vor 5 Jahren
- Abrufe
Transkript
1 42 Beispiel: IEEE single precision: b= = b= = b= = b= = = z N min b= = b= = = z min b= b= b= b= b= NaN b= NaN 65
2 Das Ergebnis der meisten Operationen ist nicht exakt darstellbar und muss gerundet werden. Der IEEE-Standard stellt mehrere Rundungsmodi zur Verfügung: Runden zur nächsten Zahl (round to nearest): dies ist der Standardmodus Runden nach unten zur nächstkleineren Zahl Runden nach oben zur nächstgrößeren Zahl Runden zur Null (chop) durch Abschneiden der Ziffern z m z m 1... Durch geschickten Einsatz der Rundungsmodi können obere und untere Schranken für das tatsächliche Ergebnis einer Rechnung bestimmt werden. 43 Bemerkung: Der IEEE-Standard garantiert, dass jede einzelne Operation +,,, / mit möglichst kleinem Fehler durchgeführt wird. Mehrschrittige Berechnungen können aber beliebig große Fehler produzieren. 66
3 Jetzt ist bekannt, wie Information mit Nullen und Einsen dargestellt werden kann: Zeichen z.b. mit dem ASCII-Code oder Unicode ganze Zahlen in Binärdarstellung (z.b. mit Zweierkomplement) nicht-ganze Zahlen im Gleitkomma-Format (z.b. IEEE double Format) Wie kann man diese Information verarbeiten? Erster Schritt: Formalisierung Aussagenlogik 67
4 3.3 Aussagenlogik Kalkül zum logischen Schließen Grundlagen: Aristoteles ( v. Chr.) 44 Definition: Eine Aussage ist ein Objekt, dem sich eindeutig ein Wahrheitswert wahr (w, true, T) oder falsch (f, false, F) zuordnen lässt. 45 Beispiele: aus dem Alltag: Wuppertal ist eine Stadt im Bergischen Land. Jeder Mensch muss sterben. Es regnet. Die Straße ist nass. aus der Mathematik: aber: 4 teilt 15. Es gibt unendlich viele Primzahlen. Die Gleichung a n +b n = c n ist im Falle n N, n 3 nicht ganzzahlig (d.h. a, b, c N) lösbar. Dieser Satz ist falsch (keine Aussage, in sich widersprüchlich) 68
5 3.3.1 Logische Verknüpfungen Aus Aussagen können mittels logischer Verknüpfung neue Aussagen gebildet werden. 46 Beispiel: Es regnet nicht, oder die Straße ist nass. Definition der Verknüpfung durch Wahrheitstabelle (legt fest, wann die neue Aussage in Abhängigkeit der sie bildenden Aussagen wahr oder falsch ist). Bezeichnungen: A, B, C,... stehen für beliebige Aussagen (Aussagevariablen) 0 immer falsch L immer wahr Negation : nicht, NOT (einstellige Verknüpfung) A A F T T F 69
6 Konjunktion : und, AND (zweistellige Verknüpfung) A B A B F F F F T F T F F T T T Disjunktion : oder, OR (zweistellig): A B A B F F F F T T T F T T T T Implikation : wenn dann (zweistellig): A B A B F F T F T T T F F T T T ex falso quodlibet Äquivalenz : genau dann, wenn (zweistellig): A B A B F F T F T F T F F T T T 70
7 3.3.2 Aussagenlogische Formeln 47 Definition: Eine (aussagenlogische) Formel (von n Aussagevariablen A 1,..., A n ) ist entweder eine atomare Formel (eine der Variablen oder 0 oder L) oder eine zusammengesetzte Formel der Art F 1, F 1 F 2, F 1 F 2, F 1 F 2, F 1 F 2, wobei F 1 und F 2 selbst wieder Formeln (Teilformeln) sind. Die Operatoren,,, und werden als Junktoren bezeichnet. Die Gruppierung zu Teilformeln kann durch Klammern vorgegeben werden. Ohne Klammern wird in der Reihenfolge gruppiert, gleiche Junktoren von links nach rechts. 71
8 48 Beispiele: A A B bzw. A ( B) A B C 0 C B bzw. (A ((B C) 0)) (C B) sind Formeln der Aussagevariablen A, B, C, D A B A B nicht. 49 Beispiel: Wahrheitstafel für ((A B) ( B C)) A B C A B B B C ((A B) ( B C)) F F F F T T F F F T F T T F F T F F F F F F T T F F T F T F F F T T F T F T F T T F T T F T F F F T T T T F T T 72
9 50 Definition: Die obige Definition der Struktur aussagenlogischer Formeln heißt Syntax der Aussagenlogik. Eine Formel bekommt erst durch eine Belegung einen Sinn. 73
10 3.3.3 Belegungen 51 Definition: Eine Belegung der Formel erhält man, wenn man jeder Variablen einen Wert T oder F zuordnet. Jede Belegung ergibt einen Wert T oder F für die Formel. 52 Beispiel: Regen StraßeNass Regen StraßeNass Belegung der Aussagen mit Wahrheitswerten: F T F T Auswertung der Junktoren liefert Wahrheitswert: F T T T F T T T T T Formales Schließen im Gegensatz zur empirischen Beurteilung, z.b. ob die Straße nass ist. 74
11 3.3.4 Tautologie und Kontradiktion 53 Definition: Eine Formel heißt allgemeingültig (Tautologie), wenn sie für jede Belegung den Wert T annimmt. Sie heißt erfüllbar, wenn sie für mindestens eine Belegung den Wert T annimmt. Sie heißt unerfüllbar (Kontradiktion), wenn sie für keine Belegung den Wert T annimmt. 54 Beispiel: Ist die Formel (P Q) (R P) allgemeingültig, erfüllbar, unerfüllbar? Erste Lösung mittels Wahrheitstafel: (P Q) P Q R P Q (P Q) R P (R P) F F F T F T T F F T T F F T F T F T F T T F T T T F F T T F F F T T T T F T F T T T T T F T F T T T T T T F T T Damit: allgemeingültig (also auch erfüllbar), nicht unerfüllbar. 75
12 55 Beispiele: Tautologien: A ( A) (A B) (B A) (A B) (A B) ( A B) erfüllbar: A B (mit A = T, B = T) A B C (z.b. mit A = T, B = F, C = F) Kontradiktionen: A A A B A B 76
13 3.3.5 Äquivalenzumformungen 56 Definition: Zwei Formeln F und G mit denselben Variablen heißen gleichwertig (äquivalent), Schreibweise F G, wenn sie für jede Belegung denselben Wert annehmen. Wichtige Äquivalenzen: Kommutativität: 1. A B B A 2. A B B A Assoziativität: 3. (A B) C A (B C) 4. (A B) C A (B C) Distributivität: 5. (A B) C (A C) (B C) 6. (A B) C (A C) (B C) Idempotenz von und : 7. A A A 8. A A A de Morgansche Regeln: 9. (A B) A B 10. (A B) A B doppelte Verneinung: 11. ( A) A 77
14 Kürzungsregeln: 12. A K A, falls K Kontradiktion 13. A T A, falls T Tautologie Implikationsregel: 14. A B A B Beweis: Wahrheitstafeln. Mit diesen Äquivalenzen lassen sich Formeln in gleichwertige umformen. 57 Beispiele: a) Ist die Formel (P Q) (R P) allgemeingültig, erfüllbar, unerfüllbar? Zweite Lösung mittels Äquivalenzumformungen: (P Q) (R P) 14. ( P Q) ( R P) 14. ( ( P Q)) ( R P) 11. ( P Q) ( R P) 1., 3. ( P P) (Q R) L (Q R) L Damit: allgemeingültig (also auch erfüllbar), nicht unerfüllbar. 78
15 b) Die Formel (A B) ( (A B)) ist gleichwertig mit (A B) (B A): , (A B) ( (A B)) A ( (A B)) B ( (A B)) A ( A B) B ( A B) (A A) (A B) (B A) (B B) (A B) (B A) 58 Definition: Die in Beispiel 57b) betrachtete Formel heißt exklusives oder (Antivalenz, XOR): A B A XOR B F F F F T T T F T T T F 79
16 3.3.6 Disjunktive und konjunktive Normalform 59 Definition: Ein Literal ist eine atomare Formel oder die Negation einer atomaren Formel (positives bzw. negatives Literal). Eine Formel F ist in konjunktiver Normalform (KNF), wenn sie eine Konjunktion von Disjunktionen von Literalen ist: 0 1 m n^ _ i F A, i=1 j=1 L ij wobei L ij {A 1, A 2,...} { A 1, A 2,...}. Eine Formel F ist in disjunktiver Normalform (DNF), wenn sie eine Disjunktion von Konjunktionen von Literalen ist: 0 1 m n_ ^ i F L ij A, i=1 j=1 wobei L ij {A 1, A 2,...} { A 1, A 2,...}. 60 Satz: Für jede Formel F gibt es eine äquivalente Formel F K in KNF und eine äquivalente Formel F D in DNF. Beweis: Z.B. in U. Schöning: Logik für Informatiker. 80
17 Herstellen der KNF mit Äquivalenzumformungen: 1. Ersetze in F jedes Vorkommen einer Teilformel der Bauart G durch G, (G H) durch ( G H), (G H) durch ( G H), bis keine derartige Teilformel mehr vorkommt. 2. Ersetze jedes Vorkommen einer Teilformel der Bauart F (G H) durch ((F G) (F H)), (F G) H durch ((F H) (G H)), bis keine derartige Teilformel mehr vorkommt. Die resultierende Formel ist in KNF. Es kommen evtl. noch überflüssige (aber in KNF zulässige) Disjunktionen vor, die Tautologien sind. 81
18 Ablesen der Normalformen aus der Wahrheitstafel: Eine Formel F habe die Wahrheitstafel A B C F F F F T F F T F F T F F F T T F T F F T T F T T T T F F T T T F F ( A B C) (A B C) (A B C) ( A B C) (A B) (beides sind DNFen). F ` ( A B C) ( A B C) ( A B C) (A B C) (A B C) (A B C) (A B C) (A B C) ( A B C) ( A B C) (A B C) (A B) ( A B) (A B C) ( B) (die letzten drei Formeln sind in KNF). 82
19 3.3.7 Karnaugh-Veitch-Diagramme Die aus einer Wahrheitstafel abgelesenen disjunktiven Normalformen sind meist unnötig lang und sollten vereinfacht werden. Zur grafischen Vereinfachung dienen Karnaugh-Veitch-Diagramme (kurz KV-Diagramme). A A KV Diagramme mit 1, 2 und 3 Variablen F( A) F(A) A A B F( A, B) F(A, B) (Konstruktion durch Spiegelung, abwechselnd an der unteren und der rechten Kante) B F( A,B) F(A,B) A A A B F( A, B, C) F(A, B, C) F(A, B,C) F( A, B,C) B F( A,B, C) F(A,B, C) F(A,B,C) F( A,B,C) C C 83
20 61 Bemerkung: Diese Konstruktion garantiert, dass es bei n Variablen Felder für alle 2 n möglichen Kombinationen gibt und sich beim Übergang von einem Feld zu einem Nachbarfeld genau eine Variable ändert. Vereinfachung von disjunktiven Normalformen (abgelesen aus einer Wahrheitstafel) mittels KV-Diagrammen: Jede Und-Verknüpfung (Tabellenzeile) beschreibt genau ein Feld des Diagramms. Die Wahrheitswerte werden in das Diagramm übertragen. Benachbarte T-Blöcke der Größe 2 n werden nun zusammengefasst. Dies beruht auf der Regel (X Y ) (X Y ) X. Diagramme für 3 bzw. 4 Variable sind als Zylinder bzw. Torus aufzufassen, d.h. gegenüberliegende Randfelder sind benachbart. 84
21 62 Beispiele: a) 2 Variable: F (A B) (A B) kv-2var.eps F A b) 3 Variable: F ( A B C) (A B C) (A B C) (A B C) kv-3var1.eps F (A B) (B C) 85
22 c) 3 Variable: F ( A B C) (A B C) ( A B C) kv-3var2.eps F (A B C) ( A B) 86
23 d) 4 Variable: F (A B C D) (A B C D) ( A B C D) (A B C D) ( A B C D) ( A B C D) ( A B C D) (A B C D) (A B C D) kv-4var.eps F (A B) (C D) ( A B D) 87
24 Durch Zusammenfassen von F-Feldern und anschließende Negation erhält man eine konjunktive Normalform. 63 Beispiel: KNF aus KV-Diagramm kv-3var3.eps F ( B C) ( A B C) F (B C) (A B C) 88
25 3.3.8 Verknüpfungsbasen Sei B = {F, T}. Durch eine Belegung wird jede Aussagevariable A ebenso wie die ganze Formel auf ein Element von B abgebildet. Betrachtet man alle möglichen Belegungen einer Formel mit n Variablen, so entspricht dies also einer Funktion F b= f : B B {z } n-mal =: B n B. Gilt auch die Umkehrung, d.h. gibt es zu jeder solchen Funktion auch eine entsprechende Formel? 64 Satz: Für jedes n N entspricht jeder Abbildung f : B n B eine Formel der Aussagenlogik. Beweis: Vollständige Induktion. Bisher: Fünf Junktoren (,,,, ). Frage: Können alle mit mit diesen fünf Junktoren gebildeten Formeln durch äquivalente Formeln mit anderen Junktormengen (Verknüpfungsbasen) ersetzt werden? 89
26 65 Satz: Jede aussagenlogische Formel ist äquivalent zu einer, die nur und enthält. Beweis: Es genügt zu zeigen, wie man, und durch und ersetzt. 1. : 2. : A B ( A B) (de Morgansche Regeln) A B A B (Wahrheitstafel) 3. : A B (A B) ( A B) (W.-Tafel), und lässt sich nach Teil 1) durch und ersetzen. 66 Satz: Jede aussagenlogische Formel ist äquivalent zu einer, die nur und enthält. Beweis: Wegen Satz 65 genügt es zu zeigen, wie man ersetzt: A B ( A B). 90
27 67 Definition: Die beiden Verknüpfungsbasen {, } und {, } werden als de Morgan-Basen bezeichnet. Weitere Verknüpfungsbasen: Boolesche Basis: {,, } Frege-Basis: {, } NAND-Basis: { } NOR-Basis: { } Dabei: NAND-Verknüpfung: A B (A B) und NOR-Verknüpfung: A B (A B). A B A B A B F F T T F T T F T F T F T T F F 91
28 3.3.9 Aussagenlogik und Arithmetik Identifiziert man die Binärziffer 0 mit F und die Ziffer 1 mit T, so kann man arithmetische Operationen durch logische Formeln beschreiben, z.b. Addition zweier einstelliger Binärzahlen: ergibt die Tafel Z 0 + Z 0 = C 1S 0 Also: Z 0 Z 0 C 1 S 0 0b=F 0b=F 0b=F 0b=F 0b=F 1b=T 0b=F 1b=T 1b=T 0b=F 0b=F 1b=T 1b=T 1b=T 1b=T 0b=F S 0 b= Z 0 XOR Z 0 C 1 b= Z 0 Z 0 92
29 Bei der Addition mehrstelliger Zahlen muss (außer bei der letzten Ziffer) auch der Übertrag (Carry) aus der dahinter liegenden Stelle berücksichtigt werden: ergibt die Tafel C k + Z k + Z k = C k+1s k Also: C k Z k Z k C k+1 S k F F F F F F F T F T F T F F T F T T T F T F F F T T F T T F T T F T F T T T T T S k b= ( C k Z k Z k ) ( C k Z k Z k ) (C k Z k Z k ) (C k Z k Z k ) C k (Z k XOR Z k ) C k (Z k XOR Z k ) C k XOR (Z k XOR Z k ) C k+1 b= ( C k Z k Z k ) (C k Z k Z k ) (C k Z k Z k ) (C k Z k Z k ) (C k Z k ) (C k Z k ) (Z k Z k ) 93
30 Aussagenlogisches Schließen 68 Definition: Eine Formel F = F(A 1,..., A m ) heißt logische Folgerung (Konklusion) von A = {A 1,..., A m }, in Zeichen A = F ( F folgt semantisch aus A ), wenn A 1 A 2... A m F(A 1,..., A m ) eine Tautologie ist. 69 Bemerkung: Die Korrektheit eines logischen Schlusses A = F mit A = {A 1,..., A m }, kann man prüfen: muss unerfüllbar sein. A 1... A m F 94
31 70 Beispiele: a) Ist F(A 1,..., A m ) logische Folgerung von A 1,..., A m, so ist es auch logische Folgerung von A 1,..., A m, B (für eine beliebige Formel B), denn: A 1... A m B F(A 1,..., A m ) (A 1... A m B) F(A 1,..., A m ) (A 1... A m ) ( B) F(A 1,..., A m ) (A 1... A m ) F(A 1,..., A m ) B {z } L wegen A = F L b) Ist F(A 1,..., A m ) logische Folgerung von A 1,..., A m, so ist auch F(A 1,..., A m ) B logische Folgerung von A 1,..., A m (für eine beliebige Formel B). (Beweis: analog.) Beim logischen Folgern dürfen Vorbedingungen durch stärkere, Nachbedingungen durch schwächere ersetzt werden. 95
32 Beweise, Regelschemata Logische Beweise werden aus logischen Schlüssen aufgebaut. Ein logischer Kalkül gibt Regelschemata für logische Schlüsse an. Ein Schema {F, G} = F G notiert man auch F G F G bzw. F, G F G Es bedeutet: Aus der Gültigkeit von F und G kann man schließen, dass F G gilt. 71 Beispiele: a) Modus ponens (lat. ponere = setzen): b) Modus tollens (lat. tollere = aufheben): A, A B B A B, B A c) Reductio ad absurdum: A B, A B A d) Kettenschluss: A B, B C A C 96
Logische Äquivalenz. Definition Beispiel 2.23
Logische Äquivalenz Definition 2.22 Zwei aussagenlogische Formeln α, β A heißen logisch äquivalent, falls für jede Belegung I von α und β gilt: Schreibweise: α β. Beispiel 2.23 Aus Folgerung 2.6 ergibt
MehrAufgabe. Gelten die folgenden Äquivalenzen?. 2/??
Äquivalenz Zwei Formeln F und G heißen (semantisch) äquivalent, falls für alle Belegungen A, die sowohl für F als auch für G passend sind, gilt A(F ) = A(G). Hierfür schreiben wir F G.. 1/?? Aufgabe Gelten
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)
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 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)
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.
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.
MehrAussagenlogik. Aussagen und Aussagenverknüpfungen
Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,
MehrWas ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie
Was ist Logik? Geschichte der Logik eng verknüpft mit Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie man aus Aussagen andere Aussagen ableiten kann Beschränkung auf
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
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
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 4 7.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Syntax der Aussagenlogik: Definition der Menge
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 06.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Syntax (Formeln) Semantik Wertebelegungen/Valuationen/Modelle
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 4. Aussagenlogik Syntax und Semantik der Aussagenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Syntax der Aussagenlogik:
MehrBeispiel Aussagenlogik nach Schöning: Logik...
Beispiel Aussagenlogik nach Schöning: Logik... Worin besteht das Geheimnis Ihres langen Lebens? wurde ein 100-jähriger gefragt. Ich halte mich streng an die Diätregeln: Wenn ich kein Bier zu einer Mahlzeit
MehrTU9 Aussagenlogik. Daniela Andrade
TU9 Aussagenlogik Daniela Andrade daniela.andrade@tum.de 18.12.2017 1 / 21 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds findet ;) 2 /
Mehr03 Boolesche Algebra. Technische Grundlagen der Informatik
03 Boolesche Algebra Technische Grundlagen der Informatik Automation Systems Group E183-1 Institute of Computer Aided Automation Vienna University of Technology email: tgi@auto.tuwien.ac.at Inhalt Operationen
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
MehrFormale Grundlagen der Informatik 1 Kapitel 16 Normalformen und Hornformeln
Formale Grundlagen der Informatik 1 Kapitel 16 Normalformen und Frank Heitmann heitmann@informatik.uni-hamburg.de 9. Juni 2015 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/36 Ersetzbarkeitstheorem
MehrLogik (Teschl/Teschl 1.1 und 1.3)
Logik (Teschl/Teschl 1.1 und 1.3) Eine Aussage ist ein Satz, von dem man eindeutig entscheiden kann, ob er wahr (true, = 1) oder falsch (false, = 0) ist. Beispiele a: 1 + 1 = 2 b: Darmstadt liegt in Bayern.
MehrÜbung 4: Aussagenlogik II
Übung 4: Aussagenlogik II Diskrete Strukturen im Wintersemester 2013/2014 Markus Kaiser 8. Januar 2014 1/10 Äquivalenzregeln Identität F true F Dominanz F true true Idempotenz F F F Doppelte Negation F
MehrSyntax der Aussagenlogik. Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen. Formel als Syntaxbaum. Teilformel A 3 A 1 A 4
Syntax der Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Eine atomare Formel hat die Form A i (wobei i = 1, 2, 3,...). Definition (Formel)
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
MehrAussagenlogik. Formale Methoden der Informatik WiSe 2012/2013 teil 6, folie 1
Aussagenlogik Formale Methoden der Informatik WiSe 22/23 teil 6, folie Teil VI: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning, Fakultät
MehrLogic in a Nutshell. Christian Liguda
Logic in a Nutshell Christian Liguda Quelle: Kastens, Uwe und Büning, Hans K., Modellierung: Grundlagen und formale Methoden, 2009, Carl Hanser Verlag Übersicht Logik - Allgemein Aussagenlogik Modellierung
MehrFormale Grundlagen der Informatik 1 Kapitel 15 Normalformen und Hornformeln
Formale Grundlagen der Informatik 1 Kapitel 15 Normalformen und Frank Heitmann heitmann@informatik.uni-hamburg.de 30. Mai 2016 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/42 Zusammenfassung Syntax
MehrZusammenfassung Syntax: Formale Grundlagen der Informatik 1 Kapitel 15 Normalformen und Hornformeln. Zusammenfassung
Formale der Informatik 1 Kapitel 15 und Frank Heitmann heitmann@informatik.uni-hamburg.de 30. Mai 2016 Zusammenfassung Syntax Zusammenfassung Syntax: Motivation Definition der Syntax: Alphabet, Junktor
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
MehrAussagenlogik. Formale Methoden der Informatik WiSe 2010/2011 teil 7, folie 1 (von 50)
Aussagenlogik Formale Methoden der Informatik WiSe 2/2 teil 7, folie (von 5) Teil VII: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning,
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 2 28.04.2015 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Organisatorisches Termine Donnerstags: 30.04.2015 nicht
Mehr3. Logik 3.1 Aussagenlogik
3. Logik 3.1 Aussagenlogik WS 06/07 mod 301 Kalkül zum logischen Schließen. Grundlagen: Aristoteles 384-322 v. Chr. Aussagen: Sätze, die prinzipiell als ahr oder falsch angesehen erden können. z. B.: Es
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
MehrDefinition (Modus Ponens) Wenn A, dann B. A gilt Also, gilt B
Zusammenfassung der letzten LVA Wenn das Kind schreit, hat es Hunger Das Kind schreit Also, hat das Kind Hunger Fakt Korrektheit dieser Schlussfigur ist unabhängig von den konkreten Aussagen Einführung
MehrVorlesung Logik Wintersemester 2017/18 Universität Duisburg-Essen
Vorlesung Logik Wintersemester 2017/18 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Harsh Beohar Barbara König Logik 1 Mengen, Relationen und Funktionen Menge: Menge X von Elementen,
MehrZusammenfassung der letzten LVA. Einführung in die Theoretische Informatik. Syntax der Aussagenlogik. Inhalte der Lehrveranstaltung
Zusammenfassung Zusammenfassung der letzten LVA Einführung in die Theoretische Informatik Wenn das Kind schreit, hat es Hunger Das Kind schreit Also, hat das Kind Hunger Christina Kohl Alexander Maringele
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
MehrGeschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen
MehrInformationsverarbeitung auf Bitebene
Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung
MehrZusammenfassung der letzten LVA. Einführung in die Theoretische Informatik. Syntax der Aussagenlogik. Inhalte der Lehrveranstaltung
Zusammenfassung Zusammenfassung der letzten LVA Einführung in die Theoretische Informatik Christina Kohl Alexander Maringele Georg Moser Michael Schaper Manuel Schneckenreither Institut für Informatik
MehrÜbung 15. Zeige, dass man jede Formel äquivalent in eine neue Formel umwandeln kann, die nur die Operatoren und! verwendet.
Logik und Diskrete Strukturen (Sommer 28) Übung 5 Zeige, dass man jede Formel äquivalent in eine neue Formel umwandeln kann, die nur die Operatoren und! verwendet. Zum Beweis muss man nur prüfen, dass
MehrLogik. Logik. Vorkurs Informatik Theoretischer Teil WS 2013/ September Vorkurs Informatik - Theorie - WS2013/14
Logik Logik Vorkurs Informatik Theoretischer Teil WS 2013/14 30. September 2013 Logik > Logik > logische Aussagen Logik Logik > Logik > logische Aussagen Motivation Logik spielt in der Informatik eine
MehrDeduktion in der Aussagenlogik. Semantische Folgerungsbeziehung. Zusammenhang zwischen semantischer und syntaktischer Folgerung
Deduktion in der Aussagenlogik Menge von Ausdrücken der Aussagenlogik beschreibt einen bestimmten Sachverhalt, eine "Theorie" des Anwendungsbereiches Was folgt logisch aus dieser Theorie? Deduktion: aus
MehrDeduktion in der Aussagenlogik
Deduktion in der Aussagenlogik Menge von Ausdrücken der Aussagenlogik beschreibt einen bestimmten Sachverhalt, eine "Theorie" des Anwendungsbereiches. Was folgt logisch aus dieser Theorie? Deduktion: aus
MehrMotivation. Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik Syntax & Semantik. Motivation. Motivation
Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik & Frank Heitmann heitmann@informatik.uni-hamburg.de Mit der Aussagenlogik lassen sich einfache Verknüpfungen zwischen (atomaren) Gebilden ausdrücken
MehrAussagenlogik. (MAF2) MAF(I, t) = t und MAF(I, f ) = f. Die Semantik aussagenlogischer Formeln ist durch die Funktion
43 Vergleiche mit MBA! (MAF4) MAF(I, (F G)) = MAF(I, F) MAF(I, G), wobei die zum Symbol gehörende Funktion ist. (MAF3) MAF(I, F) = MAF(I, F) (MAF2) MAF(I, t) = t und MAF(I, f ) = f (MAF1) MAF(I, A) = I(A),
MehrDiskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier
Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre
MehrI. Aussagenlogik. Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen.
I. Aussagenlogik 2.1 Syntax Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen. Sätze selbst sind entweder wahr oder falsch. Ansonsten
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 24 Die Booleschen Junktoren Till Mossakowski Logik 2/ 24 Die Negation Wahrheitstafel
MehrFormale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016
Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016 Teil 2: Logik 1 Prädikatenlogik (Einleitung) 2 Aussagenlogik Motivation Grundlagen Eigenschaften Eigenschaften Normalformen
MehrEine Aussage ist ein Satz der Umgangssprache, der wahr oder falsch sein kann. Man geht von dem Folgenden aus:
Karlhorst Meyer Formallogik Die Umgangssprache ist für mathematische Bedürfnisse nicht exakt genug. Zwei Beispiele: In Folge können u. U. Beweise, die in Umgangssprache geschrieben werden, nicht vollständig,
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
MehrMathematische Grundlagen I Logik und Algebra
Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte
MehrGeschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Begriff Logik wird im Alltag vielseitig verwendet
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen
MehrWas ist Logik? Was ist Logik? Logische Konnektoren. Aussagenlogik. Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen
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
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
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
Mehr1 Aussagenlogischer Kalkül
1 Aussagenlogischer Kalkül Ein Kalkül in der Aussagenlogik soll die Wahrheit oder Algemeingültigkeit von Aussageformen allein auf syntaktischer Ebene zeigen. Die Wahrheit soll durch Umformung von Formeln
MehrFormale Systeme. Aussagenlogik: Syntax und Semantik. Prof. Dr. Bernhard Beckert, WS 2015/2016.
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2015/2016 Aussagenlogik: Syntax und Semantik KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum
MehrFormale Systeme. Aussagenlogik: Syntax und Semantik. Prof. Dr. Bernhard Beckert, WS 2017/2018
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2017/2018 Aussagenlogik: Syntax und Semantik KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
MehrLineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10
Fakultät für Mathematik Fachgebiet Mathematische Informatik Anhang Lineare Algebra I Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA Wintersemester 2009/10 A Relationen Definition A.1. Seien X, Y beliebige
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
MehrWas ist Logik? Was ist Logik? Logische Konnektoren. Aussagenlogik. Logik stellt Sprachen zur Darstellung von Wissen zur Verfügung
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen
MehrGeschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen
MehrFormale Systeme. Aussagenlogik: Syntax und Semantik. Prof. Dr. Bernhard Beckert WS 2010/2011 KIT INSTITUT FÜR THEORETISCHE INFORMATIK
Formale Systeme Prof. Dr. Bernhard Beckert WS 2010/2011 KIT INSTITUT FÜR THEORETISCHE INFORMATIK KIT University of the State of Baden-Württemberg and National Large-scale Research Center of the Helmholtz
MehrRechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15
Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 14/15 Prof. Dr Jian-Jia Chen Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1-www.cs.tu-.de Übersicht
MehrDuE-Tutorien 17 und 18
DuE-Tutorien 17 und 18 Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Christian A. Mandery TUTORIENWOCHE 3 AM 18.11.2011 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrDuE-Tutorien 16 und 17
Tutorien zur Vorlesung Digitaltechnik und Entwurfsverfahren Tutorienwoche 3 am 19.11.2010 1 Christian A. Mandery: KIT Universität des Landes Baden-Württemberg und nationales Grossforschungszentrum in der
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,
MehrComputational Logic Algorithmische Logik Boolesche Algebra und Resolution
Computational Logic Algorithmische Logik Boolesche Algebra und Resolution Ralf Moeller Hamburg Univ. of Technology Boole'sche Algebra Äquivalenzen als "Transformationsgesetze" Ersetzbarkeitstheorem Zentrale
MehrErsetzbarkeitstheorem
Ersetzbarkeitstheorem Die Abgeschlossenheit läßt sich auch folgendermaßen formulieren: Ersetzbarkeitstheorem Seien F und G Formeln mit F G. SeienH und H Formeln, so daß H aus H hervorgeht, indem ein Vorkommen
Mehrf ist sowohl injektiv als auch surjektiv.
Bemerkungen: Wir erinnern uns an folgende Definitionen: Eine Funktion f : U V heißt injektiv, wenn gilt: ( x, y U)[x y f(x) f(y)] Eine Funktion f : U V heißt surjektiv, wenn gilt: ( y V x U)[y = f(x)]
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 3. Aussagenlogik Syntax und Semantik der Aussagenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.16 Syntax der Aussagenlogik:
MehrLogik (Prof. Dr. Wagner FB AI)
Logik (Prof. Dr. Wagner FB AI) LERNZIELE: Über die Kenntnis und das Verständnis der gegebenen Definitionen hinaus verfolgt dieser Teil der Lehrveranstaltung die folgenden Lernziele: Bei gegebenen sprachlichen
Mehr1 Einführung Aussagenlogik
1 Einführung Aussagenlogik Denition 1. Eine Aussage ist ein Aussagesatz, der entweder wahr oder falsch ist. Welche der folgenden Sätze ist eine Aussage? 3+4=7 2*3=9 Angela Merkel ist Kanzlerin Stillgestanden!
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
MehrVorkurs Mathematik für Informatiker 5 Logik, Teil 1
5 Logik, Teil 1 Michael Bader, Thomas Huckle, Stefan Zimmer 1. 9. Oktober 2008 Kap. 5: Logik, Teil 1 1 Aussagenlogik Rechnen mit Wahrheitswerten: true und false Kap. 5: Logik, Teil 1 2 Aussagenlogik Rechnen
MehrWas bisher geschah. wahr 0 t 1 falsch 0 f 0 Konjunktion 2 min Disjunktion 2 max Negation 1 x 1 x Implikation 2 Äquivalenz 2 =
Was bisher geschah (Klassische) Aussagenlogik: Aussage Wahrheitswerte 0 (falsch) und 1 (wahr) Junktoren Syntax Semantik Stelligkeit Symbol Wahrheitswertfunktion wahr 0 t 1 falsch 0 f 0 Konjunktion 2 min
MehrTU5 Aussagenlogik II
TU5 Aussagenlogik II Daniela Andrade daniela.andrade@tum.de 21.11.2016 1 / 21 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds findet ;)
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
MehrAussagenlogik: Syntax von Aussagen
Aussagenlogik: Syntax von Aussagen A ::= X (A A) (A A) ( A) (A A) (A A) 0 1 Prioritätsreihenfolge :,,,,. A B: Konjunktion (Verundung). A B: Disjunktion (Veroderung). A B: Implikation. A B: Äquivalenz.
MehrDiskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen
Diskrete Strukturen WS 2018/19 Gerhard Hiß RWTH Aachen Erster Teil: Grundlagen Kapitel 1, Mathematische Grundbegriffe 1.1 Aussagen Begriff (Aussage) Sprachlicher Ausdruck, welcher entweder wahr oder falsch
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 23 Die Logik der Booleschen Junktoren Till Mossakowski Logik 2/ 23 Aussagenlogische
MehrTheoretische Informatik: Logik
Theoretische Informatik: Logik Vorlesung mit Übungen im WS 2006/2007 Vorlesung: Montag Montag 9-10 Uhr, Raum 1603 WAneu 14-16 Uhr, Raum 1603 WAneu Beginn: Montag, den 23.10.2006, 9 15 Uhr. Übungen in 3
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
MehrWas bisher geschah: klassische Aussagenlogik
Was bisher geschah: klassische Aussagenlogik Syntax Symbole und Struktur Junktoren: t, f (nullstellig), (einstellig),,,, (zweistellig) aussagenlogische Formeln AL(P) induktive Definition: IA atomare Formeln
MehrLogik. Studiengang. Informatik und. Technoinformatik SS 02. Prof. Dr. Madlener Universität Kaiserslautern. Vorlesung: Mi
Logik Studiengang Informatik und Technoinformatik SS 02 Vorlesung: Mi 11.45-13.15 52/207 Prof. Dr. Madlener Universität Kaiserslautern Informationen www-madlener.informatik.uni-kl.de/ag-madlener/teaching/ss2002/
MehrFORMALE SYSTEME. 10. Januar Aussagenlogik. Logische Schlussfolgerung. Happy 80th Birthday, Don Knuth!
10. Januar 2018 FORMALE SYSTEME 22. Vorlesung: Äquivalenzen und Normalformen Markus Krötzsch Professur für Wissensbasierte Systeme TU Dresden, 11. Januar 2018 Happy 80th Birthday, Don Knuth! If you find
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
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
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?
MehrEinführung in die Semantik, 5. Sitzung Aussagenlogik
Einführung in die, 5. Sitzung Aussagenlogik Göttingen 9. November 2006 Aussagenlogik Warum die formalen Sprachen der Logik? formale Sprachen haben wie jede Sprache ein Vokabular, eine und eine. Die Relation
MehrGrundlagen der diskreten Mathematik
Grundlagen der diskreten Mathematik Prof. Dr. Romana Piat WS 25/6 Allgemeine Informationen Vorlesungen:./C Zug D (Mi., 3. Block + Do., 4. Block, y-raster) Zug E (Di., 5. Block + Do.,. Block, y-raster)
MehrFORMALE SYSTEME. 22. Vorlesung: Äquivalenzen und Normalformen. TU Dresden, 11. Januar Markus Krötzsch Professur für Wissensbasierte Systeme
FORMALE SYSTEME 22. Vorlesung: Äquivalenzen und Normalformen Markus Krötzsch Professur für Wissensbasierte Systeme TU Dresden, 11. Januar 2018 Rückblick Markus Krötzsch, 11. Januar 2018 Formale Systeme
MehrLogik für Informatiker
Logik für Informatiker Wintersemester 2007/08 Thomas Schwentick Teil A: Aussagenlogik 2. Grundlagen Version von: 2. November 2007(16:19) Inhalt 2.1 Beispiele 2.2 Syntax 2.3 Semantik 2.4 Modellierung mit
MehrEin und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.
2 Aussagenlogik () 2.3 Semantik von [ Gamut 4-58, Partee 7-4 ] Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s und s 2 unterschiedliche Wahrheitswerte haben. Beispiel: Es regnet.
MehrFrank Heitmann 2/42. 1 Etwas aus der realen Welt in der Logik abstrakt ausdrücken. 2 In der Logik Schlüsse ziehen.
Literaturhinweis Formale Grundlagen der Informatik 1 Kapitel 13 Aussagenlogik & Frank Heitmann heitmann@informatik.uni-hamburg.de 23. Mai 2016 Literaturhinweis Der Logikteil (die nächsten fünf Wochen)
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Sommersemester 2018 Ronja Düffel 14. März 2018 Theoretische Informatik Wieso, weshalb, warum??!? 1 Modellieren und Formalisieren von Problemen und Lösungen 2 Verifikation (Beweis
Mehr