UDC 004.021

FORMATION OF SKILLS OF FORMALIZATION AND MODELING THE PROCESS OF LOGICAL PROGRAMMING

Vankova Valentina Sergeevna1, Martynuk Julia Mihailvona2, Vankov Boris Petrovich3
1Tula State Lev Tolstoy Pedagogical University, candidate of physico-mathematical sciences, associated professor of computer science and information technology
2Tula State Lev Tolstoy Pedagogical University, PhD in Pedagogy, associated professor of computer science and information technology
3Tula State Lev Tolstoy Pedagogical University, candidate of physico-mathematical sciences, associate professor of algebra, geometry and mathematical analysis

Abstract
The article is devoted to formation and development of skills in formalizing and modeling on the example of an artificially created subject areas, as defined among logical tasks of increased complexity or contest. Each of these problems was solved analytically in the classroom for mathematical logic, and then programmed in Prolog. Listings of the programs are high-quality didactic material for the formation of skills of analysis and code optimization.

Article reference:
Formation of skills of formalization and modeling the process of logical programming // Modern pedagogy. 2017. № 3 [Electronic journal]. URL: https://pedagogika.snauka.ru/en/2017/03/6888

View this article in Russian

Sorry, this article is only available in Русский.



All articles of author «Ванькова Валентина Сергеевна»


© If you have found a violation of copyrights please notify us immediately by e-mail or feedback form.

Contact author (comments/reviews)

Write comment

You must authorise to write a comment.

Если Вы еще не зарегистрированы на сайте, то Вам необходимо зарегистрироваться: