Математическая логика и теория алгоритмов

27.03.03 Системный анализ и управление