Алгоритмы и структуры данных

Дискретная математика и математическая логика

Теоретические основы дискретных вычислений