Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
СР-Математическая логика-СПО-2КС11-исправленный...doc
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
2.06 Mб
Скачать

Примерная структура заданийдля самостоятельной работы

Наименование и № раздела __________________________________________________________________

Наименование темы рабочей программы и ее № __________________________________________________________________

__________________________________________________________________

№ задания и формулировка самого задания __________________________________________________________________

( может быть изучение документа, инструкции, технологических условий, составление плана ответа и т.д.)

Цель задания (изучение, формирование, закрепление знаний, умений):

Методические указания по выполнению задания для внеаудиторной самостоятельной работы (ключевые моменты изучаемого вопроса, алгоритм выполнения задания):

1.

2.

3.

4.

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

Вопросы для самоконтроля (вопросы способствующие активизации умственной деятельности):

1.

2.

3.

4.

Рекомендуемая литература (указывается печатный источник с указанием страницы, или интернет ресурс с указанием кода доступа):

1.

2.

3.

4.

Форма отчетности (записка, рассказ, сообщение. реферат или отчет выполненный по заранее определенной форме, например работа в рабочих тетрадях оформление таблицы):

Содержание дисциплины «Математическая логика».(116ч.)

Раздел 1. Теория множеств.(36ч.)

Тема 1.1. Общие понятия теории множеств Язык теории множеств.

Самостоятельная работа №1. Изучить свойства счетных множеств.

Тема 1.2. Основные операции над множествами.

Самостоятельная работа №2. Изучить аксиомы множеств, алгоритм доказательства тождества множеств, доказать законы двойственности, законы поглощения.

Самостоятельная работа №3. Решение задач с использованием аппарата теории множеств.

Тема 1.3. Соответствие между множествами. Отображения.

Самостоятельная работа №4. Элементы теории отображения и алгебры подстановок.

Самостоятельная работа №5. Установление взаимно-однозначного соответствия на заданных множествах.

Тема 1.4. Отношения. Бинарные отношения и их свойства.

Самостоятельная работа №6. Изучить понятие равномощного множества.

Самостоятельная работа №7. Установить связь равномощного множества с понятием взаимно-однозначного соответствия, привести примеры решения задач по теме.

Самостоятельная работа №8. Выявление отношений эквивалентности, толетарности, порядка, функциональности.

Тема 1.5. Элементы комбинаторики.

Самостоятельная работа №9. Решение задач на перебор вариантов.

Самостоятельная работа №10. Свойства биноминальных коэффициентов. Треугольник Паскаля.

Самостоятельная работа №11. Применение комбинаторики при вычислении дискретных математических структур.

Тема 1.6. Алгебра подстановок.

Самостоятельная работа №12. Элементы теории отображения и алгебры подстановок.