Спирина, М.С. Дискретная математика

|- — выводимость; ; — деление нацело; 2м — булеан множества М\ А" — число размещений из п по т\ С" — число сочетаний из п по т\ Рп — число перестановок из п элементов; В" — и-я декартова степень множества В; N — множество натуральных чисел; Z — множество целых чисел; Q — множество рациональных чисел; К — множество действительных чисел; С — множество комплексных чисел. Сокращения ДНФ — дизъюнктивная нормальная форма; ДСС — десятичная система счисления; КНФ — конъюнктивная нормальная форма; МЗР — младший значащий разряд; ММИ — метод математической индукции; ПСС — позиционная система счисления; СДНФ — совершенная дизъюнктивная нормальная форма; СКНФ — совершенная конъюнктивная нормальная форма.