Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
calculus to graph programs
Examples with "calculus to graph programs" and their translation in Duits
The verification approach consists of: an adaptation of Dijkstra's weakest precondition calculus to graph programs and mu-conditions, a proof calculus for mu-conditions, whose core part is a rule schema for inductive refutation.
Der Verifikationsansatz besteht aus: einer Übertragung von Dijkstras Kalkül der schwächsten Vorbedingungen auf Graphprogramme und mu-Bedingungen, einem Beweiskalkül für mu-Bedingungen, dessen Kernstück ein Regelschema für induktive Widerlegung ist.
Andere resultaten
Introduction to graph programs.
Einführung in Graphprogramme und Grapheigenschaften.
I need to graph my data points accurately to see the trends.
Ich muss meine Datenpunkte genau plotten, um die Trends zu erkennen.
It's essential to graph the data properly for clear visual representation.
Es ist wichtig, die Daten für eine klare visuelle Darstellung richtig aufzubereiten.
The teacher asked us to graph the results of our survey clearly.
Der Lehrer bat uns, die Ergebnisse unserer Umfrage anschaulich zu visualisieren.
It's important to graph the correlation between study habits and grades.
Es ist wichtig, die Korrelation zwischen Lerngewohnheiten und Noten zu veranschaulichen.
Our goal is to graph the profit margins for better business insights.
Unser Ziel ist es, die Gewinnspannen für bessere Geschäftseinblicke zu visualisieren.
Let's now expand our knowledge of calculus to the third dimension.
I plan to graph the rainfall amounts for the last five years.
Ich plane, die Niederschlagsmengen der letzten fünf Jahre grafisch darzustellen.
She used software to graph the sales figures for the last quarter.
Sie verwendete Software, um die Verkaufszahlen des letzten Quartals grafisch darzustellen.
We need to graph the sales data from the last quarter this afternoon.
Wir müssen heute Nachmittag die Verkaufsdaten des letzten Quartals in einem Schaubild darstellen.
In math class, we learn how to graph different types of equations.
Im Mathematikunterricht lernen wir, verschiedene Arten von Gleichungen zu visualisieren.
He applied propositional calculus to solve the logic puzzle effectively.
Er wandte den Aussagenkalkül an, um das Logikrätsel effektiv zu lösen.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 377. Exact: 1. Verstreken tijd: 113 ms.
