INFORMATIONAL-METHODICAL SUPPORT OF THE COURSE «MATHEMATICAL LOGIC AND THEORY OF ALGORITHMS». ITE. 2010;(6):123-129. doi:10.14308/ite000156