Методология по дискретной математике

[lepetal]

Добрый день.
Посоветуйте методологию (читай книгу) по дискретной математике, в которой достаточно хорошо и объёмно рассмотрена машина Тьюринга и задачи к ней (рассмотрено несколько примеров и ясен механизм решения):