Головна Спрощенний режим Опис
Авторизація
Прізвище
Пароль
 

Бази даних


Картотека аналітичного опису періодичних видань- результати пошуку

Вид пошуку
Генеральний каталог ЧОУНБ
Картотека аналітичного опису періодичних видань
Каталог журналів
Каталог газет
Буковина
Бібліотека П.В.Рихла
Бібліотека М.М.Фатова
Бібліотека О.М.Масана
Бібліотека О.С.Романця
Бібліотека Т.В.Покотило
Бібліотека В.І.Михайловсього
Шевченко Т. Г.
Хотинська бібліотека
Нотна бібліотека Й.М.Ельгісера
Бібліотека Д.М.Гнатюка
Бібліотека В.Д.Бялика
Бібліотека Т.П.Смолдиревої
Бібліотека І.Г.Чеховського
Бібліотека Я.Д.Кіршенблата
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Пошуковий запит: <.>K=Базис Гребнера<.>
Загальна кількість знайдених документів : 1
1.
519.65
М 171

    Максимец, А. Н.
    Поиск программных инвариантов в виде полиномов [Текст] / А. Н. Максимец // Доповіді Національної академії наук України. - 2013. - № 9. - С. 44-50. - Библиогр. в конце ст.
УДК
519.65
Рубрики: Математика--Обчислювальна математика і чисельний аналіз--Наближення та інтерполяція
   Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм
Кл.слова (ненормовані):
Базис Гребнера -- Алгебра данных -- Идеал
Анотація: Наведено рішення проблеми пошуку інваріантів програм у вигляді поліноміальних залежностей методом верхньої апроксимації. Розв'язано задачі про співвідношення і про перетин множин інваріантів з використанням базисів Грьобнера при умові невиродженості оператора присвоювання.


Знайти схожі
 
Стандартний
Розширений
Професійний
Розподілений
За словником
ДРНТІ-навігатор
УДК-навігатор
ББК-навігатор
Тематичний навігатор
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)