arXiv subjects

S. O. Semerikov

Publications and source records attributed to S. O. Semerikov.

3 recordsLinked to original sources

arXiv2018

SageMathCloud as the Learning Tool Cloud Technologies of the Computer-Based Studying Mathematics and Informatics Disciplines

The aim of this study is to determine peculiarities of computer-based learning of informatics and mathematical disciplines in cloud-oriented environment SageMathCloud. The objectives of the study is to investigate the didactic potential SageMathCloud, study the structure of SageMathCloud components to create a cloud-oriented software, learning systems and distance learning courses in the mathematics and informatics disciplines. In this paper, the characteristics of the didactic potential SageMathCloud environment for the implementation of computer-based learning natural, mathematics and informatics disciplines with the use of cloud technologies; lists and illustrates the SageMathCloud basic components which can be used in the design of cloud-based software and methodical complex and remote training course.

physics.ed-ph↗

arXiv2018

Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers

The place and role of parsing analysis in formation of professional informatics competences of future informatics teachers is determined. Separated automation tools for lexical (lex) and syntax (yacc) analysis invariant to the programming language used. The expediency of using functional programming languages Scheme and SML is shown for learning how to develop compilers in the course of programming theory. The example of the MosML dialect illustrates the main components of the methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers. The main conclusions and recommendations: 1) the considered example of the expanded calculator can be refined by changing the grammar, in particular - for the introduction of conditional and cyclic constructions; 2) the proposed scheme can be used to implement the interpreter of any formal language with an arbitrary typing method - the appropriate examples of study will be subsets of procedural languages Basic and C and functional languages Scheme and SML: provided the addition of the machine code generation phase, this provides an opportunity to demonstrate the full development cycle for programming language compiler.

cs.PL↗

arXiv2018

A man with a computer face (to the 80th anniversary of Ivan Edward Sutherland)

The article presents the main milestones of the science and technology biography of Ivan Edward Sutherland. The influence of the family and the school on the development of its research competencies is shown, and little-known biographical facts explaining the evolution of his scientific interests is presented: from dynamic object-oriented graphic systems through systems of virtual reality to asynchronous circuits.

cs.GL↗