Michael Lvov

发表

Computations in Extensions of Multisorted Algebras

Michael Lvov, 2019, ICTERI Workshops.

ABOUT THE ORGANIZATION OF KNOWLEDGE AS A CONTROL FEEDBACK IN THE COMPUTER MATHEMATICS OF EDUCATIONAL APPOINTMENTS

Michael Lvov, Ludmila Shishko, Irina Chernenko, 2013 .

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

Michael Lvov, Ludmila Shishko, Irina Chernenko, 2016, ICTERI.

Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes

Michael Lvov, Ludmila Shishko, Irina Chernenko, 2019, ICTERI Workshops.

Mathematical Models of Supporting the Solution of the Algebra Tasks in Systems of Computer Mathematics for Educational Purposes

Michael Lvov, Ludmila Shishko, Irina Chernenko, 2018, ICTERI Workshops.

Choosing the First Educational Programming Language

Michael Lvov, Vladyslav Kruglyk, 2012, ICTERI.

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification

Yulia Tarasich, Vladimir S. Peschanenko, Michael Lvov, 2017, ICTERI.

Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes

Michael Lvov, Hanna Shmarova, 2017, ICTERI.

Software Module Representing a Geometry Tasks in Mathematical Systems of Educational Appointment

Michael Lvov, Denys Melnyk, 2018, PhD@ICTERI.

The Static Analysis of Linear Loops

Yulia Tarasich, Michael Lvov, M. Lvov, 2015, ICTERI.