Теория программных инвариантов

Теория программных инвариантов — раздел дискретной математики, занимающийся поиском инвариантных соотношений в каждом состоянии программы с целью анализа, верификации и оптимизации программ.

История

• Арифметическими и алгебраическими вопросами, связанными с инвариантов теорией, занимались:
  • К. Якоби,
  • Ф. Эйзенштейн,
  • Ш. Эрмит.
• Инвариантов теория, как математическая дисциплина, сложилась к середине 19 века.
  • К этому времени понятия группы, инварианта и основные задачи инвариантов теории были строго сформулированы.
  • К этому же времени стало ясно, что многие факты классической и проективной геометрий — это выражение тождеств (сизигий) между инвариантами соответствующей группы преобразований.
• Первая работа по инвариантов теории — «Мемуар о гипердетерминантах» А. Кэли (1846).
• Все классические термины инвариантов теории: инвариант, ковариант, дискриминант, сизигия и т. д. — были введены Джеймсом Сильвестром.

Литература

• Шаблон:±. Лекции по дискретной математике. — Шаблон:Указание места в библиоссылке: БХВ-Петербург, 2004. — 624 с. — ISBN 5-94157-546-7.
• ИНВАРИАНТОВ ТЕОРИЯ, алгебраическая теория, изучающая многочлены или, более общо, рациональные функции, не изменяющиеся (или изменяющиеся определённым образом) при невырожденных линейных заменах переменных.

This article "Теория программных инвариантов" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Теория программных инвариантов. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

---

 Facebook Page

🐤 Twitter Follow us on Twitter !

Read or create/edit this page in another language

• Теория программных инвариантов in English