Шехтман В.Б.
Курс лекций по логике и теории алгоритмов
Тренажер для мозга (2 занятия в день по 15 минут)