Применение генетических алгоритмов в проверке логических условийдипломная работа (Бакалавр)