%0 Journal Article
%D 2008
%T The Methodical Recommendations of Study of a Theme “Normal Forms for the Formulas of Algebra of the Statements” with use of Integrated Program Environment “MatLog”.
%A Y. I. Sinko
%K -
%P 130-139
%X In the article the speech goes about implementation of new information technologies in process of mathematical logic learning at the Kherson State University. The questions of a technique of training to bases of mathematical logic with use of integrated program environment “MatLog” are considered.