scholarly journals METHODS FOR FORMING PROFESSIONAL COMPETENCIES IN FUTURE PROGRAMMERS

2021 ◽  
Vol 10 (34) ◽  
Author(s):  
I.V ABRAMOVA ◽  
◽  
T.V RICHTER ◽  
Keyword(s):  
Programming Languages ◽  
Data Structures ◽  
Information Technologies ◽  
Modern Society ◽  
Professional Competencies ◽  
Practical Skills ◽  
Information Protection ◽  
The Everyday ◽  
Programming Systems ◽  
High Level

The presented article is devoted to the formation of professional competencies in future programmers. The relevance of the research is based on the fact that information technologies are used in all spheres of life of modern society, therefore, specialists who can develop and code algorithms for working with information are in great demand. Algorithms form the basis of any information protection process, labor efficiency calculations, therefore it becomes important to form competencies in future IT specialists related to the ability to program using various programming languages and methods, using the main types and data structures from the everyday practice of programmers. As indicators of the effectiveness of methods for the formation of professional competencies, there are competencies: knowledge of modern trends in the development of tools and software; the presence of theoretical knowledge and practical skills that allow you to build an algorithm, analyze its work with different input data and implement it using modern programming languages; the ability to use high-level PL and professional programming systems, tools for solving professional-applied problems in the information sphere of the enterprise. The article deals with traditional and developed by the author methods of teaching programming

scholarly journals ГРАФІЧНИЙ ІНТЕРФЕЙС ЯК ДИДАКТИЧНИЙ КОМПОНЕНТ ЕЛЕКТРОННОГО ПІДРУЧНИКА

2018 ◽  
Vol 67 (5) ◽  
pp. 1
Author(s):  
Oleksandr M. Romanukha
Keyword(s):  
Programming Languages ◽  
Information Technologies ◽  
Cognitive Activity ◽  
Scientific Progress ◽  
Modern Society ◽  
Model Description ◽  
Graphical Interface ◽  
The World ◽  
Human Thinking ◽  
The Individual

This article deals with the issue of updating the principles of creation of e-textbooks via graphical interface. The close attention has to be paid to the transformation of the modern society where the new generation of people uses computers, smartphones and tablets not only as working tools but as the means of discovering the world as well. Therefore the graphical interface is considered the code of understanding the information environment. It is emphasised that the spread of information technologies and information transmission and processing methods have become an integral element of human thinking and perception of the world. Getting most of their information through the Internet modern people perceive process and memorize it according to the principles of the interface and programming languages. In this regard graphical interface is seen as the fundamental of the e-textbook visualization. The article presents the model description of the e-textbook “History of Ukraine” visualized as the cube. Each tier in this cube describes the cultural stratum of the epoch and shows the general dynamics of historical development. Each plane in this cube analyses the content of each problem. Studying every part, students open consistently the horizontal cube stratums and see the topics of the epoch represented by the graphical interface device. Every topic contains visualized scheme with hyperactive dates and surnames with zero traditional text with hyperlinks. The advantage of such e-textbook structure is to rise student cognitive activity due to the new principles of the educational material visualization. The e-textbook interface is intuitive; it can be updated and used to get the insight into selected topics and questions. It has means to activate the resources of human higher nervous system taking into account the individual features of students and topics they are studying. Attention is drawn to the fact that scientific progress has been made possible largely thanks to the improvement of semiotics, that is, the development of our language, especially those of its branches, as the language of symbolic logic, rather than by improving brain function.

ABOUT PROBLEMS AND METHOD OF TEACHING STUDENTS OF SENIOR CLASSES TO THE BASES OF ALGORITHMIZATION AND PROGRAMMING

2020 ◽  
Vol 69 (1) ◽  
pp. 339-345
Author(s):  
N.S. Zaurbekov ◽  
◽  
G.A. Sherkhan ◽  
Keyword(s):  
High School Students ◽  
Programming Languages ◽  
Information Technologies ◽  
Information Modeling ◽  
School Students ◽  
External Conditions ◽  
Self Knowledge ◽  
Modern Information ◽  
High Level ◽  
Algorithmic Thinking

