The course offers a broad overview of the methods of setting and solving problems in various applications using the classical logic of first-order predicates. Tasks are performed as proof of theorems in steps, which allows you to formulate an intuitive representation and prove the existence of a solution. Using the language of logic allows you to understand the content of the required procedures and go to algorithmization The interpretation of logic in various fields is widely interpreted. The proposed exercises and examples are illustrated with evidence, if possible verbal, which allows you to gain experience in working with different tasks and directions. It is useful to get acquainted with other interpretations that have developed historically within the framework of classical logic. This is not always a strict theory and more often it is required to determine the properties of new areas and find suitable methods of working with data (facts) The material will be useful for training undergraduates with basic knowledge in discrete mathematics, algorithmization, and programming to understand the need to use logic in any kind of activity. Conforms to the current requirements of the Federal State Educational Standard for Secondary Vocational Education and Professional Requirements. For students of a wide range of engineering specialties (computer systems design, programming, etc.) ) and humanitarian areas, where it is supposed to create and use expert systems (economics, medicine, management, etc.) .