Headings of the journal
"Educational Resources and Technologies"

Annotation: The problem of verification of logical descriptions of combinational networks is considered for the case when the initial functional description of the network under design has indeterminacy. The proposed verification approach is based on simulation of еру network functionality for the general case when input stimuli are represented by ternary vectors

Annotation: In the article the variability of wind currents on the lake Shira was analyzed in period 2014-2015 years based on the data of field observations. The spectral analysis of internal waves, caused by variable wind, was carried out

Annotation: We construct the algorithm of the family of semi-Lagrangian methods for an advection problem. The algorithm is based on the integral balance equation for the neighborhood of a grid node. This equation involves integrals over two neighboring time levels. We study the effectiveness of the parallel algorithm with OpenMP technology

Annotation: In the article it is about universal design for learning and testing platform game of intelligent systems. Research methods used in the work, based on comparisons of features that provide participants with existing platforms for sports programming. It is expected that designed platform, expanding the list of programming languages can be used, including for the purpose of popularization of competitions on sports programming

Annotation: Is offered methods of the quick education to programming on base of the study of the classes of the problems, designed and using in practice in process of the education to programming student high school