Гладкий А.В.
Синтаксические структуры естественного языка в автоматизированных системах общения
Числа: натуральные, рациональные, действительные, комплексные
Формальные грамматики и языки
Элементы математической лингвистики
Математическая логика
Введение в современную логику
Тренажер для мозга (2 занятия в день по 15 минут)