Будинки Програмне забезпечення Що таке інваріант? - визначення з техопедії

Що таке інваріант? - визначення з техопедії

Зміст:

Anonim

Визначення - Що означає Інваріант?

Інваріант - це значення або умова, яке, як очікується, буде послідовним під час виконання процесу. Інваріанти корисні при тестуванні результатів алгоритмів та цілісності комп'ютерних програм. Їх передбачуваність може спростити процес оцінки обгрунтованості логічних тверджень, а інваріанти можуть розглядатися як точки відліку в оточуючому контексті.

Техопедія пояснює Інваріант

Як повідомляється, найбільш ранні опубліковані спостереження над інваріантними явищами існують у широко впливовому тексті Карла Фрідріха Гаусса з теорії чисел кінця XVIII ст., «Disquititiones Arithmeticae». Однак інновація повністю сформованої інваріантної теорії часто акредитована Джорджу Булу, який писав про це для Кембриджського математичного журналу на початку 1840-х років. Інші видатні дослідники, які розширили цю тему, включають Отто Гессе та Артура Кейлі (обидва з них є європейськими математиками ХІХ століття).

Що таке інваріант? - визначення з техопедії