Формування проектної компетентності майбутніх екологів

We have gained successful experience in conducting educational projects with studentsenvironmentalists of various thematic areas. The topics of ecological projects was related to a practical, professionally oriented block of the curriculum and are intended to deepen the knowledge of individual students in a certain area in order to differentiate the learning process. Most often, project topics relate to a specific practical issue that is relevant to real life. At the same time, it requires the acquisition of students’ knowledge from different subjects stimulates systematic creative thinking, turning up the research skills and opens opportunities for effective using of ICT in the project activity.Ми набули успішного досвіду в проведенні освітніх проектів зі студентами-екологами різних тематичних напрямків. Тематика екологічних проектів була пов'язана з практичним, професійно орієнтованим блоком навчальної програми і покликана поглибити знання окремих студентів з певної галузі з метою диференціації процесу навчання. Найчастіше теми проекту стосуються конкретного практичного питання, що має відношення до реального життя. У той же час, це вимагає засвоєння студентами знань з різних предметів, стимулює систематичне творче мислення, набуття дослідницьких навичок та відкриває можливості для ефективного використання ІКТ у проектній діяльності

Formation of Information Culture of Vocational Education Specialists

This article reflects the system of multilevel continuing professional teaching of vocational education specialists. The basic principles of this process are investigated and the structure of training of vocational education specialists is determined by means of the analysis of the state standards of preparation of graduates in a specialty “Professional education”, educational programs and curricula. There is made comparative analysis of the maintenance of preparation of graduates of a specialty “Professional education” on specializations “Digital technologies” and “Sphere of service (Tourist service)” for formation of their information culture

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

This paper reports a study that has established the possibility of reducing computational complexity while improving the productivity of simplification of Boolean functions in the class of perfect implied normal forms (PINF-1 and PINF-2) using a method of figurative transformations.The method of figurative transformations has been expanded to cover the process of simplifying the functions of the implicative basis by using the developed algebra of the implicative basis in the form of rules that simplify the PINF-1 and PINF-2 functions of the implicative basis. A special feature in simplifying the functions of the implicative basis on the binary structures of 2-(n, b)-designs) is the use of analogs of perfect disjunctive normal forms (PDNF) and perfect conjunctive normal forms (PCNF) of Boolean functions. The specified forms of the functions define transformation rules for the functions of the implicative basis on binary structures.It is shown that the perfect implicative normal form of n-place function of the implicative basis can be represented by the binary sets or a matrix. Logical operations over the structure of the matrix ensure the result from simplifying the functions of the implicative basis. This makes it possible to focus the minimization principle within the truth table of the assigned function and avoid auxiliary objects such as Carnot map, Weich charts, etc.The method under consideration makes it possible:– to reduce the algorithmic complexity of PINF-1 and PINF-2 simplification;– to improve the performance of simplifying the functions of the implied basis by 100‒200 %;– to visualize the process of PINF-1 or PINF-2 minimization;There is reason to argue that minimizing the functions of the implicative basis using a method of figurative transformations brings the task of PINF-1 and PINF-2 minimization to the level of well-researched problems within the class of disjunctive-conjunctive normal forms of Boolean functionsПроведенными исследованиями установлена возможность уменьшения вычислительной сложности, увеличения производительности упрощения булевых функций в классе совершенных импликативных нормальных форм (СИНФ-1 и СИНФ-2) методом образных преобразований.Распространение метода образных преобразований на процесс упрощения функций импликативного базиса осуществлено с помощью разработанной алгебры импликативного базиса в виде правил упрощения СИНФ-1 и СИНФ-2 функций импликативного базиса. Особенностью упрощения функций импликативного базиса на бинарных структурах 2-(n, b)-блок-схем (англ. 2-(n, b)-designs) является использование аналогов совершенных дизьюктивных нормальных форм (СДНФ) и совершенных конъюктивных нормальных форм (ДКНФ) булевых функций. Указанные формы функций определяют правила преобразования на бинарных структурах функций импликативного базиса.Показано, что совершенную импликативную нормальную форму n-местной функции импликативного базиса можно подать бинарными наборами или матрицей. Логические операции над структурой матрицы обеспечивают результат упрощения функций импликативного базиса. Это позволяет сосредоточить принцип минимизации в пределах таблицы истинности данной функции и обойтись без вспомогательных объектов, таких как карта Карно, диаграммы Вейча и др.Рассмотренный метод позволяет:– уменьшить алгоритмическую сложность упрощения СИНФ-1 и СИНФ-2;– увеличить производительность упрощения функций импликативного базиса на 100–200 %;– демонстрировать наглядность процесса минимизации СИНФ-1 или СИНФ-2;Есть основания утверждать, что минимизация функций импликативного базиса методом образных преобразований выводит проблему минимизации СИНФ-1 и СИНФ-2 на уровень хорошо исследованных задач в классе дизъюнктивно-конъюнктивные нормальных форм булевых функцийПроведеними дослідженнями встановлена можливість зменшення обчислювальної складності, збільшення продуктивності спрощення булевих функцій у класі досконалих імплікативних нормальних форм (ДІНФ-1 та ДІНФ-2) методом образних перетворень.Поширення методу образних перетворень на процес спрощення функцій імплікативного базису здійснено за допомогою розробленої алгебри імплікативного базису у вигляді правил спрощення ДІНФ-1 та ДІНФ-2 функцій імплікативного базису. Особливістю спрощення функцій імплікативного базису на бінарних структурах 2-(n, b)-блок-схем (англ. 2-(n, b)-designs) є використання аналогів досконалих диз’юктивних нормальних форм (ДДНФ) та досконалих кон’юктивних нормальних форм (ДКНФ) булевих функцій. Зазначені форми функцій визначають правила перетворення на бінарних структурах функцій імплікативного базису.Показано, що досконалу імплікативну нормальну форму n-місткої функції імплікативного базису можна подати бінарними наборами або матрицею. Логічні операції над структурою матриці забезпечують результат спрощення функцій імплікативного базису. Це дозволяє зосередити принцип мінімізації у межах таблиці істинності заданої функції та обійтись без допоміжних об’єктів, як то карта Карно, діаграми Вейча та ін.Розглянутий метод дозволяє:– зменшити алгоритмічну складність спрощення ДІНФ-1 та ДІНФ-2;– збільшити продуктивність спрощення функцій імплікативного базису на 100–200 %;– демонструвати наочність процесу мінімізації ДІНФ-1 або ДІНФ-2;Є підстави стверджувати, що мінімізація функцій імплікативного базису методом образних перетворень виводить проблему мінімізації ДІНФ-1 та ДІНФ-2 на рівень добре досліджених задач у класі диз’юнктивно-кон’юнктивних нормальних форм булевих функці

РЕЦЕНЗІЯ НА НАУКОВУ МОНОГРАФІЮ Ю. П. БЕНДЕС, В. П. СЕРГІЄНКА, В. Д. СИРОТЮКА «ТЕОРЕТИКО-МЕТОДИЧНІ ЗАСАДИ НАВЧАННЯ ФІЗИКИ МАЙБУТНІХ ФАХІВЦІВ ІТ-ГАЛУЗІ З ВИКОРИСТАННЯМ ІННОВАЦІЙНИХ ТЕХНОЛОГІЙ»

Theoretical and methodological principles of teaching Physics to future IT specialists are substantiated. A methodical system of teaching Physics to students, which contains such basic components as the content of the course, methods, tools and technologies, forms of its organization, educational and information resources, has been developed. The pedagogical conditions for teaching Physics to future specialists in the field of telecommunications are determined, among which the systematic use of visualization of educational material, feedback between the user and computer technology, automation of information and methodological support, management of educational activities, control over learning outcomes.Обгрунтовано теоретико-методичні засади навчання фізики майбутніх фахівців ІТ-галузі. Розроблено методичну систему навчання фізики студентів, яка містить такі основні складові, як зміст курсу фізики, методи, засоби і технології навчання, форми його організації, навчальні й інформаційні ресурси. Визначено педагогічні умови навчання фізики майбутніх фахівців у галузі телекомунікацій шляхом системного використання засобів візуалізації навчального матеріалу, реалізацією зворотнього зв’язку між користувачем та засобами комп’ютерних технологій, автоматизацією процесів інформаційно-методичного забезпечення, організацією управління навчальною діяльністю, контролю за результатами засвоєння знань.

Formation of project competence of future environmentalists

We have gained successful experience in conducting educational projects with studentsenvironmentalists of various thematic areas. The topics of ecological projects was related to a practical, professionally oriented block of the curriculum and are intended to deepen the knowledge of individual students in a certain area in order to differentiate the learning process. Most often, project topics relate to a specific practical issue that is relevant to real life. At the same time, it requires the acquisition of students’ knowledge from different subjects stimulates systematic creative thinking, turning up the research skills and opens opportunities for effective using of ICT in the project activity

Self-Assessment of the Formation of Methodical Competence of Future Computer Science Teachers: Research Problem Analysis

У статті обґрунтовано необхідність підвищення якості методичної підготовки вчителів інформатики, розкрито зміст поняття «методична компетентність майбутнього вчителя інформатики», наведено результати самооцінювання студентів сформованості методичної компетентності. Формулювання проблеми. Упровадження нової парадигми освіти, динамічні перетворення в інформатиці як фундаментальній науці і як шкільному предметі вимагають компетентних учителів інформатики, які готові конструювати і реалізовувати власну методичну систему вивчення шкільного курсу інформатики. З огляду на це необхідно вносити корективи до освітніх програм підготовки вчителів, удосконалювати процеси формування їх фахових компетентностей. Матеріали і методи: теоретичні (аналіз, порівняння, узагальнення, систематизація науково-методичних джерел) та емпіричні (анкетування студентів, спостереження та аналіз результатів). Результати. Вивчення науково-методичних джерел показало, що на етапі здобуття вищої освіти відбувається формування у студента методичної компетентності та її первинне функціонування, а після завершення навчання у ЗВО, у процесі професійної діяльності вчителя – подальший розвиток компетентності. Методична компетентність майбутнього вчителя інформатики є динамічною інтегрованою професійно-особистісною характеристикою особистості, що поєднує знання і уміння, досвід вирішення навчально-методичних завдань з урахуванням особливостей учнів та специфіки предмету, професійно значущі особистісні якості, сприяє успішній методичній діяльності у ЗЗСО. Висновки. Формування методичної компетентності – процес цілеспрямованого включення майбутнього вчителя інформатики у методичну діяльність під час навчання у ЗВО, що забезпечує мотиваційно-ціннісне ставлення до даної діяльності, готовність до організації навчально-пізнавальної діяльності учнів на уроках інформатики; оволодіння сучасними технологіями, аналіз та корекцію результатів власної методичної діяльності, опрацювання досвіду інших учителів.The article substantiates the need to improve the quality of methodological training of computer science teachers, describes the meaning of the concept «methodical competence of future computer science teachers», presents the results of students' self-assessment of the formation of methodological competence. Problem formulation. Implementation of a new education paradigm, dynamic transformations in informatics as fundamental science and as school subject require competent computer science teachers, who are ready to design and implement their own methodological system of studying the school course of computer science. According to this, it is necessary to make adjustments to the teacher training programs, improve the processes of formation of their professional competences. Materials and methods: theoretical (analysis, comparison, generalization, systematization of scientific and methodological sources) and empirical (student questionnaires, observations and results analysis). Results. The study of scientific and methodological sources has showed, that at the stage of higher education, the student develops methodological competence and its initial functioning, and after graduation from a higher education institution, in the process of teacher's professional activity – further competence development. The methodological competence of the future computer science teacher is a dynamically integrated professional-personal characteristic of the personality, that combines knowledge and skills, experience of solving educational problems taking into account the peculiarities of the students and the specifics of the subject professionally significant personal qualities, promotes successful methodical activity in schools. Conclusions. Formation of methodological competence – the process of purposefully incorporating a future computer science teacher into teaching methodological activities in the higher education institution, that provides motivational value to this activity, willingness to organize educational and cognitive activities of students in computer science lessons; mastering modern technologies, analyzing and correcting the results of their own methodical activities, working on the experience of other teachers

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

This paper reports a research that established the possibility of increasing the effectiveness of the method of figurative transformations to minimize partially defined Boolean functions. The method makes it possible, without loss of functionality, to reduce the complexity of the minimization procedure, compared to sorting out binary definitions of partially defined Boolean functions. The interpretation of the result is that the 2-(n, b)-design, 2-(n, x/b)-design systems are a reflection of logical operations. Therefore, the identification of such combinatorial systems in the truth table of logical functions directly and unambiguously establishes the location of logical operations for equivalent transformations of Boolean expressions. This, in turn, implicates an algorithm for simplifying Boolean functions, including partially defined Boolean functions. Thus, the method of figurative transformations simplifies and speeds up the procedure for minimizing partially defined Boolean functions, compared to analogs. This indicates that the visual-matrix form of the analytical method still has the prospect of increasing its hardware capabilities, including in terms of minimizing partially defined Boolean functions. It has been experimentally confirmed that the method of figurative transformations increases the efficiency of minimizing partially defined Boolean functions, compared with analogs, by 100–200 %. There is reason to argue about the possibility of increasing the efficiency of minimizing partially defined Boolean functions in the main and polynomial bases by the specified method. The effectiveness of the method, in particular, is ensured by carrying out all operations of generalized gluing of variables for dead-end disjunctive normal forms (DNF), followed by the use of implicant tables; optimal combination of a sequence of logical operations for gluing variablesПроведеними дослідженнями встановлена можливість збільшення ефективності методу образних перетворень для мінімізації частково визначених булевих функцій. Метод дає змогу без втрати функціональності зменшити складність процедури мінімізації, порівняно з перебором бінарних довизначень частково визначених булевих функцій. Інтерпретація результату полягає у тому, що системи 2-(n, b)-design, 2-(n, x/b)-design є відображенням логічних операцій. Тому виявлення таких комбінаторних систем у таблиці істинності логічних функцій безпосередньо і однозначно встановлює локацію логічних операцій для рівносильних перетворень булевих виразів. Це, у свою чергу, імплікує алгоритм спрощення булевих функцій, у тому числі й частково визначених булевих функцій. Таким чином метод образних перетворень спрощує та пришвидшує процедуру мінімізації частково визначених булевих функцій, порівняно з аналогами. Це вказує та те, що візуально-матрична форма аналітичного методу, все ще має перспективу нарощувати свої апаратні можливості, зокрема й стосовно мінімізації частково визначених булевих функцій. Експериментально підтверджено, що метод образних перетворень підвищує ефективність мінімізації частково визначених булевих функцій, порівняно з аналогами на 100–200 %. Є підстави стверджувати про можливість збільшення ефективності мінімізації частково визначених булевих функцій в основному та поліномному базисах зазначеним методом. Ефективність методу, зокрема, забезпечується проведенням всіх операцій узагальненого склеювання змінних для тупикових диз’юнктивних нормальних форм (ДНФ) з наступним застосуванням імплікантних таблиць; оптимальним комбінуванням послідовності логічних операцій склеювання змінни

Devising A Method of Figurative Transformations for Minimizing Boolean Functions in the Implicative Basis

This paper reports a study that has established the possibility of reducing computational complexity while improving the productivity of simplification of Boolean functions in the class of perfect implied normal forms (PINF-1 and PINF-2) using a method of figurative transformations.The method of figurative transformations has been expanded to cover the process of simplifying the functions of the implicative basis by using the developed algebra of the implicative basis in the form of rules that simplify the PINF-1 and PINF-2 functions of the implicative basis. A special feature in simplifying the functions of the implicative basis on the binary structures of 2-(n, b)-designs) is the use of analogs of perfect disjunctive normal forms (PDNF) and perfect conjunctive normal forms (PCNF) of Boolean functions. The specified forms of the functions define transformation rules for the functions of the implicative basis on binary structures.It is shown that the perfect implicative normal form of n-place function of the implicative basis can be represented by the binary sets or a matrix. Logical operations over the structure of the matrix ensure the result from simplifying the functions of the implicative basis. This makes it possible to focus the minimization principle within the truth table of the assigned function and avoid auxiliary objects such as Carnot map, Weich charts, etc.The method under consideration makes it possible:– to reduce the algorithmic complexity of PINF-1 and PINF-2 simplification;– to improve the performance of simplifying the functions of the implied basis by 100‒200 %;– to visualize the process of PINF-1 or PINF-2 minimization;There is reason to argue that minimizing the functions of the implicative basis using a method of figurative transformations brings the task of PINF-1 and PINF-2 minimization to the level of well-researched problems within the class of disjunctive-conjunctive normal forms of Boolean function