Some methodical recommendations for solution of logical problems in the course of informatics

The increasing role of information technology in all spheres of modern society requires training of specialists with the benefit of information culture, creativity, fast response to the changed conditions of environment. The development of logical thinking is very important for formation of these features. Logic is one of the most important subdisciplines of information science. Analysis of the results of the Unified State Exam on computer science shows that the solution of logical problems is traditionally difficult. In the article we have considered the basic reasons for such difficulties. There is a need to develop methodological recommendations for solving logical problems for computer science teachers and students whose future professional activity is related to information technology. We have presented different ways of solving logical problems, and the effective methods of their application