Übersetzung für 'Korrektheit' von Deutsch nach Bulgarisch

Korrektheit {f}

коректност {ж}

• Im Oktober 2014 folgte der Roman "Die Nachhaltigen", der sich am Beispiel eines schwarzen Schauspielers, der aufgrund seiner Hautfarbe für die Rolle des Adolf Hitler abgelehnt wird, mit dem Thema der politischen Korrektheit und Inkorrektheit beschäftigt.
• In der theoretischen Informatik und Logik spricht man von Sicherheit, wenn die totale Korrektheit eines Programms oder die Korrektheit einer Aussage formal bewiesen werden konnte.
• Für die Korrektheit des Algorithmus muss man dessen Terminiertheit und partielle Korrektheit nachweisen.
• In der Pre-audit-Phase wird das bulletin-board durch Stichproben auf Korrektheit geprüft.
• Die beweisbare Korrektheit des Verfahrens basiert auf dem Zufallszahlengenerator.

• Mit Ada ist es zum ersten Mal gelungen, industriell verwendete Programme automatisch auf Korrektheit zu überprüfen.
• Die dimensionsmäßige Korrektheit ist eine notwendige Bedingung für physikalische Korrektheit.
• In einem nachfolgenden Abschnitt wird die Korrektheit dieses Verfahrens erläutert.
• Die "Logik der Aktionen" in der theoretischen Informatik beschäftigt sich mit der Korrektheit von Ausführungen von Computerprogrammen und ermöglicht die Untersuchung der Korrektheit von Programmen.
• Am australischen Forschungsinstitut NICTA wurde mithilfe von Isabelle erstmals die Korrektheit eines Kernels ("Secure Embedded L4" (seL4)) formal bewiesen.

• Mit dem Hoare-Kalkül und einer formalen Spezifikation ist es möglich, ein Programm oder Teile eines Programms auf Korrektheit zu prüfen.
• Wilson ähnlich wie Simon Möller, dass es sich bei der Debatte über politische Korrektheit und insbesondere "sexuelle Korrektheit" in den Medien um einen Backlash gegen den Feminismus handelt.
• Der Nachweis der Korrektheit eines Programms kann jedoch nicht in allen Fällen geführt werden: Das folgt aus der Nicht-Entscheidbarkeit des Halteproblems bzw.
• Die größten Einflussfaktoren sind die Qualität (Aktualität, Vollständigkeit, Korrektheit) der Inputdatei sowie die Qualität der Georeferenzdatei (Aktualität, Vollständigkeit, Korrektheit).
• Die Umkehrung, dass also aus [...] stets [...] folgt, bezeichnet man als Korrektheit (auch semantische Korrektheit) eines formalen Systems.