Due to the high level of continuous development of science and technology, programming languages are constantly updated and changed. Programming has become an important tool for the development of creative abilities, intelligence and thinking of students, as well as the formation of knowledge, skills. The article discusses the problems of teaching the basics of programming, which allows them to organize, structure, systematize information and knowledge, understand the importance of information modeling, ways of presenting information and use it in the process of reviewing and making decisions, mastering modern information technologies . Algorithmic thinking grows throughout life under the influence of external conditions and additional factors. The need to search for new effective ways of forming algorithmic thinking in adolescents shows the connection of the importance of personality with the aim of further self-knowledge in the modern computerized world. The main purpose of this article is to identify some of the problems of teaching the basics of programming languages and ways to solve them. The study of the topic “Algorithmization and programming” revealed the importance of an effective method for the formation of algorithmic thinking in high school students in the development of algorithms and their application in solving problems.

Formation of professional competencies of future subject teachers in the field of creating digital educational resources

2021 ◽  
pp. 23-30
Author(s):  
D. D. Bychkova
Keyword(s):  
Information And Communication Technologies ◽  
Information Technologies ◽  
Intellectual Development ◽  
Modern Society ◽  
Educational Process ◽  
Educational Resources ◽  
Professional Competencies ◽  
Professional Activity ◽  
School Students ◽  
Important Place

Modern society is developing under the influence of various factors, among which new information technologies occupy an important place, which make any person’s access to a huge flow of information simply instantaneous. Today, reliable information is one of the important products of society, and a thinking person is the main strategic resource of this society. Therefore, in the information society, the intellectual development of each of its members becomes a priority. In this regard, it is necessary to look for ways to optimize the process of training teachers who are able to organize the educational process in such a way that students develop the knowledge, skills and abilities that will be in demand in their future life and professional activity in the digital economy. Almost all improvements in the educational process are already unthinkable without the use of information and communication technologies, which have colossal didactic capabilities. They can be used in the educational process in two ways: as a powerful teaching tool and as an object of study, which allows you to solve educational problems and achieve set goals in the process of teaching, upbringing and development of students. One of the most effective and productive tasks that arouses great interest and is associated with the use of information technologies in both ways is the task of designing and creating digital educational resources, as well as their application in the educational process. The article provides an example of the implementation of a task related to the development of a digital educational resource for preparation for the Basis State Examination in informatics of ninth-grade secondary school students, which allows future subject teachers to form the professional competencies they need in the field of creating educational resources with their further inclusion in the educational process. 

scholarly journals Informacinių technologijų valstybinio brandos egzamino praktinių užduočių ypatumai

2009 ◽  
Vol 50 ◽  
pp. 136-141
Author(s):  
Jonas Blonskis ◽  
Renata Burbaitė ◽  
Valentina Dagienė
Keyword(s):  
Information Technology ◽  
Problem Solving ◽  
Data Structures ◽  
Information Technologies ◽  
Practical Skills ◽  
State Examination ◽  
Rational Program

Informacinių technologijų valstybinio brandos egzamino sudėtis: IT ir programavimo testas sudaro 50 %, praktinės programavimo užduotys – 50 %. Egzamino programoje numatyta, kad egzamino medžiaga turi tenkinti tokius reikalavimus: žinios ir supratimas – 30 %, praktiniai įgūdžiai – 30 % ir problemų sprendimas – 40 %. Testu tikrinamos žinios ir praktiniai įgūdžiai, praktinėmis užduotimis tikrinamas mokinių gebėjimas savarankiškai, priimti sprendimus, parašyti racionalią programą. Straipsnyje nagrinėjama užduoties sprendimo būdo parinkimo, duomenų struktūrų sukūrimo ir gebėjimų taikyti algoritmus svarba rengiant mokinius informacinių technologijų valstybiniam brandos egzaminui.The Peculiarities of Practical Tasks of Information Technology State ExaminationJonas Blonskis, Renata Burbaitė, Valentina Dagienė SummaryThe composition of Information Technologies State examination (IT SE) is the following: the test of IT and programming composes 50 % and practical programming tasks – 50 %. In the examination program, it is determined that the examination material has to meet the following requirements: knowledge and understanding – 30 %, practical skills – 30 % and problem solving – 40 %. While the test examines the knowledge and practical skills, the practical tasks are used to examine pupils’ ability to think independently, make decisions and write a rational program. It involves selecting a way to solve the task, creating data structures and realizing algorithms to work with data in the mentioned structures, and ability to fi nd nonstandard ways of algorithms application. Some teachers also ascribe task diffi culty to the aforementioned.

