Formelsynthese Flashcards
1
Q
Funktionale Formelsynthese: Auflösen von Rekonvergenzen
A
2
Q
Probleme mit Auflösen von Rekonvergenzen
A
- Anzahl der Gatter steigt im Allgemeinen exponentiell an
- Anzahl der Funktionen nimmt mit Anzahl der Ausgangsvariablen zu
3
Q
Relationale Formelsynthese
A
4
Q
Definitorische Formelsysthese
A