Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
der Logikprogrammierung
Vertaling van "der Logikprogrammierung" in Engels
of logic programming
die aber auch die Grundlage der Logikprogrammierung sind
which are also the basis of logic programming
Anwendungen und Erweiterungen der Logikprogrammierung
Applications and extensions of logic programming
Die Grundgedanken der Logikprogrammierung werden am Beispiel eines Geduldspiels (Türme von Hanoi) erläutert.
The fundamental ideas of logic programming are explained by considering a puzzle (the Towers of Hanoi).
In der Logikprogrammierung werden Berechnungen durch Regeln definiert.
Logic programming defines calculations by rules.
Das definitorische Räsonieren stellt eine Erweiterung der Logikprogrammierung dar, bei der eine zugrundeliegende Logik um Definitionen bestimmter Form erweitert werden kann.
Definitional reasoning is an extension of logic programming, in which an underlying logic can by extended by definitions of a certain form.
In 2011 entschieden wir uns einige Anwendungen durch Rückgriff auf Techniken der Logikprogrammierung zu modernisieren.
In 2011 we decided to modernize a couple of applications by means of techniques from logic programming.
Dieser Graph wird auf zwei Arten realisiert: zum einen in unserer materiellen Welt mit Hilfe einer Vervielfältigungsmaschine, zum anderen in der idealen Welt von Herbrand mit Hilfe der Logikprogrammierung.
Two realizations of this graph are introduced: one in our material world with the help of a copying machine, the other in the ideal world of Herbrand with the help of logic programming. Potrykus I
Es werden bekannte Werkzeuge aus dem Bereich der Logikprogrammierung eingesetzt, um Objekt-Petrinetze zu animieren (d.h. auszuführen), zu kompilieren und zu verifizieren (durch Model-Checking).
The method is developed for OPNs with arbitrary nesting. We then apply logic programming tools to animate (i.e. execute), compile and model check OPNs.
Ist in dem NEXUS-Netzwerk ein STAGETEC-Mischpult integriert, so stehen auch dessen Steuersignale - zum Beispiel die Information, dass ein Fader geöffnet wurde - in der Logikprogrammierung zur Verfügung.
If a STAGETEC mixing console is integrated in the NEXUS network, then its signals likewise become available in the logic programming - for example the information that a fader has been opened.
Mit dieser Simulation macht sich der Anwender anhand der Logikprogrammierung mit verschiedenen Datenformaten (Binär, BCD, HEX) vertraut.
This simulation uses logic programming to teach the user about different data formats (binary, BCD, HEX). Training content
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor der Logikprogrammierung in het Duits
Resultaten: 10. Exact: 10. Verstreken tijd: 41 ms.
