This article discusses the main themes of the teaching program in higher education, the formation of special style of thinking that is analytical to solve logical problems and the construction of algorithms.