scholarly journals Effect of attitudes of information technologies (IT) preservice teachers and computer programming (CP) students toward programming on their perception regarding their self-sufficiency for programmingBilişim teknolojileri (BT) öğretmen adaylarının ve bilgisayar programcılığı (BP) öğrencilerinin programlamaya karşı tutumlarının programlama öz yeterlik algılarına etkisi

2016 ◽  
Vol 13 (1) ◽  
Author(s):  
Mustafa Yağcı
Keyword(s):  
Preservice Teachers ◽  
Programming Languages ◽  
Information Technologies ◽  
Computer Programming ◽  
Problem Solving Skills ◽  
Self Sufficiency ◽  
Medium Level ◽  
Level Of Thinking ◽  
High Level ◽  
Learning Programming

Learning programming requires high level of problem solving skills. Therefore, factors effective on students’ success in programming have been one of the debated subjects in the literature. Moreover, average success levels of students in programming languages course are usually at low level. The reason lying underneath failure of students could also be their readiness for programming and self-sufficiencies in addition to necessity of high level of thinking skill. In this respect, the purpose of the present research is to investigate attitudes of IT preservice teachers and CP students toward computer programming, their self-sufficiency perception toward programming, and the relationship among them. Data was collected from totally 274 participants including 165 IT preservice teachers and 114 CP students. Research results reveal that IT preservice teachers and CP students have medium level of attitude and self-sufficiency perception toward programming. Another research reports that IT preservice teachers have higher self-sufficiency perception regarding programming with respect to CP students. Additionally, no significant relationship was found between attitudes of students toward computer programming and their self-sufficiency perceptions regarding programming. ÖzetProgramlama öğrenimi üst düzey problem çözme becerileri gerektirmektedir. Bu yüzden öğrencilerin programlama başarılarını etkileyen faktörler literatürde tartışılan bir konu olmuştur. Ayrıca öğrencilerin programlama dilleri derslerinde başarı ortalaması genelde düşük düzeydedir. Öğrencilerin başarısız oluşunun altında yatan sebep programlama öğreniminin üst düzey düşünme becerisi gerektirmesinin yanında programlamaya yönelik hazırbulunuşlukları da olabilir. Bu bağlamda bu araştırmanın amacı BT öğretmen adaylarının ve BP öğrencilerinin bilgisayar programlamaya yönelik tutumları, programlamaya ilişkin öz yeterlik algıları ve bunlar arasındaki ilişkiyi incelemek olarak belirlenmiştir. Veriler 165’i BT öğretmen adayı ve 114’ü BP öğrencisi olmak üzere toplam 274 katılımcıdan elde edilmiştir. Araştırma sonuçları BT öğretmen adaylarının ve BP öğrencilerinin orta düzeyde programlamaya yönelik tutuma ve öz yeterlik algısına sahip olduklarını göstermektedir. Cinsiyet, öğrencilerin tutum ve algılarında anlamlı bir farklılık oluşturmamıştır. Sınıf düzeyi BT öğretmen adaylarının tutum ve öz yeterlik algılarında farklılık oluşturmazken BP öğrencilerinin tutum ve algılarında anlamlı bir farklılık oluşturmuştur. Bir diğer araştırma sonucu ise BT öğretmen adaylarının BP öğrencilerinden daha yüksek düzeyde programlamaya ilişkin öz yeterlik algısına sahip olduğudur. Ayrıca öğrencilerin bilgisayar programlamaya yönelik tutumları ile programlamaya ilişkin öz yeterlik algıları arasında anlamlı bir ilişki bulunmamıştır.

