SEM6
Kapitel 6
Kapitel 6
Set of flashcards Details
| Flashcards | 11 |
|---|---|
| Language | Deutsch |
| Category | Computer Science |
| Level | University |
| Created / Updated | 18.12.2014 / 15.02.2015 |
| Licencing | Not defined |
| Weblink |
https://card2brain.ch/box/sem6
|
| Embed |
<iframe src="https://card2brain.ch/box/sem6/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>
|
woraus besteht das nicht-logische Inventar?
Konstanten, Prädikate (einstellig)
(freie, verfügbare Symbole)
woraus besteht das logische Inventar?
Junktoren: Negation, und, oder, Implikation
Quantoren
Variablen: x,y,z
(Hilfssymbole sind Klammern, Kommata)
was sind Terme?
bestehen aus konstanten u. variablen (unklare Def. auf Folie)
was sind Formeln?
alle möglichen Ausdrücke, die man mit dem Inventar erzeugen kann (meine eigene Def.)
was is eine interpretation einer prädikatenlogischen formel?
eine Abbildung der frei verfügbaren Symbole auf passende Entitäten. Sie determiniert eindeutig den Wert einer Formel.
was sind logische Eigenschaften und Relationen? Nenne zusätzlich 3 Beispiele.
- sie gelten in allen interpretationen (unabhängig von der interpretation)
- können durch Beweisverfahren (zB Resolution) hergestellt werden
- Tautologie (immer wahr)
- Kontradiktion (immer falsch)
- Folgerung ( A |= B) : immer wenn A wahr ist, ist auch B wahr
ist die prädikatenlogik semi-entscheidbar?
ja, denn es gibt aufgaben, die man nicht in endlicher zeit lösen kann
nenne eigenschaften der bedeutung eines ausdrucks.
was is der typ eines ausdrucks?
was sind regeln?
- beinhaltet einen eigentliche, inhaltlichen Beitrag
- weist (wohldef.) lücken auf, die der kontext spezifiziert
- beitrag u. lücken werden zu prädikatenlog. fragmenten zusammengesetzt.
typ eines ausdrucks: determiniert, welche lücken vom kontext zu füllen sind
regeln: determinieren, wie die lücken gefüllt werden
