Факультет комп'ютерних наук, фізики та математики
Permanent URI for this collectionhttps://ekhsuir.kspu.edu/handle/123456789/529
Browse
5 results
Search Results
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.