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

Бази даних


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

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

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


Знайти схожі
2.


    Дорошенко, А. Ю.
    Формальні методи автоматизації проектування паралельних програм [Text] / А. Ю. Дорошенко, О. А. Яценко // Доповіді Національної академії наук України. - 2020. - № 6. - С. 15-20. - текст ст. англ. мов. - Бібліогр. в кінці ст.
Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм
Кл.слова (ненормовані):
Алгебра Глушкова -- Специфікація -- Алгоритм -- Природно-лінгвістичне подання
Анотація: Розроблені засоби використовують мову, яка грунтується на системах алгоритмічних алгебр Глушкова і орієнтоване на високорівневе та природно-лінгвістичне подання алгоритмів, а також застосовують техніку переписувальних правил для трансформації програм.


Дод.точки доступу:
Яценко, О. А.

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