Author of the publication

Systems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge.

, , , and . ICTERI, volume 1614 of CEUR Workshop Proceedings, page 215-230. CEUR-WS.org, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Software Module Representing a Geometry Tasks in Mathematical Systems of Educational Appointment., and . PhD@ICTERI, volume 2122 of CEUR Workshop Proceedings, page 73-82. CEUR-WS.org, (2018)Mathematical Models of Supporting the Solution of the Algebra Tasks in Systems of Computer Mathematics for Educational Purposes., , , and . ICTERI Workshops, volume 2104 of CEUR Workshop Proceedings, page 472-487. CEUR-WS.org, (2018)The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification., , , and . ICTERI, volume 1844 of CEUR Workshop Proceedings, page 536-554. CEUR-WS.org, (2017)Computations in Extensions of Multisorted Algebras.. ICTERI Workshops, volume 2393 of CEUR Workshop Proceedings, page 497-512. CEUR-WS.org, (2019)Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes., , , and . ICTERI Workshops, volume 2393 of CEUR Workshop Proceedings, page 41-52. CEUR-WS.org, (2019)Systems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge., , , and . ICTERI, volume 1614 of CEUR Workshop Proceedings, page 215-230. CEUR-WS.org, (2016)The Static Analysis of Linear Loops., and . ICTERI, volume 1356 of CEUR Workshop Proceedings, page 366-381. CEUR-WS.org, (2015)Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes., and . ICTERI, volume 1844 of CEUR Workshop Proceedings, page 380-387. CEUR-WS.org, (2017)Choosing the First Educational Programming Language., and . ICTERI, volume 848 of CEUR Workshop Proceedings, page 188-198. CEUR-WS.org, (2012)Simulation technologies of virtual reality usage in the training of future ship navigators., and . AREdu, volume 2547 of CEUR Workshop Proceedings, page 50-65. CEUR-WS.org, (2019)