Математическая логика. Дискретные функции. Теория алгоритмов