И код направления подготовки

ЗАДАНИЯ И ВОПРОСЫ РУБЕЖНОГО И ПРОМЕЖУТОЧНОГО КОНТРОЛЯ

жүктеу/скачать 341.63 Kb.

бет	24/26
Дата	15.09.2022
өлшемі	341.63 Kb.
	#460790
түрі	Программа дисциплины

1 ... 18 19 20 21 22 23 24 25 26

ДСдляВ СИЛЛАБУС2021 СарсимбаеваСМ (Автосохраненный)

10. ЗАДАНИЯ И ВОПРОСЫ РУБЕЖНОГО И ПРОМЕЖУТОЧНОГО КОНТРОЛЯ
Вопросы для подготовки к 1 аттестации

№	Текст вопроса
	Предмет дискретной математики.
	Множества и основные операции над ними.
	Способы создания множеств. Булеан множеств. Универсум. Диаграмма Эйлера.
	Прямое произведение множеств. Соответствия, отображения и функции.
	Взаимно-однозначное соответствия и мощности множеств.
	Мощность множества. Конечные и бесконечные множества.
	Счетные множества, теоремы о счетных множествах.
	Множества мощности континуума, теорема Кантора.
	Отношения. Унарные, бинарные, тернарные отношения.
	Способы задания бинарных отношений и их основные свойства. Специальные бинарные отношения.
	Матрица бинарного отношения. Специальные бинарные отношения.
	Отношение порядка.
	Элементы математической логики. Логика высказываний.
	Логические операции. Формулы логики высказываний. Исчисление высказываний.
	Аксиоматические теории. Выводимость формул в исчислении высказываний.
	Теорема дедукции. Равносильность формул.
	Булева алгебра. Логические функции одной и двух переменных.
	Суперпозиции функций и формулы.
	Нормальные формы формул, приведение к ДНФ и КНФ.
	Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы.
	Разрешимость. Минимизация в классе дизъюнктивных нормальных форм.
	Полные системы логических функций. Теорема Поста о функциональной полноте.
	Логика и исчисление предикатов. Предикаты, кванторы. Формулы логики предикатов. Аксиомы исчисления предикатов.
	Эффективная вычислимость. Простейшие функции, операторы суперпозиции и примитивной рекурсии, примитивно-рекурсивные функции.

Вопросы для подготовки к экзамену

№	Текст вопроса
	Предмет дискретной математики.
	Множества и основные операции над ними.
	Способы создания множеств. Булеан множеств. Универсум. Диаграмма Эйлера.
	Прямое произведение множеств. Соответствия, отображения и функции.
	Взаимно-однозначное соответствия и мощности множеств.
	Мощность множества. Конечные и бесконечные множества.
	Счетные множества, теоремы о счетных множествах.
	Множества мощности континуума, теорема Кантора.
	Отношения. Унарные, бинарные, тернарные отношения.
	Способы задания бинарных отношений и их основные свойства. Специальные бинарные отношения.
	Матрица бинарного отношения. Специальные бинарные отношения.
	Отношение порядка.
	Элементы комбинаторики.
	Перестановки и подстановки.
	Размещения и сочетания.
	Размещения и сочетания с повторением.
	Разбиения.
	Полиномиальная формула.
	Бином Ньютона.
	Обратные перестановки.
	Представление последовательностей.
	Представление деревьев.
	Представление множеств.
	Методы подсчета и оценивания.
	Производящие функции.
	Виды и способы задания графов.
	Подграфы и части графа. Операции над графами.
	Маршруты. Достижимость. Связность.
	Расстояния в графах.
	Нахождение кратчайших маршрутов.
	Степени вершин.
	Обходы графов. Обходы графа по глубине и ширине.
	Остовы графов.
	Упорядоченные и бинарные деревья.
	Фундаментальные циклы.
	Разрезы.
	Векторные пространства, связанные с графами.
	Раскраски графов.
	Планарные графы.
	Алфавитное кодирование.
	Оптимальное кодирование.
	Коды с обнаружением и исправлением ошибок.
	Элементы математической логики. Логика высказываний.
	Логические операции. Формулы логики высказываний. Исчисление высказываний.
	Аксиоматические теории. Выводимость формул в исчислении высказываний.
	Теорема дедукции. Равносильность формул.
	Булева алгебра. Логические функции одной и двух переменных.
	Суперпозиции функций и формулы.
	Нормальные формы формул, приведение к ДНФ и КНФ.
	Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы.
	Разрешимость. Минимизация в классе дизъюнктивных нормальных форм.
	Полные системы логических функций. Теорема Поста о функциональной полноте.
	Логика и исчисление предикатов. Предикаты, кванторы. Формулы логики предикатов. Аксиомы исчисления предикатов.
	Эффективная вычислимость. Простейшие функции, операторы суперпозиции и примитивной рекурсии, примитивно-рекурсивные функции.
	Оператор минимизации, частично-рекурсивные функции. Тезис Черча.
	Алгебраические структуры. Группы. Циклические группы.
	Группы подстановок. Кольца и поля.
	Элементы теории кодирования. Расстояние Хемминга.
	Теоремы о корректирующей способности кодов.
	Матричное кодирование, групповые коды. Коды Хемминга.

