Компьютерная обучающая система (КОС) «Основы теории множеств и математической логики» предназначена для базовой подготовки обучающихся по специальностям «030501 - Юриспруденция», «030505 – Правоохранительные органы» и др. по соответствующим математическим разделам учебной дисциплины «Математика и информатика».

КОС обеспечивает предъявление учебного материала по представленным темам, его наглядное презентационное представление, содержит примеры решения практических задач, контроль теоретической и практической деятельности учащихся, предполагает подготовку к дальнейшей учебной деятельности (чтение дополнительной литературы, просмотр образовательных источников сети Интернет).

КОС обеспечивает возможность выбора обучающимся наиболее подходящего для него индивидуального темпа изучения материала. КОС предполагает наличие обратной связи, обеспечивая выдачу обучаемым индивидуальных вопросов и заданий (причем существует возможность автоматической генерации большого числа не повторяющихся заданий для контроля) и проверку результатов индивидуальных решений. КОС «Основы теории множеств и математической логики» предоставляет возможность выполнения всех звеньев дидактического цикла посредством единой компьютерной программы без обращения к другим источникам информации.

Построение КОС обеспечивает возможность дополнения или изменения дидактического материала.

Учебный материал, содержащийся в компьютерной обучающей системе «Основы теории множеств и математической логики», изложен в учебных пособиях «Арбузов П.В., Герасименко В.Н., Гуде С.В., Медянцев Д.В. Высшая математика для юристов: учебное пособие. – Ростов-на-Дону: Феникс, 2007»; «Арбузов П.В., Герасименко В.Н., Гуде С.В., Медянцев Д.В. Основы высшей математики для юристов: учебное пособие. Части 1, 2. – Ростов-на-Дону: РЮИ МВД России, 2009»

Компьютерная обучающая система «Основы теории множеств и математической логики» создана на кафедре информационного обеспечения ОВД ФГОУ ВПО "РЮИ" МВД России.