Львов Михайло Сергійович — Херсонський державний університет

I. Додаток до картки НПП

Картка містить досягнення за пунктами постанови КМУ. Заповнені пункти виділено — натисніть, щоб розкрити.

3 16 17 18

1 наявність не менше п’яти публікацій у періодичних виданнях, що включені до переліку фахових видань України, до наукометричних баз, рекомендованих МОН, зокрема Scopus або Web of Science Core Collection

https://www.scopus.com/authid/detail.uri?authorId=35772818200
1. Lvov, M., Kravtsov, H., Shishko, L., Hniedkova, O., Chernenko, I., Kozlovsky, E. About Electronic Textbook “Mathematical Tasks Programming. First Steps” Communications in Computer and Information Science, vol 1635. (2022) Springer, Cham. https://doi.org/10.1007/978-3-031-14841-5_22
2. M. Lvov Disjunctive Bases of Applied Algebras of Sets and Their Use in Problems of Combinatorial Geometry Cybernetics and System Analysis 2022, Vol 58, № 5 p.149-162 ISSN 1019-5262.
3. Michael Lvov, Hennadiy Kravtsov, Ludmila Shishko, Olha Hniedkova, Irina Chernenko, Evgen Kozlovsky About Electronic Textbook “Mathematical Tasks Programming. First Steps” CEUR-WS Proceeding,2021, vol-XXX, http://icteri.org/icteri-2021/proceedings/volume-2/202110542.pdf
4. Lvov, M., Tarasich, Y. The Replenishment Algorithm in Algebras of Sets Cybern Syst Anal 57, 820–826 (2021). https://doi.org/10.1007/s10559-021-00407-0
5. Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovsky Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics CEUR Workshop Proceedingsfor Educational Purposes Vol-23932019, Pages 41-52 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops
6. Communications in Computer and Information Science, vol 1175. Springer, pp 186-209, Cham, (2020). Online https://link.springer.com/chapter/10.1007/978-3-030-39459-2_9

2 наявність одного патенті на винахід або п’яти деклараційних патентів на винахід чи корисну модель, включаючи секретні, або наявність не менше п’яти свідоцтв про реєстрацію авторського права на твір

4 наявність виданих навчально-методичних посібників/ посібників для самостійної роботи здобувачів вищої освіти та дистанційного навчання, електронних курсів на освітніх платформах ліцензіатів, конспектів лекцій/практикумів/методичних вказівок/ рекомендацій/робочих програм,інших друкованих навчально-методичних праць загальною кількістю три найменування

1. Програмування (Python) конспект лекцій
2. Програмування (С++) конспект лекцій
3. Алгоритми та структури даних Конспект лекцій, методичні рекоменрдпації до практичних занять
4. Теорія алгоритмів та структур Конспект лекцій
5. Основи комп’ютерної алгебри Посібник «Основи комп’ютерної алгебри та алгебраїчних обчислень»
6. Методи проєктування програмних систем навчального та наукового призначення Конспект лекції
7. Методи проєктування інформаційних систем Конспект лекцій
Розміщено у KSU Online

5 захист дисертації на здобуття наукового ступеня

6 наукове керівництво (консультування) здобувача, який одержав документ про присудження наукового ступеня (прізвище, ім’я, по батькові дисертанта, здобутий науковий ступінь, спеціальність, назва дисертації, рік захисту, серія, номер, дата, ким виданий диплом)

Тарасіч Юлія - доктор філософії зі спеціальності 01-05-03 Програмне забезпечення обчислювальних систем та машин

7 участь в атестації наукових кадрів як офіційного опонента або члена постійної спеціалізованої вченої ради, або члена не менше трьох разових спеціалізованих вчених рад

член спеціалізованої вченої ради з захисту кандидатських дисертацій з педагогічних спеціальностей
Разова спеціалізована вчена рада ДФ 67.051.003 з галузі знань 012 Інформаційні технології зі спеціальності 121 Інженерія програмного забезпечення. Херсонський державний університет https://www.kspu.edu/NewScienceActivity/SpecializedAcademicCouncils/Onetimescientificcouncils/spezrada3.aspx
Спеціалізована вчена рада 13.00.02 Херсонський державний університет
Спеціалізована вчена рада 13.00.04 Херсонський державний університет
Спеціалізована вчена рада К 67.051.02 Херсонський державний університет http://www.kspu.edu/NewScienceActivity/SpecializedAcademicCouncils/Specvchenarada.aspx

8 виконання функцій (повноважень, обов’язків) наукового керівника або відповідального виконавця наукової теми (проекту), або головного редактора/члена редакційної колегії/експерта (рецензента) наукового видання, включеного до переліку наукових фахових видань України, або іноземного наукового видання, що індексується в бібліографічних базах

Науковий керівник 5 наукових тем та проєктів
Член редколегії Збірник наукових праць "Інформаційні технології в освіті" (категорія Б) Херсонський державний університет,
Інститут інформаційних технологій і засобів навчання http://ite.kspu.edu/index.php/ite

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

10 участь у міжнародних наукових та/або освітніх проєктах, залучення до міжнародної експертизи, наявність звання «суддя міжнародної категорії»

11 наукове консультування підприємств, установ, організацій не менше трьох років, що здійснювалося на підставі договору із закладом вищої освіти (науковою установою)

