The textbook contains theoretical material on traditional topics of discrete mathematics and some questions of classical logic. Each chapter has historical material, disassembled tasks indicating the methods of their solutions, a system of exercises for independent work. For students of secondary vocational education institutions studying in the specialties "Automated information processing and management systems (by industry)" and "Computer software and automated systems."