In computer science, a predicate is called an invariant to a sequence of operations if the predicate always evaluates at the end of the sequence to the same value than before starting the sequence.

PropertyValue
dbpprop:abstract
  • In computer science, a predicate is called an invariant to a sequence of operations if the predicate always evaluates at the end of the sequence to the same value than before starting the sequence.
  • Eine Invariante ist eine Aussage, die über die Ausführung bestimmter Programmbefehle hinweg gilt. Sie ist also vor und nach diesen Befehlen wahr, sie ist demnach nicht veränderlich, also invariant. Invarianten können zum Beweis der Korrektheit von Algorithmen verwendet werden und spielen eine große Rolle im Design By Contract. Dabei werden für eine Methode einer Schnittstelle deren Vor- und Nachbedingungen und alle Invarianten in ihrem Ablauf beschrieben. Mittels so genannter Assertions (Zusicherungen) kann man dieses Konzept implementieren, sofern es die verwendete Programmiersprache oder API unterstützt. Siehe auch: Schleifeninvariante
  • 計算機科学における不変条件（英 invariant）とは、ある処理の間、その真理値が真のまま変化しない述語 (predicate) であり、その処理シーケンスに対して不変であるという。
  • In de informatica is een invariant een predicaat dat dezelfde waarheidswaarde behoudt tijdens het uitvoeren van een stuk code. Het bepalen van invarianten van (gedeelten van) broncode wordt veel gedaan wanneer men wil redeneren over de werking en de correctheid van een computerprogramma. Invarianten worden veel gebruikt bij compileroptimalisatie, Design by Contract en formele methoden voor het bepalen van de correctheid van een computerprogramma. Programmeurs maken vaak gebruik van asserties om de invarianten expliciet te vermelden.
  • Инвариа́нт — термин, используемый в математике и физике, а также в программировании, обозначает нечто неизменяемое. Кроме того, инварианты используются в олимпиадных задачах по математике для школьников. Абстрактная структурная единица языка - фонема, морфема, лексема и т. п. - в отвлечении от её конкретных реализаций (в лингвистике).
  • Інваріа́нт — термін, що використовується в математиці та фізіці, а також в програмуванні, означає щось незмінне. Інваріант – число, вираз тощо, які пов'язані з деяким математичним об'єктом і не змінюються при певних перетвореннях. Наприклад, віддаль між двома точками площини є інваріантом при перенесенні або повертанні системи координат; площа будь-якої фігури, кут між двома прямими – інваріанти руху. Похідний термін - інваріантність - властивість системи не змінювати своїх характеристик при перетвореннях.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • In computer science, a predicate is called an invariant to a sequence of operations if the predicate always evaluates at the end of the sequence to the same value than before starting the sequence.
  • Eine Invariante ist eine Aussage, die über die Ausführung bestimmter Programmbefehle hinweg gilt. Sie ist also vor und nach diesen Befehlen wahr, sie ist demnach nicht veränderlich, also invariant. Invarianten können zum Beweis der Korrektheit von Algorithmen verwendet werden und spielen eine große Rolle im Design By Contract. Dabei werden für eine Methode einer Schnittstelle deren Vor- und Nachbedingungen und alle Invarianten in ihrem Ablauf beschrieben.
  • 計算機科学における不変条件（英 invariant）とは、ある処理の間、その真理値が真のまま変化しない述語 (predicate) であり、その処理シーケンスに対して不変であるという。
  • In de informatica is een invariant een predicaat dat dezelfde waarheidswaarde behoudt tijdens het uitvoeren van een stuk code. Het bepalen van invarianten van (gedeelten van) broncode wordt veel gedaan wanneer men wil redeneren over de werking en de correctheid van een computerprogramma. Invarianten worden veel gebruikt bij compileroptimalisatie, Design by Contract en formele methoden voor het bepalen van de correctheid van een computerprogramma.
  • Инвариа́нт — термин, используемый в математике и физике, а также в программировании, обозначает нечто неизменяемое. Кроме того, инварианты используются в олимпиадных задачах по математике для школьников.
  • Інваріа́нт — термін, що використовується в математиці та фізіці, а також в програмуванні, означає щось незмінне. Інваріант – число, вираз тощо, які пов'язані з деяким математичним об'єктом і не змінюються при певних перетвореннях.
rdfs:label
  • Invariant (computer science)
  • Invariante (Informatik)
  • 不変条件
  • Invariant (informatica)
  • Инвариант
  • Інваріант
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of