12 наявність апробаційних та/або науково-популярних, та/ або консультаційних (дорадчих), та/або науково-експертних публікацій з наукової або професійної тематики загальною кількістю не менше п’яти публікацій

1. Lvov, M., Kravtsov, H., Shishko, L., Hniedkova, O., Chernenko, I., Kozlovsky, E. About Electronic Textbook “Mathematical Tasks Programming. First Steps” Communications in Computer and Information Science, vol 1635. (2022) Springer, Cham. https://doi.org/10.1007/978-3-031-14841-5_22
2. M. Lvov Disjunctive Bases of Applied Algebras of Sets and Their Use in Problems of Combinatorial Geometry Cybernetics and System Analysis 2022, Vol 58, № 5 p.149-162 ISSN 1019-5262.
3. Michael Lvov, Hennadiy Kravtsov, Ludmila Shishko, Olha Hniedkova, Irina Chernenko, Evgen Kozlovsky About Electronic Textbook “Mathematical Tasks Programming. First Steps” CEUR-WS Proceeding,2021, vol-XXX, http://icteri.org/icteri-2021/proceedings/volume-2/202110542.pdf
4. Lvov, M., Tarasich, Y. The Replenishment Algorithm in Algebras of Sets Cybern Syst Anal 57, 820–826 (2021). https://doi.org/10.1007/s10559-021-00407-0
5. Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovsky Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics CEUR Workshop Proceedingsfor Educational Purposes Vol-23932019, Pages 41-52 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops
6. Lvov M., Kuzmenkov S., Kravtsov H. System for Testing Physics Knowledge In: Ermolayev V., Mallet F., Yakovyna V., Mayr H., Spivakovsky A. (eds) Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2019. Communications in Computer and Information Science, vol 1175. Springer, pp 186-209, Cham, (2020). Online https://link.springer.com/chapter/10.1007/978-3-030-39459-2_9

13 проведення навчальних занять із спеціальних дисциплін іноземною мовою (крім дисциплін мовної підготовки) в обсязі не менше 50 аудиторних годин на навчальний рік

14 керівництво студентом, який зайняв призове місце на I або ІІ етапі Всеукраїнської студентської олімпіади (Всеукраїнського конкурсу студентських наукових робіт), або робота у складі організаційного комітету/журі Всеукраїнської студентської олімпіади (Всеукраїнського конкурсу студентських наукових робіт), або керівництво постійно діючим студентським науковим гуртком/проблемною групою; керівництво студентом, який став призером або лауреатом Міжнародних, Всеукраїнських мистецьких конкурсів, фестивалів та проектів, робота у складі організаційного комітету або у складі журі міжнародних, всеукраїнських мистецьких конкурсів, інших культурно-мистецьких проектів (для забезпечення провадження освітньої діяльності на третьому (освітньо-творчому рівні); керівництво здобувачем, який став призером або лауреатом міжнародних мистецьких конкурсів, фестивалів, віднесених до Європейської або Всесвітньої (Світової) асоціації мистецьких конкурсів, фестивалів, робота у складі організаційного комітету або у складі журі зазначених мистецьких конкурсів, фестивалів); керівництво студентом, який брав участь в Олімпійських, Паралімпійських іграх, Всесвітній та Всеукраїнській Універсіаді, чемпіонаті світу, Європи, Європейських іграх, етапах Кубка світу та Європи, чемпіонаті України; виконання обов’язків тренера, помічника тренера національної збірної команди України з видів спорту; виконання обов’язків головного секретаря, головного судді, судді міжнародних та всеукраїнських змагань; керівництво спортивною делегацією; робота у складі організаційного комітету, суддівського корпусу

15 керівництво школярем, який зайняв призове місце III—IV етапу Всеукраїнських учнівських олімпіад з базових навчальних предметів, II—III етапу Всеукраїнських конкурсів-захистів науково-дослідницьких робіт учнів — членів Національного центру “Мала академія наук України”; участь у журі III—IV етапу учнівських олімпіад з базових навчальних предметів чи ІІ-ІІ етапу Всеукраїнських конкурсів-захистів науково-дослідницьких робіт учнів – членів Національного центра “Мала академія наук України” (крім третього (освітньо-наукового/освітньо-творчого) рівня )

19 діяльність за спеціальністю у формі участі у професійних та/або громадських об’єднаннях

20 досвід практичної роботи за спеціальністю (спеціалізацією)/професією не менше п’яти років (крім педагогічної, науково-педагогічної, наукової діяльності) із зазначенням посади та строку роботи на цій посаді

Стаж Повних років стажу науково-педагогічної діяльності

45 років

ПК Підвищення кваліфікації / стажування

Київський університет імені Бориса Гринченка, 15.05.2023р.-25.06.2023 р. Cертифікат про підвищення кваліфікації, реєстраційний №105 - Н від 16.06.23 р. Тема: Сучасні комп’ютерні технології, 6 кредитів (180 годин)

II. Освіта 1

Дата	Освітній ступінь	Заклад	Спеціальність	Кваліфікація	Документ	Серія / №
1971	Спеціаліст	Київський деpжавний ун-т	теоретична кібернетика	математик	Диплом	Е ••••••

III. Науковий ступінь 2

