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

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

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

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

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

  • Алгебраическое проектирование программ: алгоритмы, объекты, инструменты 
    Дорошенко, А.Е.; Захария, Л.М.; Цейтлин, Г.Е. (2007)
    Освещены современные исследования средств проектирования алгоритмов и программ. Известный тезис Вирта: "алгоритмы + структуры данных = программы" распространен на современные исследования по методологии и технологии ...
  • Інтенсіонально-орієнтований підхід до побудови логічних систем 
    Нікітченко, М.С.; Шкільняк, С.С. (2007)
    Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки ...
  • Расширенная алгебра алгоритмов 
    Акуловский, В.Г. (2007)
    Предложен формальный аппарат (расширенная система алгоритмических алгебр), ориентированный на детальную разработку алгоритмов с учетом особенностей языка, на котором будет реализован алгоритм, с использованием трехзначной ...
  • Структурний підхід до проблеми відтворення граматик 
    Ільман, В.М.; Шинкаренко, В.І. (2007)
    Для опису формальних граматик застосовано структурний підхід. Наведено деякі властивості граматичних структур та їх підструктур. Розглянуто проблему відтворення формально граматичних структур за мовними підструктурами.

Пошук


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

Перегляд

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