SOCIAL PROJECT AS A PLATFORM FOR THE IMPLEMENTATION OF PROFESSIONAL SKILLS OF FUTURE INFORMATICS TEACHERS

2019 ◽  
pp. 16-22
Author(s):  
E. V. Klimenko ◽  
N. S. Buslova
Keyword(s):  
Large Scale ◽  
Modern Society ◽  
Professional Competencies ◽  
Future Teachers ◽  
Professional Skills ◽  
Knowledge And Skills ◽  
Theoretical Reasoning ◽  
Social Project ◽  
The University

The article is devoted to the consideration of ways to solve one of the actual problems in theory and methodology of training and upbringing — the problem of developing professional skills of future informatics teacher. As a way to adapt students to the profession, the possibility of their involvement in social designing was chosen. Participation in social projects contributes to the approbation and introduction of new forms and methods in teaching informatics. Expanding the experience of future teachers in carrying out large-scale events contributes to the formation of a socially adapted personality competitive in modern society. The potential of a social project in consolidating the knowledge and skills obtained during the theoretical training at the university is indicated. In the article, theoretical reasoning is accompanied by examples of real social projects and activities aimed at the formation of professional competencies of future informatics teachers.

CSim 2

2021 ◽  
Vol 43 (1) ◽  
pp. 1-46
Author(s):  
David Sanan ◽  
Yongwang Zhao ◽  
Shang-Wei Lin ◽  
Liu Yang
Keyword(s):  
Programming Languages ◽  
Concurrent Systems ◽  
Theorem Prover ◽  
Compositional Techniques ◽  
Machine Code ◽  
Top Down ◽  
Hol Theorem Prover ◽  
High Level ◽  
High Degree

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.

scholarly journals Integrating Social Determinants of Health to Precision Medicine through Digital Transformation: An Exploratory Roadmap

2021 ◽  
Vol 18 (9) ◽  
pp. 5018
Author(s):  
Ik-Whan G. Kwon ◽  
Sung-Ho Kim ◽  
David Martin
Keyword(s):  
Precision Medicine ◽  
Social Determinants Of Health ◽  
Population Health ◽  
Social Determinants ◽  
Information Technologies ◽  
Healthcare Delivery ◽  
Healthcare Providers ◽  
Determinants Of Health ◽  
Collaborative Tools ◽  
High Level

The COVID-19 pandemic has altered healthcare delivery platforms from traditional face-to-face formats to online care through digital tools. The healthcare industry saw a rapid adoption of digital collaborative tools to provide care to patients, regardless of where patients or clinicians were located, while mitigating the risk of exposure to the coronavirus. Information technologies now allow healthcare providers to continue a high level of care for their patients through virtual visits, and to collaborate with other providers in the networks. Population health can be improved by social determinants of health and precision medicine working together. However, these two health-enhancing constructs work independently, resulting in suboptimal health results. This paper argues that artificial intelligence can provide clinical–community linkage that enhances overall population health. An exploratory roadmap is proposed.

Application of C Sharp and MATLAB Mixed Programming Based on .Net Assembly in Blind Source Separation

2014 ◽  
Vol 599-601 ◽  
pp. 1407-1410
Author(s):  
Xu Liang ◽  
Ke Ming Wang ◽  
Gui Yu Xin
Keyword(s):  
Numerical Calculation ◽  
Programming Languages ◽  
Blind Source Separation ◽  
Source Separation ◽  
Processing System ◽  
Signal Processing System ◽  
Blind Signal Processing ◽  
Blind Signal ◽  
Mixed Programming ◽  
High Level

Comparing with other High-level programming languages, C Sharp (C#) is more efficient in software development. While MATLAB language provides a series of powerful functions of numerical calculation that facilitate adoption of algorithms, which are widely applied in blind source separation (BSS). Combining the advantages of the two languages, this paper presents an implementation of mixed programming and the development of a simplified blind signal processing system. Application results show the system developed by mixed programming is successful.

Sign in / Sign up

Export Citation Format

Share Document