В този план, има и други приложения, които виждате. Инвариантата.
Инвариантна в програмирането се нарича логически израз. вярно след всеки цикъл на коридора на тялото (след фиксирания оператор) и преди започване на цикъл, в зависимост от променливи, които се променят в тялото на цикъла. [1]
Invariants, използвани в теорията на проверка програма, за да докажат верността на изпълнението на цикъла. Редът на операцията на доказателства цикъл с помощта на инвариант е както следва:
- Доказано е, че инвариантната експресията е вярно преди цикъла.
- Доказано е, че експресията инвариантна запазва своята истина след тялото на цикъла; по този начин, чрез индукция, е доказано, че неизменна, ще се извършва след завършване на цикъла.
- Доказано е, че инвариантата истината отвъд променливите на цикъл ще бъде точно стойността, която искате да получите (това се определя от елементарни израз на непроменливи и известни крайните стойности на променливите, на която състоянието на завършване на цикъла).
- Това доказва, (възможно - без използването на инварианти), че завършването на цикъла, т.е. условието за прекратяване рано или късно ще се извършва.
- Истината на твърденията, се оказаха в предишните етапи, ясно показва, че примката се изпълнява за определено време и да даде желания резултат.
инварианти се използват и в проектирането и оптимизацията на циклични алгоритми. Например, за да се уверите, че оптимизиран цикъл е вярна, е достатъчно да се докаже, че неизменна линия не е счупен, а условието е постижимо цикъл е завършен.
инвариант понятие се използва в обектно-ориентираното програмиране да се позова на последователна състояние на обекта. Разбираемо е, че обаждането на всеки метод оставя на обекта в състояние инвариант.
бележки
Вижте това, което "инвариант (програмиране)" в други речници:
Инвариантна - или инвариантността на срока, за нещо, да бъдат променяни. Специфичното значение на термина зависи от региона, в който се използва: инвариантни (математика) възел инварианти в топологията Инвариантна (физика) инвариант (програмиране) неизменяеми ... Уикипедия
Програмиране теория - математическа дисциплина, която изучава математическите. водочерпене програми, третирани като предмети, изразени в официален език, имат определена информация и логична. структурира и да се изпълнява на Automatic. устройства. P. т. ... ... енциклопедия по математика
Designer (програмиране) - Този термин, има и други приложения, вижте дизайнер .. В обектно-ориентираното програмиране клас конструктор (от английски език. Строителят, понякога нарязани ctor) специален блок от инструкции се извиква при създаването на обект. ... ... Wikipedia
DRAGON (алгоритмичен език) - Този термин, има и други приложения, вижте Dragon (пояснение) .. Пример за алгоритъма на алгоритъма на езика на схема Dragon Dragon DRAGON (Алгоритмичната приятелски руски език, който предоставя описателно) визуална ... ... Wikipedia
Covariant и contravariant - covariant и contravariant математически и физически концепция, която описва как с промяната на стойностите в превръщането на координатната система. Координатите на геометричен вектор измерени в някаква конкретна система за ... ... Wikipedia
Култура - (лат Cultura отглеждане, образование, поклонение на.) Вселената на изкуствени обекти (идеални и материални обекти; обективирано действия и нагласи), създадени от човечеството в хода на развитие на природата и притежават структурната ... ... Философски енциклопедия
Шаблон - Шаблон виж Уикипедия страница Уикипедия: Шаблони. Шаблон в областта плоча (шаблон, шаблон, и така нататък. Н.) с прорезите, контурът на която чертежи са направени или изделие или инструмент за измерване на размери. Моделът в ... ... Уикипедия
Свързани статии