Aufgabe
From Learning Logic for Computer Science
Aufgaben
Pages in category "Aufgabe"
The following 181 pages are in this category, out of 181 total.
A
- Exercise:A natural proof for a simple entailment
- Exercise:A natural proof for commutativity of equality
- Exercise:Addition durch die Folgerungsbeziehung modellieren
- Exercise:All variables in the scope are free
- Exercise:Alternative Semantik für den Allquantor festlegen und nutzen
- Exercise:Ann beweisen und herleiten
- Exercise:Ann herleiten
- Exercise:Ann mit Semantik beweisen
- Exercise:Ass mit Semantik beweisen
- Exercise:Auf Erfüllbarkeit und Allgemeingültigkeit prüfen
- Exercise:Aufzählen
- Exercise:Aussagen in aussagenlogische Formeln übersetzen
- Exercise:Aussagen über Folgerungen beweisen
- Exercise:Aussagen über Folgerungsbeziehungen beweisen
- Exercise:Aussagenlogische Formeln auswerten
- Exercise:Aussagenlogische Formeln laut lesen
D
- Definable relations
- Deriving equivalences in propositional logic
- Exercise:Die De Morgansche Regel für mehrstellige Junktoren herleiten
- Exercise:Die Komplexität der Umwandlung in NNF untersuchen
- Exercise:Die Modellierung von Berechnungen am Beispiel
- Exercise:Die Modellierung von Berechnungen ergänzen
- Exercise:Die Modellierung von Berechnungen verstehen
- Exercise:Dominoproblem besser modellieren
- Exercise:Dominoproblem in Logik erster Stufe modellieren
- Exercise:DPLL-Algorithmus
- Exercise:DPLL-Algorithmus auf Formeln in 2CNF anwenden
E
- Exercise:Ein Gesetz mit natürlichen Beweisen herleiten
- Exercise:Ein Rätsel in Aussagenlogik modellieren
- Exercise:Eindeutigkeit von inversen Elementen axiomatisieren
- Exercise:Eine Formel in CNF umwandeln
- Exercise:Eine Formel in NNF umwandeln
- Exercise:Eine Äquivalenz in Logik erster Stufe herleiten
- Exercise:Einen formalen Beweis analysieren
- Exercise:Einen SAT Algorithmus für Mengen von Folgerungsformeln finden
- Exercise:Erfüllbarkeit von aussagenlogischen Formeln untersuchen
- Solution:Erfüllbarkeit von aussagenlogischen Formeln untersuchen
- Exercise:Erfüllbarkeit von Formeln untersuchen
- Exercise:Erreichbarkeit durch die Folgerungsbeziehung modellieren
- Exercise:Erreichbarkeit mithilfe der Folgerungsbeziehung modellieren
- Exercise:Exercise:Variablen in Termen finden
F
- Exercise:Folgerungen aufzählen
- Exercise:Folgerungen in Logik erster Stufe überprüfen
- Exercise:Folgerungen prüfen
- Exercise:Folgerungen überprüfen
- Exercise:Folgerungsbeziehungen durch Resolution beweisen und widerlegen
- Exercise:Formale Herleitung einer Äquivalenz
- Exercise:Formelmengen auf Erfüllbarkeit untersuchen
- Solution:Formelmengen auf Erfüllbarkeit untersuchen
- Exercise:Formeln der Logik erster Stufe interpretieren
- Exercise:Formeln in PNF umwandeln
- Exercise:Formeln und Terme algorithmisch auswerten
- Exercise:Formula with few relevant variables
- Exercise:Funktionen induktiv definieren
- Exercise:Färbbarkeit in CNF beschreiben
- Exercise:Führen alle Wege nach Rom?
G
- Exercise:Gitter als Strukturen modellieren
- Exercise:Grammatik für aussagenlogische Formeln in lesbarer Notation
- Exercise:Grammatik für aussagenlogische Formeln in Präfixnotation
- Exercise:Graphen als Strukturen modellieren
- Exercise:Graphen mit Ein-und Ausgang als Strukturen modellieren
- Exercise:Große Formeln in CNF erzwingen
- Exercise:Gruppen axiomatisieren und Eigenschaften folgern
K
- Exercise:Klammern in aussagenlogischen Formeln sparen
- Exercise:Kleiner gleich in Aussagenlogik ausdrücken
- Exercise:Koinzidenzlemma für Formeln der Logik erster Stufe beweisen
- Exercise:Kombinatorik und Funktionen
- Exercise:Kompaktheitssatz der Aussagenlogik nutzen
- Exercise:Korrektheit von natürlichen Beweisen
- Exercise:Korrektheit von Resolutionsbeweisen
M
N
- Exercise:Namenskonflikte bei Substitution identifizieren
- Exercise:Namenskonflikte identifizieren
- Exercise:Namenskonflikte in natürlichen Beweisen identifizieren
- Natural proof system (first-order logic)
- Natural proof system (propositional logic)
- Exercise:Natürliche Beweise führen
- Exercise:Natürliche Beweise in Logik erster Stufe führen
- Exercise:Natürlichen Beweis in Logik erster Stufe führen
- Exercise:Nicht-Axiomatisierbarkeit der Gleichheit beweisen
- Exercise:Nicht-Axiomatisierbarkeit der Gleichheit mit Relationen beweisen
- Exercise:Normalform ohne mehrfach quantifizierte Variablen erstellen
- Exercise:Notwendigkeit von Existenzquantoren nachweisen
- NP-completeness of SAT
R
- Exercise:Relationen definieren
- Exercise:Relevant variables
- Resolution (first-order logic)
- Resolution (propositional logic)
- Exercise:Resolution für 2CNF-Formeln
- Exercise:Resolutionsbeweis führen
- Exercise:Resolutionsbeweise führen
- Exercise:Resolutionsbeweise für Formeln mit Gleichheit führen
- Exercise:Resolutionsbeweise in Logik erster Stufe führen
- Exercise:Resolutionsbeweise nach Skolemisierung führen
- Exercise:Resolutionskalkül auf Klauseln erweitern
- Exercise:Rew bigwedge beweisen
S
- Satisfiability (propositional logic)
- Scope of quantifiers in first-order logic
- Exercise:Selbstreduzierbarkeit nutzen
- Semantics of first-order logic
- Exercise:Semantik kurz und knapp
- Exercise:Strukturen finden
- Exercise:Substitution anwenden
- Exercise:Substitution auf Termen definieren
- Substitution in propositional logic
- Exercise:Syntax kurz und knapp
T
U
V
Ü
- Übung 01
- Übung 02
- Übung 03
- Übung 04
- Übung 05
- Übung 06
- Übung 07
- Übung 08
- Übung 09
- Übung 10
- Übung 11
- Übung 12
- Übung 13
- Übung WS1819 00
- Übung WS1819 01
- Übung WS1819 02
- Übung WS1819 03 (Äquivalenz)
- Übung WS1819 04 (Normalformen)
- Übung WS1819 05 (DPLL-Algorithmus)
- Übung WS1819 06 (Beweissysteme)
- Übung WS1819 07 (Vollständigkeit Resolution, Kompaktheit)
- Übung WS1819 08 (Strukturen, Terme und Formeln)
- Übung WS1819 09 (Dominoproblem und Koinzidenzlemma)
- Übung WS1819 10 (Quantoren und Substitution)
- Übung WS1819 11 (Namenskonflikte, axiomatisierbare Klassen, definierbare Relationen)
- Übung WS1819 12 (Folgerungsbeziehung und Normalformen)
- Übung WS1819 13 (Resolution)
- Übung WS1920 00
- Übung WS1920 01
- Übung WS1920 02
- Übung WS1920 03
- Übung WS1920 04
- Übung WS1920 05
- Übung WS1920 06
- Übung WS1920 07
- Übung WS1920 08
- Übung WS1920 09
- Übung WS1920 10
- Übung WS1920 11
- Übung WS1920 12