The book is devoted to the study of one of the basic disciplines of technical education - descriptive geometry. Methods and methods of performing images of various objects using orthogonal projection, solving problems of descriptive geometry both by the traditional method and in the form of a certain algorithm based on formal logic are considered.