Комплект контрольно-оценочных средств (КОС) по учебной дисциплине ОП.02 «Дискретная математика с элементами математической логики».
Он разработан для оценки знаний и навыков студентов в области дискретной математики, которая является фундаментом для многих разделов информатики, программирования и искусственного интеллекта. Документ включает:
✓ Планируемые результаты обучения (умения и знания).
✓ Материалы для текущего контроля по 10 темам, охватывающим ключевые разделы дисциплины:
✓ Множества и операции над ними
✓ Бинарные отношения
✓ Алгебра логики (Булева алгебра)
✓ Логические функции и их минимизация
✓ Предикаты и кванторы
✓ Основы теории графов
✓ Алгоритмы на графах
✓ Элементы комбинаторики
✓ Машина Тьюринга
✓ Применение дискретной математики в ИИ
✓ Материалы для дифференцированного зачета (образец билета с теорией и практикой, критерии оценки).
Полный набор практических заданий (тесты, вопросы для устного опроса, практико-ориентированные задачи) по каждой теме.
Курс дает математическую базу, необходимую для понимания логических основ программирования, теории алгоритмов, баз данных, а также методов представления знаний и логического вывода в системах искусственного интеллекта.
СОДЕРЖАНИЕ
1. Паспорт комплекта контрольно-оценочных средств
2. Результаты освоения учебной дисциплины, подлежащие проверке
3. Оценка освоения учебной дисциплины
3.1. Формы и методы оценивания
3.2. Типовые задания для оценки освоения учебной дисциплины
4. Контрольно-оценочные материалы для итоговой аттестации по учебной дисциплине
5. Приложения. Задания для оценки освоения дисциплины
5.1. Приложение 1. Тема 1. Множества и операции над ними
5.2. Приложение 2. Тема 2. Бинарные отношения
5.3. Приложение 3. Тема 3. Алгебра логики (Булева алгебра)
5.4. Приложение 4. Тема 4. Логические функции и их минимизация
5.5. Приложение 5. Тема 5. Предикаты и кванторы
5.6. Приложение 6. Тема 6. Основы теории графов
5.7. Приложение 7. Тема 7. Алгоритмы на графах
5.8. Приложение 8. Тема 8. Элементы комбинаторики
5.9. Приложение 9. Тема 9. Машина Тьюринга
5.10. Приложение 10. Тема 10. Применение дискретной математики в ИИ
