Search

This article analyzes the peculiarities of teaching English to students of faculties specializing in the study of computer science and Internet technologies. The distinctive features of the vocabular strata which are characteristic of the English language in this professional field are revealed. The study of professional vocabulary layers such as terms, idioms, collocations, abbreviations, set-expressions, jargon and slang is an important aspect of mastering English language. Proficiency and free orientation in these areas of the language are necessary for cross-cultural communication with colleagues from the scientific community, writing qualification papers, scientific articles and presentations as well as participation in international conferences. This will allow graduates of faculties related to computational mathematics and cybernetics to easily join their professional community, discuss problems, receive new information and grow in professional and scientific fields. The authors propose the principles of teaching construction and methodology, including the compilation of textbooks and materials for interactive learning platforms to let the students of the relevant faculties master this lexical base. Examples of tasks and exercises aimed at studying the necessary lexical volume as well as the keys to them are given. Tasks are based on lists of lexical units with explanations and fragments of materials from computer journals, conferences, articles, books and Internet resources containing these units to illustrate their use in speech. The authors successfully apply this methodology in the framework of teaching English to students at the intermediate, upper intermediate and advanced levels. This technique will allow training highly qualified specialists and scientific personnel in the targeted field on the basis of the Faculty of Computational Mathematics and Cybernetics of the Lomonosov Moscow State University and the corresponding faculties of other Higher Educational Institutions.

The purpose of this paper is to give some insights into the immense role of Frege’s first order logic (FOL) in the development of computer science. We argue that the FOL is fundamental in computer science, and that some computer science subfields could not have existed without their theoretical foundations built on this form of logic. Among these subfields, one can mention the Type Theory, Databases, Descriptive Complexity, Artificial Intelligence, Logic Programming, and Automated Theorem Proving. To illustrate our point, an in-depth attention will in particular be given to the foundational development of the most popular logic programming language, PROLOG, and the Automated Theorem Proving (ATP) systems. Importantly, when studying the interactions between logic and computer science in the literature, we can observe a significant gap in the provision of the appropriate abstraction level. Specifically, we often encounter two different levels of abstraction. The first of these is relatively high even when describing technical notions in computer science, which obviously produces a lack of precision. The second adopts a technical-oriented approach which easily makes the topic and discussion unintuitive or inaccessible to the non-specialist. The paper attempts to remedy these problems by adopting a balanced approach that provides a moderate level of abstraction that targets a deeper understanding of the topic without imposing a very technical presentation on the reader

The paper is devoted to the pilot implementation of CPD programs for universities academic staff advanced training in the International Computer Science Continuous Professional Development Centre of Tomsk State University. The Centre was created within the framework of the project “Human Resources for the Digital Economy” of the national program “Digital Economy of the Russian Federation”. The article presents the structure of CPD programs by tracks: research and development, advanced educational technologies and academic programs of a new generation in the IT field. The authors discuss the results of online training of more than 1000 academic stuff members from more than 100 universities for 4 months in the second half of 2020.

The subject of research is theoretical and practical issues of development and implementation of fiscal policy as a tool to influence economic development. The aim of the study computer science in modern education is the search for methods and ways to overcome the problems of development. Research methods. The paper used a set of scientific methods and approaches, including systemic, structural, comparative, factorial, allowing realize conceptual integrity of the study. The results of the work. The features of implementation science in high school. A priority directions of improvement of science teaching in the medium term. Range of application results. Real state education and tools to implement it. Conclusion. To solve the problems of education informatization Ukraine should conduct a comprehensive study on the above mentioned areas with wide involvement in this work of research institutions Pedagogical Sciences of Ukraine, higher education institutions and producers of ICT. Analysis of trends educational reform and capabilities of information technology during their implementation, gives reason to believe that the decisive factor in achieving the main objectives of reforming education is its informatization. An effective system of information education can be made if they are based on the research activities undertaken in the education system, and take into account both the current state and possible transformation of education in the process of reforming the current state and prospects of development of information technology, the latest achievements of pedagogy , psychology and information technology training.

This paper explains the need and provides the main stages of the development of new curricula "Mathematical analysis" for students training areas - computer science, which includes the study of the possible applications of mathematical analysis in information processing algorithmic methods using computer technology.