Englisch » Deutsch

Übersetzungen für „bereinigte“ im Englisch » Deutsch-Wörterbuch

(Springe zu Deutsch » Englisch)

Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)

• In Prolog, the formula from 11 b ( i ) would correspond to a query.

Similarly, the formula from 11 a) would correspond to a Prolog program. (b) Set the overall formula from part a) to an adjusted prenex form (deu. bereinigte Pränexform) (see script page 26 at the bottom).

Specify all steps in between. (c) Produce from the prenex normal form a skolem form. (d) Give the KNF and the corresponding set of clauses.

www.is.inf.uni-due.de

• In Prolog entspräche die Formel aus 11 b ( i ) einem Ziel ( d.h. einer Anfrage ).

Die Formeln aus 11 a) entsprächen in Prolog einem Programm. (b) Bringt die Gesamtformel aus Teil a) in bereinigte Pränexform (siehe Skript Seite 26 unten).

Gebt dazu die einzelnen Schritte an. (c) Erzeugt aus der bereinigten Pränexform die Skolemform. (d) Gebt die KNF und die entsprechende Klauselmenge an.

www.is.inf.uni-due.de

Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?

Sende uns gern einen neuen Eintrag.

Seite auf Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文