Розглянуто сутність інтеграції теоретико-програмовних розділів дискретної математики; процесу навчання програмовим дисциплінам; безпаперової інтенсивної технології навчання та її інструментарію, що забезпечують підтримку учбового процесу.

Обобщаются и продолжаются работы по алгебраическому представлению алгоритмических систем, проводившиеся в продолжение нескольких десятилетий отечественными и зарубежными исследователями. Представлены накопленные знания и опыт преподавания алгоритмики.

Розглянуто інструментальні засоби проектування та синтезу класів алгоритмів та програм у середовищі Windows. До основи інструментарію покладено взаємопов'язаний опис багаторівневих проектів у графових, аналітичних та природно лінгвістичних формах.

Розглядається проблематика функціональної повноти для алгоритмічних мета-алгебр (МАД), що пов'язані з сімействами алгебр структурованих схем алгоритмів та програм. Встановлено критерій повноти для МАД без заслань логічних констант. Отримані результати можуть бути розповсюджені на ітеративні мета-алгебри, що пов'язані з іншими відомими методами програмування.

Неведено огляд досліджень щодо розвитку алгебричних основ алгоритміки, та результати, пов'язані з розв'язанням проблеми функціональної повноти для узагальнення алгебри Кліні. Одержані результати являють собою подальший розвиток досліджень алгоритмічних метаалгебр, асоційованих із відомими методами розробки алгоритмів і програм.

Доклад посвящен обзору исследований по развитию алгебраических основ алгоритмики. Приведены результаты, связанные с конструированием алгоритмических алгебр, адекватных различным методам проектирования и синтеза алгоритмов и программ, а также выбранным предметным областям. В частности, рассмотрены взаимосвязанные аспекты интеграции теоретико-программистских разделов дискретной математики, постановки программистского образования, разработки средств интенсивного взаимодействия с аудиторией при чтении лекций, докладов и т.п.

Приведены результаты научных исследований на основе параллельных вычислений и объектно-ориентированного программирования в контексте их алгебраического толкования. Освещена прикладная теория алгоритмов - алгоритмика, являющаяся новым витком в развитии компьютерной науки, восходящим от фундаментальных работ В.М.Глушкова. Осуществлено построение алгебраического аппарата для трактовки его в терминах известных формализмов, предназначенных для описания алгоритмических процессов с помощью структурных и неструктурных схем - надъязыковых моделей классов алгоритмов и программ. Изложены алгоритмические средства для описания высокопроизводительных параллельных вычислений и объектно-ориентированного программирования в мультипроцессорных и распределенных системах. Рассмотрены архитектуры параллельных вычислительных систем, виды и уровни параллельной обработки в них, методы организации и синхронизации параллельных вычислений.

Представлена возможность интеграции в рамках объектно-ориентированных технологий концептуального моделировани, а также автоматизации проектирования и программирования на основе логико-алгебраической формализации. Обоснована необходимость различия понятий типа и класса, а также работы с условиями принадлежности объекта типу. Показана возможность использования аппарата алгоритмических алгебр для формализации концепций объектно-ориентированных технологий. Описаны требования к логическим формализмам автоматизации программирования.

Висвітлено питання теоретико-автоматних та алгебричних досліджень, що йдуть від фундаментальних робіт В. М. Глушкова, наведено ретроспективний огляд основних результатів, одержаних у даній області, а також установлені їх внутрішні взаємозв'язки та перспективні напрямки розвитку. Розглянуто алгебродинамічні моделі паралельної взаємодії послідовних програм та алгеброалгоритмічні специфікації, асоційовані з цими моделями. Висвітлено питання дискретних перетворювачів над внутрішньою пам'яттю та конвеєрні підрахунки, а також теорію клонів та інструментальні засоби синтезу рівнобіжних алгоритмів і програм.

Розглянуто теорію клонів - перспективний напрямок в алгебричній алгоритміці, що бере свій початок від фундаментальних результатів, одержаних В. М. Глушковим. Зазначено, що алгоритмічні алгебри Глушкова є прототипом низки алгебричних специфікацій, адекватних відомим парадигмам програмування, і утворюють важливий напрямок алгебричної алгоритміки, який інтенсивно розвивається. Сімейство однотипних алгебр, зокрема, алгебр алгоритмів, утворює клон. Зроблено огляд теорії граматичних та алгоритмічних клонів, а також прикладних алгебр, що відносяться до різних, у тому числі гуманітарних, предметних областей.

Обзор посвящен одному из перспективных направлений информатики, развиваемому в рамках украинской алгебро-кибернетической школы. Это направление восходит к методу многоуровневого структурного проектирования программ, созданному в отделе автоматизации программирования Института кибернетики им. В. М. Глушкова НАН Украины.

Зазначено, що алгебраїчна алгоритміка (АА) - актуальна область комп'ютерної науки, що інтенсивно розвивається. Наведено обгрунтування напряму досліджень з алгебри алгоритміки в межах АА. Окреслено загальну характеристику та перспективи розвитку алгебри алгоритміки та її інструментальних засобів.

Наведено результати одержані в межах інтеграції алгебри алгоритміки та сучасних об'єктно-орієнтованих засобів. Розглянуто засоби побудови сімейств алгоритмічних алгебр, асоційованих із сучасними методами розробки програм. Наведено огляд результатів з абстрактно-автоматних моделей керування. Запропоновано підхід до побудови баз алгоритмічних знань, що грунтується на апараті алгебри алгоритміки.

Розглянуто проблему трансформаційних перетворень та синтезу алгоритмів на рівні класів алгоритмів. Доведено зводимість низки неінтерпретованих схем сортування. Встановлено узагальнений результат про можливість виконання трансформації на рівні класів алгоритмів. Результати мають практичне значення та знайшли застосування у ході реалізації компоненти автоматизованого проектування у складі сервера застосувань SmartBase.

Освещены современные исследования средств проектирования алгоритмов и программ. Известный тезис Вирта: "алгоритмы + структуры данных = программы" распространен на современные исследования по методологии и технологии программирования. При этом особое внимание уделено тем из них, которые сопряжены с использованием алгебраического аппарата.

Індекс рубрикатора НБУВ: З970.2

Рубрики:

Обчислювальні системи (ОС)

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

Розглянуто апарат алгебри алгоритміки - перспективного напрямку української алгебро-кібернетичної школи у контексті створення сучасних інструментальних зособів трансформації та синтезу алгоритмів і програм у об'єктних середовищах.

Індекс рубрикатора НБУВ: З973-018.011

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Засобами алгебри алгоритміки встановлено зв'язок між відомими теоремами Геделя і Поста. Наведено аналіз підходу, що активно розвивається на Заході, до описання актуальних предметних областей відносно тріади: абстракція, біологія і екологія програмування.

Проведен сопоставительный анализ алгебры алгоритмики и аналогичных направлений - алгебраической алгоритмики и порождающего (ментального) программирования. Отражены общность и специфика проблематики функциональной и аксиоматической полноты. С позиций алгебры алгоритмики трактуются понятия: абстракции, биологии и экологии программистских знаний.