Степанов Е.О.
Основы формальных логических языков
Основы теории алгоритмов
Тренажер для мозга (2 занятия в день по 15 минут)