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

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

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

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

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

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

Пошук


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

Перегляд

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