Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
          Львов, М. С.
    Метод доказательства инвариантности линейных неравенств для линейных циклов [Текст] / М. С. Львов
    // Кибернетика и системный анализ. – 2014. – Т. 50, № 4. – С. 180-185.

   Представлен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла.

  УДК 004.421.6


            


Є складовою частиною документа Кибернетика и системный анализ [Текст] : международный научно-теоретический журнал. – 2014. – Т. 50, № 4.



Теми документа






Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'