Słownik ortografii niemieckiej

Definicje „Kalkül“ w Słownik ortografii niemieckiej

Przykłady z Internetu (niezredagowane i niesprawdzone przez PONS)

niemiecki
Das Kalkül ist, dass die eigenen Territorien, wenn sie kernwaffenfrei sind, auch keine lohnenden Ziele für nukleare Angriffe darstellen.
de.wikipedia.org
Im Gegensatz zum floydschen Verfahren, bei dem Ausführungspfade interpretiert werden, arbeitet der Hoare-Kalkül mit dem Quellcode.
de.wikipedia.org
Die Autoren übertrugen darin das Hoare-Kalkül auf Parallelprogramme.
de.wikipedia.org
Mit dem Hoare-Kalkül und einer formalen Spezifikation ist es möglich, ein Programm oder Teile eines Programms auf Korrektheit zu prüfen.
de.wikipedia.org
Gleichzeitig waren die zeitgenössischen Beobachter allgemein der Meinung, dass dieses Kalkül fehlgeschlagen sei.
de.wikipedia.org
Einigkeit besteht unter den Befürwortern darüber, dass zur Missbrauchsverhinderung ein hohes Quorum gelten muss, damit nicht aus reinem politischem Kalkül heraus Neuwahlen herbeigeführt werden können.
de.wikipedia.org
Ein weiteres Beispiel ist der tensorielle Differentialformen­kalkül, den Einstein für die mathematische Formulierung der allgemeinen Relativitätstheorie verwendet hatte.
de.wikipedia.org
Der Menschenrechtsbeirat konnte dabei „kein sicherheits- oder kriminalpolizeiliches Kalkül“ erkennen.
de.wikipedia.org
Ein aus einzelnen formalen Ableitungsschritten bestehender, vollständig formalisierter Beweis in einem Kalkül wird als Ableitung bezeichnet.
de.wikipedia.org
Außerdem ist dieser Kalkül sehr stabil, wie Eigenschaften 3 und 4 im nächsten Abschnitt zeigen.
de.wikipedia.org

Nie możesz znaleźć słowa w Słowniku ortografii niemieckiej?

Prześlij je nam, czekamy na wiadomość od Ciebie!

Definicje "Kalkül" w słownikach niemiecki


Interfejs: Deutsch | English | Español | Français | Italiano | Polski | Русский