Дата	Науковий ступінь	Заклад	Спеціальність	Кваліфікація	Документ	Серія / №
2013	Доктор наук	Ін-т кібернетики ім.В.М.Глушкова НАН України	—	—	Диплом	ДД ••••••
1987	Кандидат наук	—	фізика, математика	канд.фіз.-мат.наук ФМ 029957 19.06.87	Диплом	ФМ ••••••

IV. Вчене звання 2

Дата	Вчене звання	Документ	Серія / №
2015	Професор	Атестат	—
1992	Доцент	Атестат	ДЦ ••••••

V. Дослідницькі профілі 4

Платформа	H-індекс	Кількість документів	Кількість цитувань
Orcid	—	—	—
Web of Science	—	—	—
Scopus	5	29	88
Google Scholar	17	180	1283

VI. H-індекс за роками 6

Рік	H-індекс	Посилання на профіль
2026	17	https://scholar.google.com.ua/citations?hl=ru&user=e4YSaicA…
2026	5	https://www.scopus.com/authid/detail.uri?authorId=357728182…
2026	3	https://www.webofscience.com/wos/author/record/3902126
2025	5	https://www.scopus.com/authid/detail.uri?authorId=357728182…
2025	16	https://scholar.google.com/citations?user=pveyjOkAAAAJ
2025	3	https://www.webofscience.com/wos/author/record/3902126

VII. Статті 172

