Факультет комп'ютерних наук, фізики та математики
Permanent URI for this collectionhttps://ekhsuir.kspu.edu/handle/123456789/529
Browse
11 results
Search Results
Item Основи комп’ютерної алгебри та алгебраїчних обчислень(2018) Львов, М. С.Ця книга є навчальним посібником з основ комп’ютерної алгебри та алгебраїчного програмування. Вона містить навчальний матеріал з основ комп’ютерної арифметики (елементарної теорії чисел), технологій алгебраїчного програмування та системи алгебраїчного програмування АПС, методології програмування багатосортних алгебраїчних систем (алгебраїчних обчислень), основних алгоритмів комп’ютерної алгебри та прикладів застосування цих алгоритмів до розв’язання прикладних задач комп’ютерної алгебри. Викладення основ алгебраїчного програмування використовує систему алгебраїчного програмування АПС, розроблену в інституті кібернетики НАН України під керівництвом акад. О.А. Летичевського. Оригінальною є методологія програмування алгебраїчних обчислень, основана на поняттях конструктивного розширення, наслідування та морфізмів багатосортних алгебр. Главу 4 присвячено методам комп’ютерної тригонометрії. Глава 5 містить традиційне викладення класичних алгоритмів комп’ютерної алгебри. Це алгоритми множення та факторизації поліномів, конструктивна теорія поліноміальних ідеалів (базиси Гребнера), алгоритм Штурма уточнення дійсних коренів поліномів, а також приклади використання цих алгоритмів. У заключному параграфі 5-ої викладено оригінальний метод розв’язання систем лінійних нерівностей, оснований на побудові канонічних форм представлення полігонів – розв’язків систем цих систем. За традицією, останню, шосту главу присвячено науковим інтересам автора: алгоритмам комп’ютерної алгебри розв’язання задач статичного аналізу комп’ютерних програм. Книга буде корисною студентам, магістрантам та аспірантам комп’ютерних та математичних спеціальностей університетів, що мають вивчати та використовувати методи комп’ютерної алгебри та технології алгебраїчного програмування.Item Информационные системы учебного назначения кафедры информатики, программной инженерии и экономической кибернетики Херсонского государственного университета: исторический и методологический аспекты(2018) Львов, М. С.Статья посвящена истории исследований методологических, технологических и методических проблем создания, внедрения и использования информционных систем учебного назначения, выполненных на кафедре информатики, програмной инженерии и экономической кибернетики Херсонского государственного университета в течение 30-ти лет ее существования, со времени открытия в 1988 г. под названием Кафедра информатики и вычислетельной техники Херсонского государственного педагогического института и до настоящего времени. Статья содержит представительный список литературы. Это статьи ученых кафедры, посвященные рассматриваемой проблеме.Item Mathematical Models of Supporting the Solution of the Algebra Tasks in Systems of Computer Mathematics for Educational Purposes(2018) Lvov, М.; Shishko, L.; Chernenko, І.; Kozlovsky, Е.; Черненко, І. Є.; Львов, М. С.; Козловський, Є. О.The article describes systems of computer mathematics for educational purposes with intelligent properties oriented to support practical activities of users - students and teachers. Systems of computer mathematics for educational purposes are oriented, first of all, in support of practical activity of users - students and teachers for solving educational mathematical tasks. The article presents mathematical models and methods for solving algebra tasks in systems of computer mathematics for educational purposes.Item SYSTEMS OF COMPUTER MATHEMATICS OF EDUCATIONAL APPOINTMENT AS A MEANS OF RECEPTION OF PROCEDURAL KNOWLEDGE(2016) Lvov, М.; Shishko, L.; Chernenko, І.; Kozlovskiy, Е.; Львов, М. С.; Шишко, Л. С.; Черненко, І. Є.; Козловський, Є. О.This article discusses a system of computer mathematics for educational purposes with intellectual properties oriented to support practical activities of users - students and teachers. Are presented of general theoretical and methodological bases, the functional requirements are formulated to systems of computer mathematics of educational appointment and the models are developed of systems of computer mathematics of educational appointment as systems of support of learning processes.Item REALIZATION OF INTERDISCIPLINARY COMMUNICATIONS OF FUNDAMENTAL DISCIPLINES AND DISCIPLINES OF MATHEMATICAL CYCLE IN THE PREPARATION OF FUTURE PROGRAMMERS(2016) Lvov, M.; Grigorieva, V.; Львов, М. С.; Григор’єва, В. Б.; Григорьева, В. Б.The article is devoted to interdisciplinary communication in the process of preparation of the future programmers and implementation of the basic principles of these relations in the study of disciplines of professional and practical training and math courses. The article deals with the role of interdisciplinary connections, as well as their function and significance for the formation of cognitive activity, independence and positive learning motivation. The focus is on methodological aspects of realization of interdisciplinary communications at studying basic disciplines of training future programmers and disciplines of mathematical cycle. In particular, the issues of realization of interdisciplinary communications during the study such disciplines as "Computer graphics, computational geometry," "Basics of algorithms and programming", "Programming Technologies" and the course "Analytical geometry and linear algebra", which included in to normative part of the training of programmers. This article describes the theoretical aspects of the implementation of interdisciplinary connections in the study of these disciplines, as well as examples of practical tasks with which these relationships can be implemented most effectively during training. Стаття присвячена міжпредметним зв’язкам в процесі підготовки майбутніх програмістів та основним принципам реалізації цих зв’язків при вивченні дисциплін професійної та практичної підготовки та математичних курсів. В статті розкривається роль міжпредметних зв’язків, а також їх функції та значення для формування пізнавальної активності, самостійності та позитивної мотивації навчання. Основна увага приділяється методичним аспектам реалізації міжпредметних зв’язків при вивченні базових дисциплін підготовки майбутніх програмістів та дисциплін математичного циклу. Зокрема, розкриваються питання реалізації міжпредметних зв’язків при вивченні таких дисциплін, як "Комп’ютерна графіка, обчислювальна геометрія", "Основи алгоритмізації та програмування", "Технології програмування" та дисципліни "Аналітична геометрія та лінійна алгебра", що входить до нормативної частини підготовки майбутніх програмістів. Стаття містить як теоретичні аспекти реалізації міжпредметних зв’язків при вивченні вказаних дисциплін, так і приклади практичних завдань, за допомогою яких ці зв’язки можуть бути реалізовані в процесі навчання найбільш ефективно. Статья посвящена междпредметным связям в процессе подготовки будущих программистов и основным принципам реализации этих связей при изучении дисциплин профессиональной и практической подготовки и математических курсов. В статье раскрывается роль межпредметных связей, а также их функции и значение для формирования познавательной активности, самостоятельности и положительной мотивации учения. Основное внимание уделяется методическим аспектам реализации межпредметных связей при изучении базовых дисциплин подготовки будущих программистов и дисциплин математического цикла. В частности, рассматриваются вопросы реализации межпредметных связей при изучении таких дисциплин, как "Компьютерная графика, вычислительная геометрия", "Основы алгоритмизации и программирования", "Технологии программирования" и дисциплины "Аналитическая геометрия и линейная алгебра", которая входит в нормативную часть подготовки программистов. В статье содержатся как теоретические аспекты реализации межпредметных связей при изучении указанных дисциплин, так и примеры практических заданий, с помощью которых эти связи могут быть реализованы в процессе обучения наиболее эффективно.Item The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification(2017) Tarasich, Yu.; Lvov, M.; Peschanenko, V.; Letychevskyi, O.; Тарасіч, Ю. Г.; Львов, М. С.; Песчаненко, В. С.; Летичевський, О. О.A brief review and the results of working with tools for the formulae simplifying are presented. The algorithm for constructing the canonical forms of linear semi-algebraic formulae over the enumerated and multiple types is de-scribed.Item THE STATIC ANALYSIS OF LINEAR LOOPS(2015) Tarasich, Y.; Lvov, M.; Тарасіч, Ю. Г.; Львов, М. С.In the first part of the paper, we consider the problem of generation of polynomial invariants of iterative loops with operator of initialization of loop and non-singular linear operator in the loop body. In the article we also show the algorithm for calculating the basic invariants for linear operator of the Jordan cell, and an algorithm for calculating the basic invariants of diagonalizable linear operator with an irreducible minimal characteristic polynomial. The second part presents a new method for proving the invariance of the system of linear inequalities and of termination of certain linear iterative loops of imperative programs whose data are elements of the constructive linearly ordered field. The theoretical material of the paper is illustrated by examplesItem СОЦИАЛЬНЫЕ СЕТИ КАК СРЕДСТВО ОРГАНИЗАЦИИ УЧЕБНОГО ПРОЦЕССА(2015) Архипова, Т. Л.; Осипова, Н. В.; Львов, М. С.; Архіпова, Т. Л.; Arhipova, Т.; Osipova, N.; Lvov, M.В статье представлен анализ социальных сетей с точки зрения возможностей их использования в системе образования. Интеграция новых информационно- коммуникационных технологий с технологиями обучения постепенно меняет концепцию современного образования и способствует формированию информационно-образовательной среды, ориентированной на интересы и развитие личности, достижение нею современных уровней образованности, интернационализацию и расширение доступа к образовательным ресурсам, создание условий для мобильности студентов и преподавателей, улучшение качества образования и формирование единого образовательного пространства. Особенностью такой среды является обеспечение творческой исследовательской деятельности преподавателя и студентов в процессе обучения. Сетевые сервисы предоставляют средства, при помощи которых студенты могут выступать в роли активных создателей информационного контента. В работе представлены результаты исследования преимуществ и недостатков использования Веб-сообществ в учебном процессе. Сформулированы педагогические условия эффективной организации учебного процесса в виртуальной образовательной среде с использованием социальных сетей. Анализируется опыт применения социальных сетей в учебном процессе вуза. Такие сетевые технологии, как форумы, блоги, вики, образовательные порталы и автоматизированные системы дистанционного обучения, обладая несомненными дидактическими и методическими преимуществами, уступают социальным сетям с точки зрения вовлеченности пользователей в их коммуникационное пространство, а также соответствия интеллектуальным, творческим и социальным потребностям. У статті представлений аналіз соціальних мереж з точки зору можливостей їх використання в системі освіти. Інтеграція нових інформаційно-комунікаційних технологій з технологіями навчання поступово змінює концепцію сучасної освіти та сприяє формуванню інформаційно-освітнього середовища, орієнтованого на інтереси і розвиток особистості, досягнення нею сучасних рівнів освіченості, інтернаціоналізацію та розширення доступу до освітніх ресурсів, створення умов для мобільності студентів і викладачів, поліпшення якості освіти та формування єдиного освітнього простору. Особливістю такого середовища є забезпечення творчої дослідницької діяльності викладача і студентів у процесі навчання. Мережеві сервіси надають засоби, за допомогою яких студенти можуть виступати в ролі активних творців інформаційного контенту. У роботі представлені результати дослідження переваг та недоліків використання Веб-спільнот в навчальному процесі. Сформульовано педагогічні умови ефективної організації навчального процесу у віртуальному освітньому середовищі з використанням соціальних мереж. Аналізується досвід застосування соціальних мереж у навчальному процесі ВНЗ. Такі мережеві технології, як форуми, блоги, вікі, освітні портали та автоматизовані системи дистанційного навчання, володіючи безсумнівними дидактичними та методичними перевагами, поступаються соціальним мережам з точки зору залученості користувачів в їх комунікаційний простір, а також відповідності інтелектуальним, творчим і соціальним потребам. Abstract: This paper presents an analysis of social networks in terms of their possible use in the education system. The integration of new information and communication technologies with the technologies of learning is gradually changing the concept of modern education and promotes educational environment focused on the interests and personal development, achievement of her current levels of education, internationalization and increasing access to educational resources, creating conditions for mobility of students and teachers improving the quality of education and the formation of a single educational space. The peculiarity of such an environment is to provide creative research activity of the teacher and students in the learning process. Network services provide the means by which students can act as active creators of media content. The paper presents the results of a study of the advantages and disadvantages of using web communities in the educational process. Articulated pedagogical conditions of the effective organization of educational process in the virtual learning environment using social networks. The experience of the use of social networks in the learning process of the university. Such networking technologies, such as forums, blogs, wikis, educational portals and automated systems for distance learning, having undoubted didactic and methodological advantages, inferior social networks in terms of involving users in their communication space, as well as compliance with the intellectual, creative and social needs.Item ОСОБЕННОСТИ МАТЕМАТИЧЕСКОЙ ПОДГОТОВКИ ПРОГРАММИСТОВ В ХЕРСОНСКОМ ГОСУДАРСТВЕННОМ УНИВЕРСИТЕТЕ(2014) Архипова, Т. Л.; Львов, М. С.; Архипова, К. С.; Arkhipova, T.; Lvov, M.; Arkhipova, K.Вопросу подготовки программистов посвящены многочисленные научные дискуссии и исследования, так как на эту проблему существуют диаметрально противоположные точки зрения. В статье анализируются учебные планы подготовки программистов в Украине. Рассматриваются основные стандарты на математическую подготовку по специальностям «Компьютерные науки и информационные технологии» и «Инженерия программного обеспечения». Исследуется мотивация студентов к обучению математике. Программист по роду своей деятельности должен уметь строить модель программного продукта, для чего ему необходимы знания, умения, навыки анализа и синтеза широкого диапазона алгоритмов, структур и математических методов, а также выбора адекватных исследованиям методов, средств и технологий. Подготовка программистов в ХГУ ориентирована не только на решение задач определенной предметной области, но и на готовность к самостоятельному приобретению новых знаний и опыта в разных сферах человеческой деятельности, где внедрены информационные технологии. Question of programmers dedicated to numerous scientific debate and research, as this problem there are diametrically opposing views. The article analyzes the educational programmers training plans in Ukraine. The basic standards for mathematical training in the field of "Computer Science and Information Technology" and "Software Engineering". We investigate the motivation of students to learn mathematics. Programmer course of their work should be able to build a model of a software product for which it requires the knowledge, skills, skills of analysis and synthesis of a wide range of algorithms, mathematical methods and structures, as well as the choice of adequate research methods, tools and technologies. Training of KSU is focused not only on the tasks a particular subject area, but also on the willingness of independent acquisition of new knowledge and experience in different spheres of human activity, where information technologies are introduced.Item ВИКОРИСТАННЯ СОЦІАЛЬНИХ МЕРЕЖ ЯК ЗАСОБУ АКТИВІЗАЦИИ ПІЗНАВАЛЬНОЇ ДІЯЛЬНОСТІ СТУДЕНТІВ(2015) Архипова, Т. Л.; Осипова, Н. В.; Львов, М. С.У статті аналізуються можливості соціальних мереж для використання в системі освіти. Поєднання інформаційно-комунікаційних технологій та технологій навчання істотним чином впливає на освітній процес в цілому і сприяє формуванню інформаційно-освітнього середовища, особливістю якого є забезпечення активізації пізнавальної діяльності студентів у процесі навчання. У статті аналізується досвід застосування соціальних мереж у навчальному процесі ВНЗ для активізації пізнавальної діяльності студентів. В статье анализируются возможности социальных сетей для использования в системе образования. Сочетание информационно-коммуникационных технологий и технологий обучения существенным образом воздействует на образовательный процесс в целом и способствует формированию информационно-образовательной среды, особенностью которой является обеспечение активизации познавательной деятельности студентов в процессе обучения. В статье анализируется опыт применения социальных сетей в учебном процессе ВУЗа для активизации познавательной деятельности студентов. the article analyzes the potential of social networks for use in the education system. The combination of information and communications technology and learning technologies significantly affects the educational process in General and contributes to the formation of information educational environment, which is a feature ensuring activization of informative activity of students in the learning process.The article analyzes the experience of using social networks in educational process of the University for enhancing cognitive activity of students.