Лекции - Машины Тьюринга. Основы теории вычислимости. Булевы функции и пропозициональные формулы