Формальные грамматики и языки
Математическая логика
Числа: натуральные, рациональные, действительные, комплексные
Синтаксические структуры естественного языка и автоматизированных системах общения