Invariant (computer science)
http://dbpedia.org/resource/Invariant_(computer_science) an entity of type: Ability105616246
Invariant je podmínka v algoritmu, která musí být splněna po celou dobu běhu programu. Invariant cyklu je mezilehlá podmínka v algoritmu, která musí být splněna před vykonáním a po vykonání každého průchodu cyklem.
rdf:langString
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 sogenannter Assertions (Zusicherungen) kann man dieses Konzept implementieren, sofern es die verwendete Programmiersprache oder API unterstützt.
rdf:langString
En la informática se conoce como invariante a una condición que se sigue cumpliendo después de la ejecución de determinadas instrucciones. Se cumple tanto antes como después de estas instrucciones, permaneciendo sin variación, por ello se denomina invariante. Las invariantes se pueden utilizar para demostrar el buen funcionamiento de algoritmos y cumplen con un papel importante en el diseño por contrato. En estos casos se describen las precondiciones, postcondiciones e invariantes para un método de una interfaz. Este concepto se puede implementar con la ayuda de aserciones, siempre y cuando el lenguaje de programación o la API los soporte.
rdf:langString
不変条件（英: invariant）とは、コンピュータプログラムの理論における用語で、ある処理の間、その真理値が真のまま変化しない述語 (predicate) であり、その処理シーケンスに対して不変であるという。
rdf:langString
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, en formele methoden voor het bepalen van de correctheid van een computerprogramma. Programmeurs maken vaak gebruik van asserties om de invarianten expliciet te vermelden.
rdf:langString
在计算机科学中，不变条件是指，在程序执行过程或部分过程中，可始终被假定成立的条件。比如，循环不变条件是指在循环开始和结束后始终成立的条件。
rdf:langString
In informatica, un predicato è detto invariante per una sequenza di operazioni quando il predicato risulta vero prima e dopo dell'esecuzione della sequenza. Sebbene i programmi per computer sono principalmente specificati in termini di cosa cambia, è ugualmente importante sapere o specificare le invarianti del programma. La teoria di ottimizzazione dei compilatori, la metodologia di programmazione per contratto e i metodi formali per determinare la correttezza di un programma tengono conto delle invarianti.
rdf:langString
В програмуванні, інваріант — це умова, що не змінюється, або не повинна змінюватись коли система працює правильно. Інваріантом називають логічний вираз, що є істинним після кожного проходу (після виконання фіксованого оператора) і перед початком виконання циклу, який залежить від змінних, які в свою чергу змінюються в тілі циклу. Інваріанти використовуються в теорії верифікації програм для доказу правильності виконання циклу. Також інваріанти використовують при проектуванні циклічних алгоритмів.
rdf:langString
rdf:langString
Invariant (informatika)
rdf:langString
Invariante (Informatik)
rdf:langString
Invariante (informática)
rdf:langString
Invariante (informatica)
rdf:langString
Invariant (computer science)
rdf:langString
不変条件
rdf:langString
Invariant (informatica)
rdf:langString
Інваріант (програмування)
rdf:langString
不变条件
xsd:integer
1126643
xsd:integer
866488828
rdf:langString
Invariant je podmínka v algoritmu, která musí být splněna po celou dobu běhu programu. Invariant cyklu je mezilehlá podmínka v algoritmu, která musí být splněna před vykonáním a po vykonání každého průchodu cyklem.
rdf:langString
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 sogenannter Assertions (Zusicherungen) kann man dieses Konzept implementieren, sofern es die verwendete Programmiersprache oder API unterstützt.
rdf:langString
En la informática se conoce como invariante a una condición que se sigue cumpliendo después de la ejecución de determinadas instrucciones. Se cumple tanto antes como después de estas instrucciones, permaneciendo sin variación, por ello se denomina invariante. Las invariantes se pueden utilizar para demostrar el buen funcionamiento de algoritmos y cumplen con un papel importante en el diseño por contrato. En estos casos se describen las precondiciones, postcondiciones e invariantes para un método de una interfaz. Este concepto se puede implementar con la ayuda de aserciones, siempre y cuando el lenguaje de programación o la API los soporte.
rdf:langString
不変条件（英: invariant）とは、コンピュータプログラムの理論における用語で、ある処理の間、その真理値が真のまま変化しない述語 (predicate) であり、その処理シーケンスに対して不変であるという。
rdf:langString
In informatica, un predicato è detto invariante per una sequenza di operazioni quando il predicato risulta vero prima e dopo dell'esecuzione della sequenza. Sebbene i programmi per computer sono principalmente specificati in termini di cosa cambia, è ugualmente importante sapere o specificare le invarianti del programma. La teoria di ottimizzazione dei compilatori, la metodologia di programmazione per contratto e i metodi formali per determinare la correttezza di un programma tengono conto delle invarianti. I programmatori spesso fanno uso di asserzioni nel loro codice per rendere espliciti gli invarianti.Alcuni linguaggi ad oggetti hanno una sintassi speciale per specificare le invarianti di classe.
rdf:langString
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, en formele methoden voor het bepalen van de correctheid van een computerprogramma. Programmeurs maken vaak gebruik van asserties om de invarianten expliciet te vermelden.
rdf:langString
В програмуванні, інваріант — це умова, що не змінюється, або не повинна змінюватись коли система працює правильно. Інваріантом називають логічний вираз, що є істинним після кожного проходу (після виконання фіксованого оператора) і перед початком виконання циклу, який залежить від змінних, які в свою чергу змінюються в тілі циклу. Інваріанти використовуються в теорії верифікації програм для доказу правильності виконання циклу. Також інваріанти використовують при проектуванні циклічних алгоритмів. Як приклад, можна навести код комп'ютерної програми що повторно обробляє деякі дані. Часто трапляється так, що деякі дані можуть змінюватись, а деякі повинні не змінюватись. У комп'ютерних науках, такі технології як , та формальні методи приділяють багато уваги до інваріантів у програмах.
rdf:langString
在计算机科学中，不变条件是指，在程序执行过程或部分过程中，可始终被假定成立的条件。比如，循环不变条件是指在循环开始和结束后始终成立的条件。
xsd:nonNegativeInteger
166