Комбинаторные методы решения логических задач — В учебном пособии изложены основные понятия и сведения теории конечных множеств с элементами теории бинарных отношений и соответствий, а также методы решения логических задач. Рассмотрены методы: кругов Эйлера, с использованием графов и таблиц, перебора предположений об истинности, выбора стратегии и др.