Исследование методов решения задач поиска обобщенных булевых соответствий, порожденных предикатами из некоторых классовдипломная работа (Магистр)