Рік	Назва	ID цифрового об'єкту	ISSN	Посилання на статтю
—	Информационные системы учебного назначения кафедры информатики, программной инженерии и экономической кибернетики Херсонского государственного университета: исторический и …	—	—	—
—	МС Львов1, ТЛ Архипова1, К. С Архипова2 1Херсонський державний унiверситет, Украна lvov@ ksu. ks. ua, klio. arhipova@ ukr. net 2Кш&вський нацональний лiнгвiстичний унiверситет …	—	—	—
—	КРИТЕРІЇ, ПОКАЗНИКИ ТА РІВНІ СФОРМОВАНОСТІ ТЕКСТОТВОРЧИХ УМІНЬ МОЛОДШИХ ШКОЛЯРІВ НА ЗАВЕРШАЛЬНОМУ ЕТАПІ ПОЧАТКОВОЇ МОВНОЇ ОСВІТИ	—	—	—
—	РОБОТА З ТЕКСТОМ ЯК ОСНОВА ВЗАЄМОПОВ’ЯЗАНОГО ФОРМУВАННЯ КОМУНІКАТИВНОЇ ТА СОЦІОКУЛЬТУРНОЇ КОМПЕТЕНЦІЙ	—	—	—
—	Графічний метод розв’язування алгебраїчних задач та його реалізація у програмному засобі “Бібліотека електронних наочностей “Алгебра 7-9”	—	—	—
—	ПРО РЕАЛІЗАЦІЮ ЗАДАЧІ ДОСЛІДЖЕННЯ ФУНКЦІЇ ДІЙСНОГО АРГУМЕНТУ В МАТЕМАТИЧНИХ СИСТЕМАХ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ	—	—	—
—	АЛГОРИТМ ПЕРЕВІРКИ ПРАВИЛЬНОСТІ ГРАНИЦЬ ЗМІНЕННЯ ЗМІННИХ У ПОСЛІДОВНИХ ПРОГРАМАХ	—	—	—
—	МЕТОД СПАДКУВАННЯ РЕАЛІЗАЦІЇ АЛГЕБРАЇЧНИХ ОБЧИСЛЕНЬ В МАТЕМАТИЧНИХ СИСТЕМАХ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ	—	—	—
—	ДО ПИТАННЯ ПРО ЕЛЕКТРОННІ ЗАСОБИ НАВЧАННЯ	—	—	—
—	ЭФФЕКТИВНЫЙ АЛГОРИТМ ВЫЧИЛЕНИЯ ДИСПЕРСИОННОЙ ФУНКЦИИ ДЛЯ 4-Х ВОЛНОВОГО НЕЛИНЕЙНОГО РЕЗОНАНСА	—	—	—
—	IНСТИТУТ ПРОГРАМНИХ СИСТЕМ	—	—	—
—	АЛФАВІТНИЙ ПОКАЖЧИК	—	—	—
—	Текущий выпуск	—	—	—
—	ВИКОРИСТАННЯ СОЦІАЛЬНИХ МЕРЕЖ ЯК ЗАСОБУ АКТИВІЗАЦИИ ПІЗНАВАЛЬНОЇ ДІЯЛЬНОСТІ СТУДЕНТІВ	—	—	—
—	ОСОБЕННОСТИ МАТЕМАТИЧЕСКОЙ ПОДГОТОВКИ ПРОГРАММИСТОВ В ХЕРСОНСКОМ ГОСУДАРСТВЕННОМ УНИВЕРСИТЕТЕ	—	—	—
—	ЕЛЕКТРОННИЙ ПІДРУЧНИК ЯК НОВИЙ ЗАСІБ ПОДАННЯ ІНФОРМАЦІЇ У НАВЧАЛЬНОМУ ПРОЦЕСІ	—	—	—
—	Степанова ОІ, кандидат філологічних наук, доцент Рівненський державний гуманітарний університет	—	—	—
—	СОЦІАЛЬНІ МЕРЕЖІ ЯК СУЧАСНЕ СЕРЕДОВИЩЕ НАВЧАННЯ	—	—	—
—	Херсонский госуниверситет, НИИ информационных технологий lvov@ ksu. ks. ua	—	—	—
—	Основи комп’ютерної алгебри та алгебраїчних обчислень	—	—	—
—	Kherson State University	—	—	—
—	ВИКОРИСТАННЯ ПРОГРАМНОГО ЗАСОБУ “БІБЛІОТЕКА ЕЛЕКТРОННИХ НАОЧНОСТЕЙ АЛГЕБРА 7-9 КЛАС” ПРИ ВИВЧЕННІ АЛГЕБРИ У 7-9 КЛАСАХ	—	—	—
2022	About Electronic Textbook “Mathematical Tasks Programming. First Steps”	10.1007/978-3-031-14841-5_22	—	—
2022	ДИЗ’ЮНКТИВНІ БАЗИСИ ПРИКЛАДНИХ АЛГЕБР МНОЖИН ТА ЇХНЄ ВИКОРИСТАННЯ В ЗАДАЧАХ КОМБІНАТОРНОЇ ГЕОМЕТРІЇ.	—	—	—
2022	Disjunctive Bases of Applied Algebras of Sets and Their Use in Problems of Combinatorial Geometry	10.1007/s10559-022-00513-7	—	—
2021	USING THE GEOGEBRA PROGRAM IN THE PROCESS OF STUDYING PROBABILITY THEORY TO ENSURE SUSTAINABLE ECONOMIC GROWTH OF UKRAINE	—	—	—
2021	Алгоритм поповнення в алгебрах множин	—	—	—
2021	The Replenishment Algorithm in Algebras of Sets	10.1007/s10559-021-00407-0	—	—
2020	System for Testing Physics Knowledge	10.1007/978-3-030-39459-2_9	—	—
2020	Simulation technologies of virtual reality usage in the training of future ship navigators	—	—	—
2020	ФОРМУВАННЯ КОМУНІКАТИВНОЇ КОМПЕТЕНТНОСТІ НА УРОКАХ ІНТЕГРОВАНОГО КУРСУ «РОСІЙСЬКА МОВА І ЛІТЕРАТУРА. 10-11 КЛАСИ»	—	—	—
2020	СТАТИСТИЧЕСКИЙ АНАЛИЗ ПРИРОДНЫХ РЕСУРСОВ И ОХРАНЫ ОКРУЖАЮЩЕЙ СРЕДЫ В РЕСПУБЛИКЕ КРЫМ И В Г. СЕВАСТОПОЛЕ 2015–2018 ГГ.	—	—	—
2019	About one approach to building systems for testing physical knowledge	—	—	—
2019	Mathematical models and methods of supporting the solution of the geometry tasks in systems of computer mathematics for educational purposes	—	—	—
2019	Симуляцiйнi технологiї використання вiртуальної реальностi у процесi пiдготовки майбутнiх судноводiїв	—	—	—
2019	Simulation technologies of virtual reality usage in the training of future ship navigators	—	—	—
2019	Computations in extensions of multisorted algebras	—	—	—
2019	Computations in Extensions of Multisorted Algebras.	—	—	—
2018	Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул	—	—	—
2018	Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas	10.1007/s10559-018-0102-4	—	—
2018	Software module representing a geometry tasks in mathematical systems of educational appointment	—	—	—
2018	Mathematical models of supporting the solution of the algebra tasks in systems of computer mathematics for educational purposes	—	—	—
2018	ХАРАКТЕРИСТИЧНІ ОСОБЛИВОСТІ ДЕЯКИХ МОДУЛІВ ІНФОРМАЦІЙНО-АНАЛІТИЧНОЇ WEB-ОРІЄНТОВАНОЇ СИСТЕМИ УПРАВЛІННЯ ОСВІТНІМ ПРОЦЕСОМ У ВИЩІЙ ШКОЛІ	—	—	—
2018	Інформаційні системи навчального призначення кафедри інформатики, програмної інженерії та економічної кібернетики Херсонського державного університету: історичний і …	—	—	—
2018	Software Module Representing a Geometry Tasks in Mathematical Systems of Educational Appointment.	—	—	—
2017	Особенности математической подготовки программистов в Херсонском государственном университете	—	—	—
2017	Использование социальных сетей как средства активизации познавательной деятельности студентов	—	—	—
2017	ВИКОРИСТАННЯ СОЦІАЛЬНИХ МЕРЕЖ ЯК ЗАСОБИ АКТИВІЗАЦІЇ ПІЗНАВАЛЬНОЇ ДІЯЛЬНОСТІ СТУДЕНТІВ	—	—	—
2017	The concepts of software development for OOP and BAP self-learning courses	—	—	—
2017	Generation of test tasks in systems of computer mathematics for educational purposes	—	—	—
2017	Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes.	—	—	—
2017	The canonical forms of logical formulae over the data types and their using in programs verification	—	—	—
2016	REALIZATION OF INTERDISCIPLINARY COMMUNICATIONS OF FUNDAMENTAL DISCIPLINES AND DISCIPLINES OF MATHEMATICAL CYCLE IN THE PREPARATION OF FUTURE PROGRAMMERS	—	—	—
2016	ДО ПРОБЛЕМИ ПІДГОТОВКИ МАЙБУТНІХ УЧИТЕЛІВ ІНФОРМАТИКИ НА ЗАСАДАХ ВИКОРИСТАННЯ ІКТ	—	—	—
2016	Systems of computer mathematics for educational purposes as the means of reception of procedural knowledge	—	—	—
2016	Analysis of Linear Definite Iterative Loops	10.1007/s10559-016-9806-5	—	—
2016	ПОБУДОВА ОБРАЗІВ ГЕОМЕТРИЧНИХ ФІГУР ПРИ ІНВЕРСІЇ ТА ЇЇ ВІЗУАЛІЗАЦІЯ ЗА ДОПОМОГОЮ ПРОГРАМНОГО ЗАСОБУ GEOGEBRA	—	—	—
2016	Анализ линейно определенных итеративных циклов	—	—	—
2015	The static analysis of linear loops	—	—	—
2015	Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании	—	—	—
2015	О структуре полиномиальных инвариантов линейных циклов	—	—	—
2015	The Static Analysis of Linear Loops.	—	—	—
2015	СОЦІАЛЬНІ МЕРЕЖІ ЯК ЗАСІБ ОРГАНІЗАЦІЇ НАВЧАЛЬНОГО ПРОЦЕСУ	—	—	—
2015	Social networks as a means of organizing the educational process	—	—	—
2015	Software–hardware systems: The structure of polynomial invariants of linear loops	10.1007/s10559-015-9736-7	—	—
2015	The structure of polynomial invariants of linear loops	—	—	—
2015	Социальные сети как средство организации учебного процесса	—	—	—
2014	A method of proving the invariance of linear inequalities for linear loops	10.1007/s10559-014-9653-1	—	—
2014	ОБУЧЕНИЕ АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЮ С ИСПОЛЬЗОВАНИЕМ ЯЗЫКА PYTHON	—	—	—
2014	КОНЦЕПЦИЯ СИСТЕМЫ КОМПЬЮТЕРНОЙ МАТЕМАТИКИ УЧЕБНОГО НАЗНАЧЕНИЯ И ПРИМЕРЫ ЕЕ РЕАЛИЗАЦИИ	—	—	—
2014	КОМП’ЮТЕРНО ОРІЄНТОВАНА МЕТОДИКА ФОРМУВАННЯ ПРОФЕСІЙНИХ КОМПЕТЕНЦІЙ МАЙБУТНІХ ФІЛОЛОГІВ У СТРУКТУРІ КОМСН	—	—	—
2014	Об одном подходе к построению системы тестирования геометрических знаний	—	—	—
2014	Організація спільної роботи студентів над дипломним проектом	—	—	—
2014	Про один підхід до побудови системи тестування геометричних знань	—	—	—
2013	Психолінгвістичні чинники формування стилістичних умінь в учнів початкових класів	—	—	—
2013	Про організацію контролю знань як зворотного зв’язку в системах комп’ютерної математики навчального призначення	—	—	—
2013	Семантичні електронні підручники та особливості їх впровадження	—	—	—
2012	Choosing the first educational programming language	—	—	—
2012	Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling	10.1007/s10559-012-9475-y	—	—
2012	Nonlinear invariants for linear loops and eigenpolynomials of linear operators	10.1007/s10559-012-9406-y	—	—
2012	Теоретичні основи побудови систем комп’ютерної математики навчального призначення: дис. доктора фізико-математичних наук: 01.05. 03/Михайло Сергійович Львов	—	—	—
2011	ПРОБЛЕМА РЕАЛІЗАЦІЇ СЛОВОЦЕНТРИЧНОГО ПІДХОДУ В ТЕОРІЇ І ПРАКТИЦІ НАВЧАННЯ МОВИ	—	—	—
2011	Математические тесты в системах компьютерной математики учебного назначения	—	—	—
2011	Intellectual properties of computer mathematics systems for educational purposes and methods for their implementation	—	—	—
2011	Об одном подходе к верификации алгебраических вычислений	—	—	—
2011	Основи алгоритмізації та програмування	—	—	—
2011	Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации	—	—	—
2011	Тригонометрические вычисления в системах компьютерной математики учебного назначения	—	—	—
2011	Математические модели предметных областей в системах компьютерной математики учебного назначения	—	—	—
2010	Інтегроване програмне середовище вивчення курсу аналітичної геометрії для ВНЗ. Концепція, архітектура, функціональність	—	—	—
2010	Polynomial invariants for linear loops	10.1007/s10559-010-9242-x	—	—
2010	Algebraic approach to the problem of solving systems of linear inequalities	10.1007/s10559-010-9210-5	—	—
2010	Проведення обчислювального експерименту засобами системи дистанційного вивчення курсу «Основи алгоритмізації та програмування»	—	—	—
2010	Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения	—	—	—
2010	Распределенные программные среды учебного назначения. Подсистема управления учебным процессом	—	—	—
2010	Тригонометричні обчислення в математичних системах навчального призначення	—	—	—
2010	ІНТЕГРОВАНЕ ПРОГРАМНЕ СЕРЕДОВИЩЕ «АНАЛІТИЧНА ГЕОМЕТРІЯ»	—	—	—
2010	Методы генерации учебных примеров программ с нетривиальными полиномиальными инвариантами	—	—	—
2010	Собственные полиномы линейных операторов и полиномиальные инварианты линейных циклов программ	—	—	—
2010	Математичні моделі та методи підтримки ходу розв’язання навчальних задач з аналітичної геометрії	—	—	—
2010	ФОРМИРОВАНИЕ АЛГОРИТМИЧЕСКОГО СТИЛЯ МИШЛЕНИЯ У БУДУЩИХ УЧИТЕЛЕЙ МАТЕМАТИКИ С ПОМОЩЬЮ МАТЕМАТИЧЕСКИХ СИСТЕМ УЧЕБНОГО НАЗНАЧЕНИЯ	—	—	—
2010	ФОРМУВАННЯ АЛГОРИТМІЧНОГО СТИЛЮ МИСЛЕННЯ У МАЙБУТНІХ ВЧИТЕЛІВ МАТЕМАТИКИ ЗА ДОПОМОГОЮ МАТЕМАТИЧНИХ СИСТЕМ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ	—	—	—
2010	Mathematical models and methods of support progress solving educational problems of analytical geometry	—	—	—
2010	ПРОВЕДЕНИЕ ВЫЧИСЛИТЕЛЬНОГО ЭКСПЕРИМЕНТА СРЕДСТВАМИ ДИСТАНЦИОННОЙ СРЕДЫ ИЗУЧЕНИЯ КУРСА «ОСНОВЫ АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЯ»	—	—	—
2009	STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V. 2»	—	—	—
2009	Синтез інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр	—	—	—
2009	Концепция информационной поддержки учебного процесса и ее реализация в педагогических программных средах	—	—	—
2009	AUSTRIAN–UKRAINIAN PROJECT CENREC AS EXAMPLE OF INFORMATION SUPPORT OF ACTIVITY OF INTERNATIONAL SCIENTIFIC COMMUNITY	—	—	—
2009	ДОВІДНИК ІНТЕГРОВАНОЇ СЕРЕДИ ВИВЧЕННЯ КУРСУ АНАЛІТИЧНА ГЕОМЕТРІЯ ДЛЯ ВИЩИХ УЧБОВИХ ЗАКЛАДІВ	—	—	—
2009	Synthesis of interpreters of algebraic operations in extensions of multisorted algebras	—	—	—
2009	The concept of information support for the educational process and its implementation in pedagogical software environments	—	—	—
2009	Об одном подходе к реализации алгебраических вычислений: вычисления в алгебре высказываний	—	—	—
2009	СТРУКТУРА И ВОЗМОЖНОСТИ ПМ «СРЕДА РЕШЕНИЯ» ИНТЕГРИРОВАННОЙ ПРОГРАММНОЙ СРЕДЫ «MATHLOGIC V. 2».	—	—	—
2009	ДОВІДНИК ІНТЕГРОВАНОЇ СЕРЕДИ ВИВЧЕННЯ КУРСУ АНАЛІТИЧНА ГЕОМЕТРІЯ ДЛЯ ВИЩИХ УЧБОВИХ ЗАКЛАДІВ.	—	—	—
2009	Справочник интегрированной среды изучения курса аналитическая геометрия для высших учебных заведений	—	—	—
2009	Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста	—	—	—
2009	Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр	—	—	—
2009	Метод морфізмів реалізації алгебраїчних обчислень в математичних системах навчального призначення	—	—	—
2009	СТРУКТУРА ТА МОЖЛИВОСТІ ПМ «СЕРЕДОВИЩЕ РОЗВ’ЯЗАННЯ» ІНТЕГРОВАНОГО ПРОГРАМНОГО СЕРЕДОВИЩА «MATHLOGIC V. 2».	—	—	—
2009	АВСТРІЙСЬКО-УКРАЇНСЬКИЙ ПРОЕКТ CENREC ЯК ПРИКЛАД ІНФОРМАЦІЙНОЇ ПІДТРИМКИ ДІЯЛЬНОСТІ МІЖНАРОДНОГО НАУКОВОГО СПІВРОБІТНИЦТВА.	—	—	—
2008	The Adoptation of the Training Plan of Bachalor Specialty" Informatics" of the Kherson State University to the Computing Curricula (CС)	—	—	—
2008	Об организации практической подготовки будущих программистов в НИИ информационных технологий Херсонского государственного университета	—	—	—
2008	Tendencies of development of educational information-communicative technologies	—	—	—
2008	Проектирование логического вывода как пошагового решения задач в математических системах учебного назначения	—	—	—
2008	РЕАЛІЗАЦІЯ КОМУНІКАТИВНОГО ПІДХОДУ В ПРОЦЕСІ ВИВЧЕННЯ ПОЧАТКОВОГО КУРСУ РІДНОЇ МОВИ	—	—	—
2008	Адаптація учбового плану бакалавра спеціальності “Інформатика” Херсонського державного університету до Computing Curricula (CC)	—	—	—
2008	Graphical method of algebraic tasks’ solving and its realization in software" Library of electronic visual aids Algebra 7-9"	—	—	—
2008	ВИКОРИСТАННЯ ПРОГРАМНОГО ЗАСОБУ “БІБЛІОТЕКА ЕЛЕКТРОННИХ НАОЧНОСТЕЙ АЛГЕБРА 7-9 КЛАС” ПРИ ВИВЧЕННІ АЛГЕБРИ У 7-9 КЛАСАХ	—	—	—
2008	The Usage of Programming Software" The Library of Electronic Visual Aids" Algebra 7-9" During Algebra Learning in 7-9 Forms	—	—	—
2008	Тенденції розвитку освітніх інформаційно-комунікативних технологій	—	—	—
2007	Алгебра з комп ‘ютером	—	—	—
2007	Щедролосьєв Д. Інформаційна система управління вищим навчальним закладом як платформа реалізації управління академічним процесом	—	—	—
2007	About one algorithm of program polynomial invariants generation	—	—	—
2007	ОРГАНІЗАЦІЯ ПРАКТИЧНОЇ РОБОТИ УЧНІВ НА ОСНОВІ ВИКОРИСТАННЯ НАВЧАЛЬНО-ІНФОРМАЦІЙНОГО СЕРЕДОВИЩА “ІнфоНІС”	—	—	—
2007	Інформаційна система управління вищим навчальним закладом як платформа реалізації управління академічним процесом	—	—	—
2006	Принципы проектирования логического вывода в пользовательском интерфейсе школьной системы компьютерной алгебры (ТерМ).«	—	—	—
2006	The basic principles of the construction of pedagogical software support practical training	—	—	—
2006	Основные принципы построения педагогических программных средств поддержки практических занятий	—	—	—
2005	Informatsiina systema upravlinnia vyshchym navchalnym zakladom yak platforma realizatsii upravlinnia akademichnym protsesom [Management information system higher education …	—	—	—
2005	Робоче мiсце вчителя в сучаснiй iнформацiйнiй системi управлiння навчальним процесом	—	—	—
2005	Робоче місце вчителя в сучасній інформаційній системі управління навчальним процесом	—	—	—
2005	Шкільна система комп’ютерної алгебри ТерМ 7-9. Принципи побудови та особливості використання. Науковий часопис НПУ ім. Драгоманова, серія № 2. Комп’ютерно-орієнтовані системи …	—	—	—
2005	Концепція гнучкої розподіленої програмної системи навчального призначення. Географічні інформаційні системи в аграрних університетах. Матеріали міжнародної науковометодичної …	—	—	—
2004	Терм VII–шкільна система комп’ютерної алгебри	—	—	—
2004	Використання методів комп’ютерної алгебри та технології символьних перетворенеь в педагогічних програмних системах. Нові технології навчання: Наук.-метод. зб./Кол. авт	—	—	—
2004	Term VII–shkilna systema kompiuternoi alhebry.	—	—	—
2004	Основи програмування. Навчальний посібник	—	—	—
2003	Проблеми викладання основ алгоритмізації та програмування в школі	—	—	—
2003	Концепцiя програмної системи пiдтримки математичної дiяльностi. Комп’ютерно-орiєнтованi системи навчання: Зб. наук. праць. Вип. 7	—	—	—
2003	Концепція програмної системи підтримки математичної діяльності	—	—	—
2003	ПМК «Відеоінтерпретатор алгоритмів пошуку та сортування»	—	—	—
2002	Основні задачі проектування комп’ютерних систем підтримки практичної навчальної математичної діяльності	—	—	—
2001	Вступ до об’єктно-орієнтованого програмування: Навчальний посібник	—	—	—
2001	Шляхи удосконалення курсу “Основи алгоритмізації та програмування” у педагогічному вузі	—	—	—
2001	Про один підхід до побудови систем підтримки розв’язання математичних задач, конструйованих за умовою. Комп ‘ютерно–орієнтовані системи навчання: Зб. наук. праць. Вип. 4/Редкол	—	—	—
2001	Роль родного языка в становлении духовного мира личности (Опыт моделирования)	—	—	—
2001	Шляхи удосконалення курсу “Основи алгоритмiзацiї та програмування” у педагогiчному вузi	—	—	—
2000	Вступ до об’єктно-орієнтоване програмування. Навчальний посібник.-Херсон: ХГПУ, 2000.-238 с.: іл. В систематичному вигляді викладаються основи об’єктно-орієнтованого …	—	—	—
2000	Основи алгоритмізації та програмування. Навч. посібник	—	—	—
1998	Методы проектирования систем компьютерной поддержки математического образования	—	—	—
1998	Методи проектування систем комп’ютерної підтримки математичної освіти Математичні моделі і сучасні інформаційні технології: Зб. наук. пр./НАН України	—	—	—
1997	Нові інформаційні технології і початкова освіта	—	—	—
1997	Основи алгоритмізації та програмування: Навчальний посібник	—	—	—
1997	Основи алгоритмізації та програмування	—	—	—
1995	Tools for solving problems in the scope of algebraic programming	10.1007/3-540-60156-2_4	—	—
1993	Applied Computer Support of Mathematical Training	—	—	—
1993	AIST: Applied Computer Algebra System	—	—	—
1993	Discovery of invariant equalities in programs over data fields	10.1007/BF01200151	—	—
1988	Invariant equalities of small degrees in programs defined over a field	—	—	—
1986	Invariant inequalities in programs interpreted over an ordered field	10.1007/BF01068351	—	—
1984	Calculation of invariants of programs interpreted over an integrality domain	10.1007/BF01068921	—	—
1973	Commutative closure of regular semigroups of languages	10.1007/BF01069078	—	—

VIII. Наукові журнали 6

Журнал	Публікацій	ISSN
CEUR Workshop Proceedings	12	16130073
Cybernetics and Systems Analysis	10	10600396 15738337
Cybernetics	3	15738337 00114235
Communications in Computer and Information Science	2	18650937 18650929
Applicable Algebra in Engineering, Communication and Computing	1	09381279 14320622
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	1	16113349 03029743

IX. Публікації у наукових фахових виданнях (архів) 1

Рік	Назва	Видання	DOI
2023	Задача на найкоротший шлях у графі для виконавця з обмеженими ресурсами	Науковий вісник Івано-Франківського національного технічного університету нафти і газу	https://doi.org/10.31471/1993-9965-2023-2(55)-47-53

X. Журнали навчальних занять 4

Навчальний рік	Дисципліни
2025	Алгоритми і структури даних, Методи комп'ютерної алгебри, Моделювання систем і процесів та програмних систем навчального призначення, Моделювання та проєктування інформаційних систем, Операційні системи та системне програмування, Основи комп'ютерної алгебри, Практикум з розв'язування олімпіадних задач з інформатики, Практикум з розв'язування олімпіадних задач з інформаційних технологій, Програмування (ОАП і ООП), Програмування (ОАП), Теорія автоматів і формальні методи
2024	Алгоритми і структури даних, Методи комп'ютерної алгебри, Моделювання систем і процесів та програмних систем навчального призначення, Моделювання та проектування інформаційних систем, Моделювання та проєктування інформаційних систем, Операційні системи та системне програмування, Основи комп'ютерної алгебри, Практикум з розв'язування олімпіадних задач з інформатики, Програмування, Програмування (ОАП і ООП), Теорія автоматів і формальних мов, Теорія автоматів і формальні методи
2023	Алгоритми і структури даних, Методи комп'ютерної алгебри, Моделювання систем і процесів та програмних систем навчального призначення, Моделювання та проектування інформацйних систем, Моделювання та проектування інформаційних систем, Операційні системи та системне програмування, Основи комп'ютерної алгебри, Практикум з розв'язування олiмпiадних задач з iнформацiйних технологiй, Практикум з розв'язування олімпіадних задач з ІТ, Програмування, Теорія автоматів і формальні методи
2022	Алгоритми та структури даних, Алгоритми і структури даних, Методи комп'ютерної алгебри, Моделювання та проектування програмних систем навчального та наук призначення, Моделювання та проектування інформацйних систем, Операційні системи, Операційні системи та системне програмування, Практикум з розв'язування олімпіадних задач з інформаційних технологій, Програмування, Теорія алгоритмів та дискретні структури

XI. Наукові проєкти 2

Дата початку виконання дослідницької роботи	Дата завершення виконання дослідницької роботи	Назва наукового проекту	Тип наукового проекту	Роль учасника в науковому проекті
2023	2023	Забезпечення розвитку наукового напряму «Технічні науки» Херсонським державним університетом у 2023 році	Держбюджетний НДР	Виконавець
2022	2022	Забезпечення розвитку наукового напряму "Технічні науки" Херсонським державним університетом у 2022 році.	Держбюджетний НДР	Виконавець

XII. Консультування дисертацій 1

Дата успішного захисту дисертації здобувачем	Назва дисертації	Повне ім'я здобувача	Інституційна приналежність здобувача	Тип наукового супроводу	Посилання на дисертацію
2024	Розробка системи управління процесами якості освіти університету за допомогою сервісів	Лемещук Олександр Ігорович	no data	Наукове керівництво аспірантом	https://ksu24.kspu.edu/s/PUr6Z

XIII. Редакційна діяльність 4

Рік	Позиція	Видання	Категорія	Квартиль	Посилання
2022	Член редколегії	Збірник наукових праць "Information Technologies in Education"	Б	Відсутній	https://ite.kspu.edu/index.php/ite/about/editorialTeam
2023	Член редколегії	Збірник наукових праць "Information Technologies in Education"	Б	Відсутній	https://ite.kspu.edu/index.php/ite/about/editorialTeam
2024	Член редколегії	Збірник наукових праць "Information Technologies in Education"	Б	Відсутній	https://ite.kspu.edu/index.php/ite/about/editorialTeam
2025	Член редколегії	Збірник наукових праць "Information Technologies in Education"	Б	Відсутній	https://ite.kspu.edu/index.php/ite/about/editorialTeam

XIV. Нагороди та відзнаки 18

Дата	Назва нагороди	Тип
2002	Подяка	ХДУ
2002	Почесна грамота голови обл.держ.адмін.	Обласні, міські відзнаки
2004	Подяка	ХДУ
2006	Подяка	ХДУ
2007	Почесна грамота	ХДУ
2008	Почесна грамота обласної ради	Обласні, міські відзнаки
2008	Подяка	ХДУ
2012	Подяка	ХДУ
2013	Подяка	ХДУ
2013	Подяка	ХДУ
2016	Грамота	ХДУ
2016	Почесне звання "Почесний доктор наук ХДУ"	ХДУ
2017	Почесна грамота Верховної Ради України	Державні нагороди
2018	Присв.зв."Заслуж.працівик освіти України"	Державні нагороди
2019	Почесна грамота	ХДУ
2020	Почесна грамота міського голови	Обласні, міські відзнаки
2021	Почесна грамота	Відомчі відзнаки МОН
2023	Нагороджений почесною відзнакою "Срібна медаль ХДУ	ХДУ