INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS». Journal of Information Technologies in Education (ITE), n. 6, p. 123–129, 31 May2010.