Mathematische Logik an der RWTH Aachen

Karteikarten und Zusammenfassungen für Mathematische Logik im Informatik Studiengang an der RWTH Aachen in Aachen

CitySTADT: Aachen

CountryLAND: Deutschland

Kommilitonen im Kurs Mathematische Logik an der RWTH Aachen erstellen und teilen Zusammenfassungen, Karteikarten, Lernpläne und andere Lernmaterialien mit der intelligenten StudySmarter Lernapp.

Schaue jetzt auf StudySmarter nach, welche Lernmaterialien bereits für deine Kurse von deinen Kommilitonen erstellt wurden. Los geht’s!

Kommilitonen im Kurs Mathematische Logik an der RWTH Aachen erstellen und teilen Zusammenfassungen, Karteikarten, Lernpläne und andere Lernmaterialien mit der intelligenten StudySmarter Lernapp.

Schaue jetzt auf StudySmarter nach, welche Lernmaterialien bereits für deine Kurse von deinen Kommilitonen erstellt wurden. Los geht’s!

Lerne jetzt mit Karteikarten und Zusammenfassungen für den Kurs Mathematische Logik an der RWTH Aachen.

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Wie ist eine (aussagenlogische) Interpretation definiert?

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Modell

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Wie ist die die Stärke der "Bindung" richtig?

Wählen Sie die richtigen Antworten aus:

  1. ¬  >>>  ∧ und ∨ >>> .

  2. ∧ und ∨ >>> → >>> ¬    

  3. ¬   >>> >>>  ∧ und ∨

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Wie ist die Tiefe d(ψ) einer Formel ψ∈AL induktiv definiert?

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

atomare Formeln

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Wann ist eine Interpretation einer Formel ψ ∈ AL passend ?

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Was bedeutet τ(ψ) ⊆ τ

wenn eine Formel ψ∈AL?

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Eine Unterformel einer Formel ψ∈AL 

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Satz 1.13. Es gibt aussagenlogische Formeln, die nicht zu einer Horn- Formel äquivalent sind.

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Eine Formel ψ heißt allgemeingültig oder eine Tautologie , wenn ...

Wählen Sie die richtigen Antworten aus:

  1. wenn jede zu ψ passende Interpretation ein Modell von ψ ist.

  2. wenn mindestens eine zu ψ passende Interpretation ein Modell von ψ ist.

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Lemma:

Eine Formel ψ ist erfüllbar genau dann, wenn...


Wählen Sie die richtigen Antworten aus:

  1. ¬ψ keine Tautologie ist

  2. ¬ψ eine Tautologie ist

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Die Horn-Formel ist

Wählen Sie die richtigen Antworten aus:

  1. keine Normalform, wie DNF oder KNF

  2. eine Normalform, wie DNF oder KNF

  3. eine Spezielle Normalform von DNF und KNF

Beispielhafte Karteikarten für Mathematische Logik an der RWTH Aachen auf StudySmarter:

Mathematische Logik

Wie ist eine (aussagenlogische) Interpretation definiert?

Eine (aussagenlogische) Interpretation ist eine Abbildung I: σ→ { 0, 1} für ein σ ⊆ τ.

Mathematische Logik

Modell

Ist eine Interpretation I von einer Formel ψ∈AL , wo   [[ψ]]^I=1.

Mathematische Logik

Wie ist die die Stärke der "Bindung" richtig?
  1. ¬  >>>  ∧ und ∨ >>> .

  2. ∧ und ∨ >>> → >>> ¬    

  3. ¬   >>> >>>  ∧ und ∨

Mathematische Logik

Wie ist die Tiefe d(ψ) einer Formel ψ∈AL induktiv definiert?

  1. d (ψ):=0 für atomare ψ, 

  2. d (¬ψ):=d(ψ) + 1

  3. d (( ψ◦φ)) :=max (d(ψ), d (φ)) + 1.

Mathematische Logik

atomare Formeln

Boolesche Konstanten und Aussagenvariablen n

Mathematische Logik

Wann ist eine Interpretation einer Formel ψ ∈ AL passend ?

Sie ist passend für eine Formel ψ∈AL , wenn τ(ψ) ⊆ σ

da, I: σ → { 0, 1} für ein σ ⊆ τ

Mathematische Logik

Was bedeutet τ(ψ) ⊆ τ

wenn eine Formel ψ∈AL?

τ(ψ)⊆τ ist die Menge der in ψ tatsächlich vorkommenden Aussagenvariablen.

Mathematische Logik

Eine Unterformel einer Formel ψ∈AL 

Eine Unterformel einer Formel ψ∈AL ist ein Teilwort von ψ, welches selbst eine Formel ist.

Mathematische Logik

Satz 1.13. Es gibt aussagenlogische Formeln, die nicht zu einer Horn- Formel äquivalent sind.

Satz 1.13. Es gibt aussagenlogische Formeln, die nicht zu einer Horn- Formel äquivalent sind.

Mathematische Logik

Eine Formel ψ heißt allgemeingültig oder eine Tautologie , wenn ...

  1. wenn jede zu ψ passende Interpretation ein Modell von ψ ist.

  2. wenn mindestens eine zu ψ passende Interpretation ein Modell von ψ ist.

Mathematische Logik

Lemma:

Eine Formel ψ ist erfüllbar genau dann, wenn...


  1. ¬ψ keine Tautologie ist

  2. ¬ψ eine Tautologie ist

Mathematische Logik

Die Horn-Formel ist
  1. keine Normalform, wie DNF oder KNF

  2. eine Normalform, wie DNF oder KNF

  3. eine Spezielle Normalform von DNF und KNF

Gradient

Melde dich jetzt kostenfrei an um alle Karteikarten und Zusammenfassungen für Mathematische Logik an der RWTH Aachen zu sehen

Singup Image Singup Image

Andere Kurse aus deinem Studiengang

Für deinen Studiengang Informatik an der RWTH Aachen gibt es bereits viele Kurse auf StudySmarter, denen du beitreten kannst. Karteikarten, Zusammenfassungen und vieles mehr warten auf dich.

Zurück zur RWTH Aachen Übersichtsseite

Programmierung

IT Sicherheit

IT Sec 2

Was ist StudySmarter?

Was ist StudySmarter?

StudySmarter ist eine intelligente Lernapp für Studenten. Mit StudySmarter kannst du dir effizient und spielerisch Karteikarten, Zusammenfassungen, Mind-Maps, Lernpläne und mehr erstellen. Erstelle deine eigenen Karteikarten z.B. für an der RWTH Aachen oder greife auf tausende Lernmaterialien deiner Kommilitonen zu. Egal, ob an deiner Uni oder an anderen Universitäten. Hunderttausende Studierende bereiten sich mit StudySmarter effizient auf ihre Klausuren vor. Erhältlich auf Web, Android & iOS. Komplett kostenfrei. Keine Haken.

StudySmarter Flashcard App and Karteikarten App
d

4.5 /5

d

4.8 /5

So funktioniert StudySmarter

Individueller Lernplan

Bereite dich rechtzeitig auf all deine Klausuren vor. StudySmarter erstellt dir deinen individuellen Lernplan, abgestimmt auf deinen Lerntyp und Vorlieben.

Erstelle Karteikarten

Erstelle dir Karteikarten in wenigen Sekunden mit Hilfe von effizienten Screenshot-, und Markierfunktionen. Maximiere dein Lernverständnis mit unserem intelligenten StudySmarter Trainer.

Erstelle Zusammenfassungen

Markiere die wichtigsten Passagen in deinen Dokumenten und StudySmarter erstellt dir deine Zusammenfassung. Ganz ohne Mehraufwand.

Lerne alleine oder im Team

StudySmarter findet deine Lerngruppe automatisch. Teile Karteikarten und Zusammenfassungen mit deinen Kommilitonen und erhalte Antworten auf deine Fragen.

Statistiken und Feedback

Behalte immer den Überblick über deinen Lernfortschritt. StudySmarter zeigt dir genau was du schon geschafft hast und was du dir noch ansehen musst, um deine Traumnote zu erreichen.

1

Individueller Lernplan

2

Erstelle Karteikarten

3

Erstelle Zusammenfassungen

4

Lerne alleine oder im Team

5

Statistiken und Feedback

Nichts für dich dabei?

Kein Problem! Melde dich kostenfrei auf StudySmarter an und erstelle deine individuellen Karteikarten und Zusammenfassungen für deinen Kurs Mathematische Logik an der RWTH Aachen - so schnell und effizient wie noch nie zuvor.