11. Список источников и электронных ресурсо
Основная литература/ материалы

Новиков Ф.А. Дискретная математика для программистов, СПб: Питер, 2004. – 302 с. (на электронном носителе)
Хаггарти Р. Дискретная математика для программистов. – Москва: Техносфера, 2004. – 320 с. (на электронном носителе)

Дополнительная литература/ материалы

Капитонова Ю.В., Кривой С.Л., Летичевский А.А., Луцкий Г.М. Лекции по дискретной математике. – СПб.: БХВ-Петербург, 2004. – 624 с.: ил. (на электронном носителе)
Тишин В. В. Дискретная математика в примерах и задачах. — СПб.: БХВ-Петербург, 2008. — 352 е.: ил. — (Учебная литература для вузов)
Оре О. Теория графов, СПб, Питер, 2009.- 154 с. (на электронном носителе)
Бурбаки Н. Теория множеств, СПб, 2010.- 141 с. (на электронном носителе)
Стяжкин Н.И. Формирование математической логики, 2011(на электронном носителе)

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику, 2012(на электронном

Интернет ресурсы:

www.microsoft.com
http://www.visualstudio.com/
http://msdn.microsoft.com/en-us/vstudio/aa718325.aspx
https://www.dreamspark.com

12. ОЦЕНИВАНИЕ
Учебные достижения студентов оценивается по 100 бальной (%) шкале.

№	Виды текущего контроля	Количество баллов І рубежный контроль-80 баллов, ІІ рубежный контроль -70 баллов					Примечание
1	По лекционным занятиям	в режиме online		в режиме оffline			2 балла- за 1 неделю
	По лекционным занятиям	8 недель - max.16 баллов	7 недель - max.14 баллов	8 недель - max.16 баллов	7 недель - max.14 баллов	online -лекции проводятся в соответствии с расписанием и Syllabus дисциплины, оцениваются соответственно; в оffline режиме успеваемость студентов оценивается по выполненным заданиям на лекциях, отправленных на портал «Univer» (электронная почта используется, если доступ ограничен)
	1.1 Посещение видеолекции	0-4 баллов	0-7 баллов
	1.2 Активность в видеолекциях (вопросы, блиц-вопросы, обсуждение)	0-12 баллов	0-7 баллов	-
	1.1 Создание конспекта лекций на основе видеолекций на YouTube канале и загрузка их на платформу «Univer»	-		0-4 баллов	0-7 баллов
	1.2 Выполнение письменной работы по вопросам лекции (тесты, эссе, словари, глоссарии, таблицы и т. д.)	-		0-12 баллов	0-7 баллов

жүктеу/скачать 341.63 Kb.

Достарыңызбен бөлісу:

1 ... 18 19 20 21 22 23 24 25 26