1
|
Коммутативные замыкания регулярных полугрупповых языков
Переклад на англійську:
|
Кибернетика.– 1973. – №2. – С.54-58
Springer. Cybernetics & System Analysis, 1973
|
-
|
2
|
О вычислении инвариантов программ, интерпретированных над областью целостности
Переклад на англійську:
|
Кибернетика.–1984. – №2.– С.23-28
Springer. Cybernetics & System Analysis, 1984
|
-
|
3
|
Об инвариантных неравенствах для состояний схем программ, интерпретированных над векторным пространством
Переклад на англійську:
|
Кибернетика. – 1985. – №2.– С.111-112
Springer. Cybernetics & System Analysis, 1985
|
-
|
4
|
Инвариантные соотношения в программах, определенных над полями.
|
Тези 4 всесоюзн. конф. “Применение методов мат. Логики”. Том ІІІ “Алгоритмика трудных задач”. – Таллинн, –1986. – С. 141-143
|
-
|
5
|
Инвариантные неравенства в программах, интерпретированных над упорядоченными полями.
Переклад на англійську:
|
Кибернетика. – 1986. – №5. – С.22-27
Springer. Cybernetics & System Analysis, 1986
|
-
|
6
|
Инварианты малых степеней в программах над полями данных.
|
Материалы 5 Всесоюзн. конф. “Проблемы совершенствования, синтеза, тестирования верификации и отладки программ”. – Рига, 1986. – С. 14-15
|
-
|
7
|
Вычисление инвариантных соотношений в программах над полями данных.
|
Тезисы диссертации РИО НК АН УССР, 1987. – 20 с.
|
-
|
8
|
Инвариантные равенства малых степеней в программах, определенных над полем.
|
Кибернетика. – 1988. –№1 . – С. 108-110
|
-
|
9
|
Поиск инвариантов в программах над полями данных
|
Тезисы Междун. конф. По алгебре. – Новосибирск. Изд-во НГУ. – 1989. Т.3. – С. 36
|
-
|
10
|
Оптимизация параметров и расчет технологических режимов получения структур полупроводниковых приборов
|
Депонировано ВИНИТИ № 01870040059.– 1990. – 80 с.
|
Кравцов Г.М.,
Плоткин Я.Д.,
Кравцова Л.В.,
Мима Л.С.,
Осипенко С.Б.
Всього 6 осіб
|
11
|
Discovery of invariant Equalities in Programs over Data fields
|
Applicable Algebra in Engineering, Communication and Computing. – 1993. – №4. – pp. 21-29
|
А.А.Летичевський
Всього 2 особи
|
12
|
Applied Computer Support of Mathematical Training
|
Proc. of Internal Work Shop in Computer Algebra Applications, Kiev. – 1993. – pp. 25-26
|
В.А.Волков, А.Б.Купрієнко
Всього 3 особи
|
13
|
AIST: Applied Computer Algebra System
|
Proc. of ICCTE’93. Kiev. – pp. 25-26
|
-
|
14
|
Electronic Table Shiffting According to Data
|
Proc. of ICCTE’93. Kiev. – pp. 153-155
|
А.В.Булат, В.Г.Марінченко
Всього 3 особи
|
15
|
AІST: Applіed computer algebra system for mathematіcal traіnіng
|
Proc. the Rhіne Workshop on Computer Algebra Applіcatіon. – Karlsruhe, (Germany), March 22–24, 1994. – P.67–77.
|
Kuprіenko A.B., Volkov V.A.
|
15
|
Tools for solving problems in the scope of algebraic programming
|
Lectures Notes in Computer Sciences. –№ 958. – 1995. – pp. 31-46
|
Ю.В.Капітонова
А.А.Летичевський
В.А.Волков
Всього 4 особи
|
16
|
Методи проєктування систем комп’ютерної підтримки математичної освіти
|
Математичні моделі і сучасні інформаційні технології: Зб. наук. пр. НАН України.- Київ, 1998 .- С.101-111
|
Співаковський О.В.
Всього 2 особи
|
17
|
Educational programming system, supporting visualization of an algorithm execution process
|
Proceedings of International conference “ Computer simulation in information or/and communication engineering”
Sofia 22-24 oct. 2005. p.154-157
|
A. Hrabovskyy,
D. Nahirnyak.
Всього 3 особи
|
18
|
Concept, functional requirements and methods of realization of school system of computer algebra (TerM system)
|
Proceedings of International conference “ Computer simulation in information or/and communication engineering”
Sofia 22-24 oct. 2005. p.159-162
|
V.Peschanenko
Всього 2 особи
|
19
|
Functional requirements, architecture and prototype of systems of academic subject studying support
|
Proceedings of International conference “ Computer simulation in information or/and communication engineering”
Sofia 22-24 oct. 2005.-p 149-153
|
A. Spivakovskyy, V.Kruglik
Всього 3 особи
|
20
|
Основные принципы построения педагогических программных средств поддержки практических занятий
|
Information Technologies in Education for All Сборник трудов Первой Международной конференції «Новые информационные технологии в образовании для всех» Киев. 530 с 343-356
|
-
|
21
|
Принципы проєктирования логического вывода в пользовательском интерфейсе школьной системы компьютерной алгебры (ТерМ)
|
«Теорпетичні та прикладні аспекти побудови програмних систем» Тези доповідей міжнародної конференції TAAPSD’2006. 5-8 грудня 2006 р. Київ. с.19-23
|
-
|
22
|
Основные принципы построения педагогических программных средств поддержки практических занятий
|
Управляющие системы и машины.- 2006.-N6. c. 70-75
|
-
|
23
|
About one algorithm of program polynomial invariants generation
|
M. Giese, T. Jebelean. Proc. Workshop on Invariant Generation, WING 2007. Technical report no. 07-07 in RISC Report Series, University of Linz, Austria. 06 2007. Workshop Proceedings. pp.85-99 (electronic)
|
-
|
24
|
Поддержка пошагового решения задачи в математических системах учебного назначения
|
Information Technologies in Education for All Сборник трудов Первой Международной конференції «Новые информационные технологии в образовании для всех» Киев. 21-23 ноября 2007 г. 426 с с.195-203
|
-
|
25
|
проєктирование логического вывода как пошагового решения задач в математических системах учебного назначения
|
Управляющие системы и машины.- 2008.-N1. c. 25-32
|
-
|
26
|
Синтез інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр
|
Вісник Харьківського національного университету. Серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» №847, 2009, с.221-238.
|
-
|
27
|
Об одном подходе к реализации алгебраических вычислений: вычисления в алгебре высказываний
|
Вістник Харьківського національного университету. Серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» 2009.-№848.-С.211-226
|
-
|
28
|
Концепция информационной поддержки учебного процесса и ее реализация в педагогических программных средах.
|
Управляющие Системы и Машины 2009 N 2. — С. 52-57, 72.
|
-
|
29
|
Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр
|
Зб. наук. праць Харківського університету Повітряних Сил.-Харків: ХУПС, 2009.- Вип.3 (21).-С.127-137.
|
|
30
|
Метод спадкування реалізації алгебраїчних обчислень в математичних системах навчального призначення
|
Системи управління, навігації та зв’язку. - К: ЦНДІ НіУ, 2009.- Вип.3 (11).-С.120-130.
|
-
|
31
|
Метод морфізмів реалізації алгебраїчних обчислень в математичних системах навчального призначення
|
Системи обробки інформації.- Харків: ХУПС, 2009.-Вип.6(80).- С.183-190.
|
-
|
32
|
Algebraic Approach to Problem Solving of Linear Inequalities System
|
Ukrainian Mathematical Congress. 7-th International Algebraic Conference. 18-23 August, 2009 Abstracts of Talks. Kharkov-2009. рр.. 90-91.
|
-
|
33
|
Реалізація обчислень в алгебрах числових множин в математичних системах навчального призначення
|
Управляющие системы и машины. № 2.-2010. - С. 39 - 46.
|
-
|
34
|
Інтегроване програмне середовище вивчення курсу аналітичної геометрії для ВНЗ. Концепція, архітектура, функціональність.
|
Наукові праці національного університету харчових технологій.-№ 30.- Київ: НУХТ, 2010. - С. 106 - 109.
|
-
|
35
|
Математичні моделі та методи підтримки ходу розв’язання навчальних задач з аналітичної геометрії
|
Искусственный интеллект. // Вид Донецького інст. штучного інтелекту.- 2010. - № 1. С.86-92.
|
|
36
|
Про реалізацію задачі дослідження функції дійсного аргументу в математичних системах навчального призначення.
|
Системи управління, навігації та зв’язку. - К: ЦНДІ НіУ, 2009.- Вип.4 (12) с.98-102
|
-
|
37
|
Эффективный алгоритм вычисления дисперсионной функции для 4-х волнового нелинейного резонанса
|
Збірник наукових праць НАУ "Проблеми інформатизаціїї та управління". 4(28)/2009 с. 99-106
|
-
|
38
|
Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста
|
Управляющие системы и машины.- 2009.-N6. с. 71-78
|
-
|
39
|
Алгебраический подход к задаче решения систем линейных неравенств
Переклад на англійську:
|
Кибернетика и системный анализ, №2, 2010.- С.175-188.
Springer. Cybernetics and Systems Analysis.- Volume 46, Number 2.-2010. рр. 326-338.
|
-
|
40
|
Распределенные программные среды учебного назначения. Подсистема управления учебным процессом.
|
Управляющие системы и машины.- 2010.-№1. с. 66 - 71
|
-
|
41
|
Тригонометричні обчислення в математичних системах навчального призначення
|
Зб. наук. праць Харківського університету Повітряних Сил.-Харків: ХУПС, 2010.- Вип.4 (22).-С.132-136.
|
-
|
42
|
Методы генерации учебных примеров программ с нетривиальными полиномиальными инвариантами
|
Восточно-Европейский журнал передовых технологий. Математика и кибернетика – фундаментальные и прикладные аспекты. 2010 - № 2/4 (44).- с. 28-30.
|
-
|
43.
|
Полиномиальные инварианты линейных циклов
Переклад на англійську:
|
Кибернетика и системный анализ, № 4, 2010. С. 159–168.
Springer. Cybernetics and Systems Analysis.- Volume 46, Number 4.-2010.
|
-
|