I.
Поточні посади
5
| Назва посади | Назва підрозділу |
|---|---|
| Професор | Факультет комп'ютерних наук, фізики та математики |
| — | Факультет комп'ютерних наук, фізики та математики |
| Професор | Факультет комп'ютерних наук, фізики та математики |
| Професор | Факультет комп'ютерних наук, фізики та математики |
| Професор | Факультет комп'ютерних наук, фізики та математики |
II.
Додаток до картки НПП
Картка містить досягнення за пунктами постанови КМУ.
Заповнені пункти виділено — натисніть, щоб розкрити.
3
16
17
18
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
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
-
1. Програмування (Python) конспект лекцій
2. Програмування (С++) конспект лекцій
3. Алгоритми та структури даних Конспект лекцій, методичні рекоменрдпації до практичних занять
4. Теорія алгоритмів та структур Конспект лекцій
5. Основи комп’ютерної алгебри Посібник «Основи комп’ютерної алгебри та алгебраїчних обчислень»
6. Методи проєктування програмних систем навчального та наукового призначення Конспект лекції
7. Методи проєктування інформаційних систем Конспект лекцій
Розміщено у KSU Online
2. Програмування (С++) конспект лекцій
3. Алгоритми та структури даних Конспект лекцій, методичні рекоменрдпації до практичних занять
4. Теорія алгоритмів та структур Конспект лекцій
5. Основи комп’ютерної алгебри Посібник «Основи комп’ютерної алгебри та алгебраїчних обчислень»
6. Методи проєктування програмних систем навчального та наукового призначення Конспект лекції
7. Методи проєктування інформаційних систем Конспект лекцій
Розміщено у KSU Online
-
Тарасіч Юлія - доктор філософії зі спеціальності 01-05-03 Програмне забезпечення обчислювальних систем та машин
член спеціалізованої вченої ради з захисту кандидатських дисертацій з педагогічних спеціальностей
Разова спеціалізована вчена рада ДФ 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
Разова спеціалізована вчена рада ДФ 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
Науковий керівник 5 наукових тем та проєктів
Член редколегії Збірник наукових праць "Інформаційні технології в освіті" (категорія Б) Херсонський державний університет,
Інститут інформаційних технологій і засобів навчання http://ite.kspu.edu/index.php/ite
Член редколегії Збірник наукових праць "Інформаційні технології в освіті" (категорія Б) Херсонський державний університет,
Інститут інформаційних технологій і засобів навчання http://ite.kspu.edu/index.php/ite
-
-
-
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
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
-
-
-
-
-
45 років
Київський університет імені Бориса Гринченка, 15.05.2023р.-25.06.2023 р. Cертифікат про підвищення кваліфікації, реєстраційний №105 - Н від 16.06.23 р. Тема: Сучасні комп’ютерні технології, 6 кредитів (180 годин)
III.
Науковий ступінь
2
| Дата отримання | Ступінь | Документ |
|---|---|---|
| 1987 | Кандидат наук | Диплом |
| 2013 | Доктор наук | Диплом |
IV.
Освіта
1
| Дата | Заклад освіти | Документ |
|---|---|---|
| 1971 | Київський деpжавний ун-т | Диплом |
V.
Дослідницькі профілі
4
| Платформа | H-індекс | Кількість документів | Кількість цитувань |
|---|---|---|---|
| Orcid | — | — | — |
| Web of Science | — | — | — |
| Scopus | 5.0 | 29.0 | 88.0 |
| Google Scholar | 17.0 | 180.0 | 1283.0 |
VI.
H-індекс за роками
6
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.0 | About Electronic Textbook “Mathematical Tasks Programming. First Steps” | 10.1007/978-3-031-14841-5_22 | — | — |
| 2022.0 | ДИЗ’ЮНКТИВНІ БАЗИСИ ПРИКЛАДНИХ АЛГЕБР МНОЖИН ТА ЇХНЄ ВИКОРИСТАННЯ В ЗАДАЧАХ КОМБІНАТОРНОЇ ГЕОМЕТРІЇ. | — | — | — |
| 2022.0 | Disjunctive Bases of Applied Algebras of Sets and Their Use in Problems of Combinatorial Geometry | 10.1007/s10559-022-00513-7 | — | — |
| 2021.0 | USING THE GEOGEBRA PROGRAM IN THE PROCESS OF STUDYING PROBABILITY THEORY TO ENSURE SUSTAINABLE ECONOMIC GROWTH OF UKRAINE | — | — | — |
| 2021.0 | Алгоритм поповнення в алгебрах множин | — | — | — |
| 2021.0 | The Replenishment Algorithm in Algebras of Sets | 10.1007/s10559-021-00407-0 | — | — |
| 2020.0 | System for Testing Physics Knowledge | 10.1007/978-3-030-39459-2_9 | — | — |
| 2020.0 | Simulation technologies of virtual reality usage in the training of future ship navigators | — | — | — |
| 2020.0 | ФОРМУВАННЯ КОМУНІКАТИВНОЇ КОМПЕТЕНТНОСТІ НА УРОКАХ ІНТЕГРОВАНОГО КУРСУ «РОСІЙСЬКА МОВА І ЛІТЕРАТУРА. 10-11 КЛАСИ» | — | — | — |
| 2020.0 | СТАТИСТИЧЕСКИЙ АНАЛИЗ ПРИРОДНЫХ РЕСУРСОВ И ОХРАНЫ ОКРУЖАЮЩЕЙ СРЕДЫ В РЕСПУБЛИКЕ КРЫМ И В Г. СЕВАСТОПОЛЕ 2015–2018 ГГ. | — | — | — |
| 2019.0 | About one approach to building systems for testing physical knowledge | — | — | — |
| 2019.0 | Mathematical models and methods of supporting the solution of the geometry tasks in systems of computer mathematics for educational purposes | — | — | — |
| 2019.0 | Симуляцiйнi технологiї використання вiртуальної реальностi у процесi пiдготовки майбутнiх судноводiїв | — | — | — |
| 2019.0 | Simulation technologies of virtual reality usage in the training of future ship navigators | — | — | — |
| 2019.0 | Computations in extensions of multisorted algebras | — | — | — |
| 2019.0 | Computations in Extensions of Multisorted Algebras. | — | — | — |
| 2018.0 | Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул | — | — | — |
| 2018.0 | Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas | 10.1007/s10559-018-0102-4 | — | — |
| 2018.0 | Software module representing a geometry tasks in mathematical systems of educational appointment | — | — | — |
| 2018.0 | Mathematical models of supporting the solution of the algebra tasks in systems of computer mathematics for educational purposes | — | — | — |
| 2018.0 | ХАРАКТЕРИСТИЧНІ ОСОБЛИВОСТІ ДЕЯКИХ МОДУЛІВ ІНФОРМАЦІЙНО-АНАЛІТИЧНОЇ WEB-ОРІЄНТОВАНОЇ СИСТЕМИ УПРАВЛІННЯ ОСВІТНІМ ПРОЦЕСОМ У ВИЩІЙ ШКОЛІ | — | — | — |
| 2018.0 | Інформаційні системи навчального призначення кафедри інформатики, програмної інженерії та економічної кібернетики Херсонського державного університету: історичний і … | — | — | — |
| 2018.0 | Software Module Representing a Geometry Tasks in Mathematical Systems of Educational Appointment. | — | — | — |
| 2017.0 | Особенности математической подготовки программистов в Херсонском государственном университете | — | — | — |
| 2017.0 | Использование социальных сетей как средства активизации познавательной деятельности студентов | — | — | — |
| 2017.0 | ВИКОРИСТАННЯ СОЦІАЛЬНИХ МЕРЕЖ ЯК ЗАСОБИ АКТИВІЗАЦІЇ ПІЗНАВАЛЬНОЇ ДІЯЛЬНОСТІ СТУДЕНТІВ | — | — | — |
| 2017.0 | The concepts of software development for OOP and BAP self-learning courses | — | — | — |
| 2017.0 | Generation of test tasks in systems of computer mathematics for educational purposes | — | — | — |
| 2017.0 | Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes. | — | — | — |
| 2017.0 | The canonical forms of logical formulae over the data types and their using in programs verification | — | — | — |
| 2016.0 | REALIZATION OF INTERDISCIPLINARY COMMUNICATIONS OF FUNDAMENTAL DISCIPLINES AND DISCIPLINES OF MATHEMATICAL CYCLE IN THE PREPARATION OF FUTURE PROGRAMMERS | — | — | — |
| 2016.0 | ДО ПРОБЛЕМИ ПІДГОТОВКИ МАЙБУТНІХ УЧИТЕЛІВ ІНФОРМАТИКИ НА ЗАСАДАХ ВИКОРИСТАННЯ ІКТ | — | — | — |
| 2016.0 | Systems of computer mathematics for educational purposes as the means of reception of procedural knowledge | — | — | — |
| 2016.0 | Analysis of Linear Definite Iterative Loops | 10.1007/s10559-016-9806-5 | — | — |
| 2016.0 | ПОБУДОВА ОБРАЗІВ ГЕОМЕТРИЧНИХ ФІГУР ПРИ ІНВЕРСІЇ ТА ЇЇ ВІЗУАЛІЗАЦІЯ ЗА ДОПОМОГОЮ ПРОГРАМНОГО ЗАСОБУ GEOGEBRA | — | — | — |
| 2016.0 | Анализ линейно определенных итеративных циклов | — | — | — |
| 2015.0 | The static analysis of linear loops | — | — | — |
| 2015.0 | Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании | — | — | — |
| 2015.0 | О структуре полиномиальных инвариантов линейных циклов | — | — | — |
| 2015.0 | The Static Analysis of Linear Loops. | — | — | — |
| 2015.0 | СОЦІАЛЬНІ МЕРЕЖІ ЯК ЗАСІБ ОРГАНІЗАЦІЇ НАВЧАЛЬНОГО ПРОЦЕСУ | — | — | — |
| 2015.0 | Social networks as a means of organizing the educational process | — | — | — |
| 2015.0 | Software–hardware systems: The structure of polynomial invariants of linear loops | 10.1007/s10559-015-9736-7 | — | — |
| 2015.0 | The structure of polynomial invariants of linear loops | — | — | — |
| 2015.0 | Социальные сети как средство организации учебного процесса | — | — | — |
| 2014.0 | A method of proving the invariance of linear inequalities for linear loops | 10.1007/s10559-014-9653-1 | — | — |
| 2014.0 | ОБУЧЕНИЕ АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЮ С ИСПОЛЬЗОВАНИЕМ ЯЗЫКА PYTHON | — | — | — |
| 2014.0 | КОНЦЕПЦИЯ СИСТЕМЫ КОМПЬЮТЕРНОЙ МАТЕМАТИКИ УЧЕБНОГО НАЗНАЧЕНИЯ И ПРИМЕРЫ ЕЕ РЕАЛИЗАЦИИ | — | — | — |
| 2014.0 | КОМП’ЮТЕРНО ОРІЄНТОВАНА МЕТОДИКА ФОРМУВАННЯ ПРОФЕСІЙНИХ КОМПЕТЕНЦІЙ МАЙБУТНІХ ФІЛОЛОГІВ У СТРУКТУРІ КОМСН | — | — | — |
| 2014.0 | Об одном подходе к построению системы тестирования геометрических знаний | — | — | — |
| 2014.0 | Організація спільної роботи студентів над дипломним проектом | — | — | — |
| 2014.0 | Про один підхід до побудови системи тестування геометричних знань | — | — | — |
| 2013.0 | Психолінгвістичні чинники формування стилістичних умінь в учнів початкових класів | — | — | — |
| 2013.0 | Про організацію контролю знань як зворотного зв’язку в системах комп’ютерної математики навчального призначення | — | — | — |
| 2013.0 | Семантичні електронні підручники та особливості їх впровадження | — | — | — |
| 2012.0 | Choosing the first educational programming language | — | — | — |
| 2012.0 | Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling | 10.1007/s10559-012-9475-y | — | — |
| 2012.0 | Nonlinear invariants for linear loops and eigenpolynomials of linear operators | 10.1007/s10559-012-9406-y | — | — |
| 2012.0 | Теоретичні основи побудови систем комп’ютерної математики навчального призначення: дис. доктора фізико-математичних наук: 01.05. 03/Михайло Сергійович Львов | — | — | — |
| 2011.0 | ПРОБЛЕМА РЕАЛІЗАЦІЇ СЛОВОЦЕНТРИЧНОГО ПІДХОДУ В ТЕОРІЇ І ПРАКТИЦІ НАВЧАННЯ МОВИ | — | — | — |
| 2011.0 | Математические тесты в системах компьютерной математики учебного назначения | — | — | — |
| 2011.0 | Intellectual properties of computer mathematics systems for educational purposes and methods for their implementation | — | — | — |
| 2011.0 | Об одном подходе к верификации алгебраических вычислений | — | — | — |
| 2011.0 | Основи алгоритмізації та програмування | — | — | — |
| 2011.0 | Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации | — | — | — |
| 2011.0 | Тригонометрические вычисления в системах компьютерной математики учебного назначения | — | — | — |
| 2011.0 | Математические модели предметных областей в системах компьютерной математики учебного назначения | — | — | — |
| 2010.0 | Інтегроване програмне середовище вивчення курсу аналітичної геометрії для ВНЗ. Концепція, архітектура, функціональність | — | — | — |
| 2010.0 | Polynomial invariants for linear loops | 10.1007/s10559-010-9242-x | — | — |
| 2010.0 | Algebraic approach to the problem of solving systems of linear inequalities | 10.1007/s10559-010-9210-5 | — | — |
| 2010.0 | Проведення обчислювального експерименту засобами системи дистанційного вивчення курсу «Основи алгоритмізації та програмування» | — | — | — |
| 2010.0 | Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения | — | — | — |
| 2010.0 | Распределенные программные среды учебного назначения. Подсистема управления учебным процессом | — | — | — |
| 2010.0 | Тригонометричні обчислення в математичних системах навчального призначення | — | — | — |
| 2010.0 | ІНТЕГРОВАНЕ ПРОГРАМНЕ СЕРЕДОВИЩЕ «АНАЛІТИЧНА ГЕОМЕТРІЯ» | — | — | — |
| 2010.0 | Методы генерации учебных примеров программ с нетривиальными полиномиальными инвариантами | — | — | — |
| 2010.0 | Собственные полиномы линейных операторов и полиномиальные инварианты линейных циклов программ | — | — | — |
| 2010.0 | Математичні моделі та методи підтримки ходу розв’язання навчальних задач з аналітичної геометрії | — | — | — |
| 2010.0 | ФОРМИРОВАНИЕ АЛГОРИТМИЧЕСКОГО СТИЛЯ МИШЛЕНИЯ У БУДУЩИХ УЧИТЕЛЕЙ МАТЕМАТИКИ С ПОМОЩЬЮ МАТЕМАТИЧЕСКИХ СИСТЕМ УЧЕБНОГО НАЗНАЧЕНИЯ | — | — | — |
| 2010.0 | ФОРМУВАННЯ АЛГОРИТМІЧНОГО СТИЛЮ МИСЛЕННЯ У МАЙБУТНІХ ВЧИТЕЛІВ МАТЕМАТИКИ ЗА ДОПОМОГОЮ МАТЕМАТИЧНИХ СИСТЕМ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ | — | — | — |
| 2010.0 | Mathematical models and methods of support progress solving educational problems of analytical geometry | — | — | — |
| 2010.0 | ПРОВЕДЕНИЕ ВЫЧИСЛИТЕЛЬНОГО ЭКСПЕРИМЕНТА СРЕДСТВАМИ ДИСТАНЦИОННОЙ СРЕДЫ ИЗУЧЕНИЯ КУРСА «ОСНОВЫ АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЯ» | — | — | — |
| 2009.0 | STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V. 2» | — | — | — |
| 2009.0 | Синтез інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр | — | — | — |
| 2009.0 | Концепция информационной поддержки учебного процесса и ее реализация в педагогических программных средах | — | — | — |
| 2009.0 | AUSTRIAN–UKRAINIAN PROJECT CENREC AS EXAMPLE OF INFORMATION SUPPORT OF ACTIVITY OF INTERNATIONAL SCIENTIFIC COMMUNITY | — | — | — |
| 2009.0 | ДОВІДНИК ІНТЕГРОВАНОЇ СЕРЕДИ ВИВЧЕННЯ КУРСУ АНАЛІТИЧНА ГЕОМЕТРІЯ ДЛЯ ВИЩИХ УЧБОВИХ ЗАКЛАДІВ | — | — | — |
| 2009.0 | Synthesis of interpreters of algebraic operations in extensions of multisorted algebras | — | — | — |
| 2009.0 | The concept of information support for the educational process and its implementation in pedagogical software environments | — | — | — |
| 2009.0 | Об одном подходе к реализации алгебраических вычислений: вычисления в алгебре высказываний | — | — | — |
| 2009.0 | СТРУКТУРА И ВОЗМОЖНОСТИ ПМ «СРЕДА РЕШЕНИЯ» ИНТЕГРИРОВАННОЙ ПРОГРАММНОЙ СРЕДЫ «MATHLOGIC V. 2». | — | — | — |
| 2009.0 | ДОВІДНИК ІНТЕГРОВАНОЇ СЕРЕДИ ВИВЧЕННЯ КУРСУ АНАЛІТИЧНА ГЕОМЕТРІЯ ДЛЯ ВИЩИХ УЧБОВИХ ЗАКЛАДІВ. | — | — | — |
| 2009.0 | Справочник интегрированной среды изучения курса аналитическая геометрия для высших учебных заведений | — | — | — |
| 2009.0 | Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста | — | — | — |
| 2009.0 | Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр | — | — | — |
| 2009.0 | Метод морфізмів реалізації алгебраїчних обчислень в математичних системах навчального призначення | — | — | — |
| 2009.0 | СТРУКТУРА ТА МОЖЛИВОСТІ ПМ «СЕРЕДОВИЩЕ РОЗВ’ЯЗАННЯ» ІНТЕГРОВАНОГО ПРОГРАМНОГО СЕРЕДОВИЩА «MATHLOGIC V. 2». | — | — | — |
| 2009.0 | АВСТРІЙСЬКО-УКРАЇНСЬКИЙ ПРОЕКТ CENREC ЯК ПРИКЛАД ІНФОРМАЦІЙНОЇ ПІДТРИМКИ ДІЯЛЬНОСТІ МІЖНАРОДНОГО НАУКОВОГО СПІВРОБІТНИЦТВА. | — | — | — |
| 2008.0 | The Adoptation of the Training Plan of Bachalor Specialty" Informatics" of the Kherson State University to the Computing Curricula (CС) | — | — | — |
| 2008.0 | Об организации практической подготовки будущих программистов в НИИ информационных технологий Херсонского государственного университета | — | — | — |
| 2008.0 | Tendencies of development of educational information-communicative technologies | — | — | — |
| 2008.0 | Проектирование логического вывода как пошагового решения задач в математических системах учебного назначения | — | — | — |
| 2008.0 | РЕАЛІЗАЦІЯ КОМУНІКАТИВНОГО ПІДХОДУ В ПРОЦЕСІ ВИВЧЕННЯ ПОЧАТКОВОГО КУРСУ РІДНОЇ МОВИ | — | — | — |
| 2008.0 | Адаптація учбового плану бакалавра спеціальності “Інформатика” Херсонського державного університету до Computing Curricula (CC) | — | — | — |
| 2008.0 | Graphical method of algebraic tasks’ solving and its realization in software" Library of electronic visual aids Algebra 7-9" | — | — | — |
| 2008.0 | ВИКОРИСТАННЯ ПРОГРАМНОГО ЗАСОБУ “БІБЛІОТЕКА ЕЛЕКТРОННИХ НАОЧНОСТЕЙ АЛГЕБРА 7-9 КЛАС” ПРИ ВИВЧЕННІ АЛГЕБРИ У 7-9 КЛАСАХ | — | — | — |
| 2008.0 | The Usage of Programming Software" The Library of Electronic Visual Aids" Algebra 7-9" During Algebra Learning in 7-9 Forms | — | — | — |
| 2008.0 | Тенденції розвитку освітніх інформаційно-комунікативних технологій | — | — | — |
| 2007.0 | Алгебра з комп ‘ютером | — | — | — |
| 2007.0 | Щедролосьєв Д. Інформаційна система управління вищим навчальним закладом як платформа реалізації управління академічним процесом | — | — | — |
| 2007.0 | About one algorithm of program polynomial invariants generation | — | — | — |
| 2007.0 | ОРГАНІЗАЦІЯ ПРАКТИЧНОЇ РОБОТИ УЧНІВ НА ОСНОВІ ВИКОРИСТАННЯ НАВЧАЛЬНО-ІНФОРМАЦІЙНОГО СЕРЕДОВИЩА “ІнфоНІС” | — | — | — |
| 2007.0 | Інформаційна система управління вищим навчальним закладом як платформа реалізації управління академічним процесом | — | — | — |
| 2006.0 | Принципы проектирования логического вывода в пользовательском интерфейсе школьной системы компьютерной алгебры (ТерМ).« | — | — | — |
| 2006.0 | The basic principles of the construction of pedagogical software support practical training | — | — | — |
| 2006.0 | Основные принципы построения педагогических программных средств поддержки практических занятий | — | — | — |
| 2005.0 | Informatsiina systema upravlinnia vyshchym navchalnym zakladom yak platforma realizatsii upravlinnia akademichnym protsesom [Management information system higher education … | — | — | — |
| 2005.0 | Робоче мiсце вчителя в сучаснiй iнформацiйнiй системi управлiння навчальним процесом | — | — | — |
| 2005.0 | Робоче місце вчителя в сучасній інформаційній системі управління навчальним процесом | — | — | — |
| 2005.0 | Шкільна система комп’ютерної алгебри ТерМ 7-9. Принципи побудови та особливості використання. Науковий часопис НПУ ім. Драгоманова, серія № 2. Комп’ютерно-орієнтовані системи … | — | — | — |
| 2005.0 | Концепція гнучкої розподіленої програмної системи навчального призначення. Географічні інформаційні системи в аграрних університетах. Матеріали міжнародної науковометодичної … | — | — | — |
| 2004.0 | Терм VII–шкільна система комп’ютерної алгебри | — | — | — |
| 2004.0 | Використання методів комп’ютерної алгебри та технології символьних перетворенеь в педагогічних програмних системах. Нові технології навчання: Наук.-метод. зб./Кол. авт | — | — | — |
| 2004.0 | Term VII–shkilna systema kompiuternoi alhebry. | — | — | — |
| 2004.0 | Основи програмування. Навчальний посібник | — | — | — |
| 2003.0 | Проблеми викладання основ алгоритмізації та програмування в школі | — | — | — |
| 2003.0 | Концепцiя програмної системи пiдтримки математичної дiяльностi. Комп’ютерно-орiєнтованi системи навчання: Зб. наук. праць. Вип. 7 | — | — | — |
| 2003.0 | Концепція програмної системи підтримки математичної діяльності | — | — | — |
| 2003.0 | ПМК «Відеоінтерпретатор алгоритмів пошуку та сортування» | — | — | — |
| 2002.0 | Основні задачі проектування комп’ютерних систем підтримки практичної навчальної математичної діяльності | — | — | — |
| 2001.0 | Вступ до об’єктно-орієнтованого програмування: Навчальний посібник | — | — | — |
| 2001.0 | Шляхи удосконалення курсу “Основи алгоритмізації та програмування” у педагогічному вузі | — | — | — |
| 2001.0 | Про один підхід до побудови систем підтримки розв’язання математичних задач, конструйованих за умовою. Комп ‘ютерно–орієнтовані системи навчання: Зб. наук. праць. Вип. 4/Редкол | — | — | — |
| 2001.0 | Роль родного языка в становлении духовного мира личности (Опыт моделирования) | — | — | — |
| 2001.0 | Шляхи удосконалення курсу “Основи алгоритмiзацiї та програмування” у педагогiчному вузi | — | — | — |
| 2000.0 | Вступ до об’єктно-орієнтоване програмування. Навчальний посібник.-Херсон: ХГПУ, 2000.-238 с.: іл. В систематичному вигляді викладаються основи об’єктно-орієнтованого … | — | — | — |
| 2000.0 | Основи алгоритмізації та програмування. Навч. посібник | — | — | — |
| 1998.0 | Методы проектирования систем компьютерной поддержки математического образования | — | — | — |
| 1998.0 | Методи проектування систем комп’ютерної підтримки математичної освіти Математичні моделі і сучасні інформаційні технології: Зб. наук. пр./НАН України | — | — | — |
| 1997.0 | Нові інформаційні технології і початкова освіта | — | — | — |
| 1997.0 | Основи алгоритмізації та програмування: Навчальний посібник | — | — | — |
| 1997.0 | Основи алгоритмізації та програмування | — | — | — |
| 1995.0 | Tools for solving problems in the scope of algebraic programming | 10.1007/3-540-60156-2_4 | — | — |
| 1993.0 | Applied Computer Support of Mathematical Training | — | — | — |
| 1993.0 | AIST: Applied Computer Algebra System | — | — | — |
| 1993.0 | Discovery of invariant equalities in programs over data fields | 10.1007/BF01200151 | — | — |
| 1988.0 | Invariant equalities of small degrees in programs defined over a field | — | — | — |
| 1986.0 | Invariant inequalities in programs interpreted over an ordered field | 10.1007/BF01068351 | — | — |
| 1984.0 | Calculation of invariants of programs interpreted over an integrality domain | 10.1007/BF01068921 | — | — |
| 1973.0 | Commutative closure of regular semigroups of languages | 10.1007/BF01069078 | — | — |
VIII.
Публікації у наукових фахових виданнях (архів)
1
| Рік | Назва | Видання | DOI |
|---|---|---|---|
| 2023 | Задача на найкоротший шлях у графі для виконавця з обмеженими ресурсами | Науковий вісник Івано-Франківського національного технічного університету нафти і газу | https://doi.org/10.31471/1993-9965-2023-2(55)-47-53 |
IX.
Наукові проєкти
2
| Дата початку виконання дослідницької роботи | Дата завершення виконання дослідницької роботи | Назва наукового проекту | Тип наукового проекту | Роль учасника в науковому проекті |
|---|---|---|---|---|
| 2023 | 2023 | Забезпечення розвитку наукового напряму «Технічні науки» Херсонським державним університетом у 2023 році | Держбюджетний НДР | Виконавець |
| 2022 | 2022 | Забезпечення розвитку наукового напряму "Технічні науки" Херсонським державним університетом у 2022 році. | Держбюджетний НДР | Виконавець |
X.
Консультування дисертацій
1
| Дата успішного захисту дисертації здобувачем | Назва дисертації | Повне ім'я здобувача | Інституційна приналежність здобувача | Тип наукового супроводу | Посилання на дисертацію |
|---|---|---|---|---|---|
| 2024 | Розробка системи управління процесами якості освіти університету за допомогою сервісів | Лемещук Олександр Ігорович | no data | Наукове керівництво аспірантом | https://ksu24.kspu.edu/s/PUr6Z |
XI.
Редакційна діяльність
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 |
XII.
Нагороди та відзнаки
18
| Дата | Назва нагороди | Тип |
|---|---|---|
| 2002 | Подяка | ХДУ |
| 2002 | Почесна грамота голови обл.держ.адмін. | Обласні, міські відзнаки |
| 2004 | Подяка | ХДУ |
| 2006 | Подяка | ХДУ |
| 2007 | Почесна грамота | ХДУ |
| 2008 | Почесна грамота обласної ради | Обласні, міські відзнаки |
| 2008 | Подяка | ХДУ |
| 2012 | Подяка | ХДУ |
| 2013 | Подяка | ХДУ |
| 2013 | Подяка | ХДУ |
| 2016 | Грамота | ХДУ |
| 2016 | Почесне звання "Почесний доктор наук ХДУ" | ХДУ |
| 2017 | Почесна грамота Верховної Ради України | Державні нагороди |
| 2018 | Присв.зв."Заслуж.працівик освіти України" | Державні нагороди |
| 2019 | Почесна грамота | ХДУ |
| 2020 | Почесна грамота міського голови | Обласні, міські відзнаки |
| 2021 | Почесна грамота | Відомчі відзнаки МОН |
| 2023 | Нагороджений почесною відзнакою "Срібна медаль ХДУ | ХДУ |