Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2016, № 2-3 за темою "Теоретичні та методологічні основи програмування"

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2016, № 2-3 за темою "Теоретичні та методологічні основи програмування"

Сортувати за: Порядок: Результатів:

  • Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python 
    Новокшонов, А.К. (Проблеми програмування, 2016)
    У даній роботі представлені результати обчислювального експерименту, метою якого є уточнення реальної швидкодії арифметич-них алгоритмів з використанням арифметики довільної точності при реалізації на мовах програмування ...
  • Внешние множественные операции табличной алгебры бесконечных таблиц 
    Глушко, И.М. (Проблеми програмування, 2016)
    Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры ...
  • Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных 
    Резниченко, В.А.; Чистякова, И.С. (Проблеми програмування, 2016)
    Работа является логическим продолжением ранее опубликованного исследования, посвященного созданию способов манипулирования данными. На основе созданной ранее бинарной реляционной структуры данных, осуществляется отображение ...
  • Композиційно-номінативні логіки безкванторних рівнів 
    Шкільняк, С.С.; Волковицький, Д.Б. (Проблеми програмування, 2016)
    Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої ...
  • Конструктивно-продукционная модель графового представления текста 
    Шинкаренко, В.И.; Куропятник, Е.С. (Проблеми програмування, 2016)
    В статье рассмотрена графовая модель текста, позволяющая ускорить обработку информации. Данная модель позволяет выявлять одинаковые фрагменты в документах с изменением порядка следования предложений и других частей. ...
  • Метод извлечения логики поведения из промышленного программного кода на языке Кобол 
    Губа, А.А.; Колчин, А.В.; Потиенко, С.В. (Проблеми програмування, 2016)
    Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка ...
  • О выделении макроопераций из вычислительных процессов сортировки массивов данных 
    Паулин, О.Н.; Комлевая, Н.О.; Марулин, С.Ю. (Проблеми програмування, 2016)
    Розглядаються обчислювальні процеси (ОП) як простих, так і ефективних сортувань. Для наочності ОП представляються схемами алгоритмів. У кожному процесі виділяються макрооперації (МО), які є функціонально закінченими ...
  • Синтез многоуровневых структур со многими выходами 
    Опанасенко, В.Н.; Крывый, С.Л. (Проблеми програмування, 2016)
    В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах ...
  • Чисті першопорядкові логіки квазіарних предикатів 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис