Buchumschlag

Київська школа програмування В.М. Глушкова

Статтю присвячено 90-річчю від дня народження академіка НАН України і АН СРСР Віктора Михайловича Глушкова, його внеску в становлення та розвиток Київської школи програмування....

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2013
1. Verfasser:	Андон, П.І.
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2013
Schlagworte:	Теоретичні та методологічні основи програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/86673
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Київська школа програмування В.М. Глушкова / П.І. Андон // Проблеми програмування. — 2013. — № 3. — С. 3-12. — Бібліогр.: 21 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Еволюційне програмування
von: Глибовець, М.М., et al.
Veröffentlicht: (2013)

Компонентне програмування. Теорія і реалізація
von: Лавріщева, К.М.
Veröffentlicht: (2012)

Програмування в обмеженнях у системі інсерційного моделювання
von: Летичевський, О.А., et al.
Veröffentlicht: (2011)

Генерувальне програмування програмних систем і їх сімейств
von: Лавріщева, К.М.
Veröffentlicht: (2009)

Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
von: Новокшонов, А.К.
Veröffentlicht: (2016)

О термальном аспекте автоматизации программирования
von: Приходько, П.П.
Veröffentlicht: (2006)

Аспекты моделирования в системе Гомеопат
von: Провотар, А.А., et al.
Veröffentlicht: (2012)

Відношення логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2016)

Формалізований метод проектування застосувань в технології GPGPU
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)

Відношення логічного наслідку в композиційно-номінативних логіках
von: Шкільняк, С.С.
Veröffentlicht: (2010)

Особливості практичного застосування показників обчислювальної складності алгоритмів
von: Шинкаренко, В.І.
Veröffentlicht: (2008)

Про локальну коректність формальних визначень
von: Провотар, О.І.
Veröffentlicht: (2006)

Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2011)

К-значная логика в расширенной алгебре алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2008)

Согласованное описание алгоритмов в рамках алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
von: Панченко, Т.В.
Veröffentlicht: (2008)

Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
von: Летичевський, О.О., et al.
Veröffentlicht: (2020)

Функции и методы поддержки современных парадигм метода дельфи
von: Ильина, Е.П.
Veröffentlicht: (2009)

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
von: Крывый, С.Л., et al.
Veröffentlicht: (2008)

Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)

О методе проектирования абстрактного типа данных в алгебре алгоритмики
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)

Описание списков и множеств в метаязыке нормальных форм знаний
von: Кургаев, А.Ф.
Veröffentlicht: (2020)

Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2015)

Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
von: Шкільняк, О.С.
Veröffentlicht: (2019)

Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)

Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2017)

Структурний підхід до проблеми відтворення граматик
von: Ільман, В.М., et al.
Veröffentlicht: (2007)

Про нові методи опису невизначених величин
von: Провотар, О.І., et al.
Veröffentlicht: (2012)

Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
von: Ларін, В.О., et al.
Veröffentlicht: (2021)

Елементи конкретної алгоритміки: обчислюваність і розв’язність
von: Провотар, О.І., et al.
Veröffentlicht: (2020)

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
von: Львов, М.С.
Veröffentlicht: (2015)

Аналіз систем нечіткої логіки для апроксимації нечітких функцій
von: Щегельський, Т.С., et al.
Veröffentlicht: (2012)

Композиційно-номінативні логіки з операторами нерухомої точки
von: Нікітченко, М.С., et al.
Veröffentlicht: (2008)

Возведение в степень n и вычисление корня степени n больших чисел на основе рекуррентных соотношений
von: Терещенко, А.Н.
Veröffentlicht: (2015)

Концептуальні моделі розподілених компонентних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)

Спектр секвенційних числень першопорядкових композиційно-номінативних логік
von: Шкільняк, С.С.
Veröffentlicht: (2013)

Побудова секвенційних числень мультимодальних композиційно-номінативних логік
von: Шкільняк, О.С.
Veröffentlicht: (2013)

Стабільність та монотонність програм щодо структурних трансформацій даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)

Композиційно-номінативні логіки з непрямим іменуванням
von: Россада, Т.В., et al.
Veröffentlicht: (2012)