Logic is one of the most important sources of development of modern computer science and computer technology. For the first time in domestic literature, the logical prerequisites of computer science are analyzed in detail for a wide range of readers, the key role of logic in programming, in the development of expert systems, in the study of artificial intelligence, in the introduction of modern information technologies is shown. For readers interested in the prospects of the modern computer revolution, especially for those who study and teach computer science.