
Дискретная математика / 1 5 Вопросы_к коллоквиуму 1
.DOCВопросы для подготовки к коллоквиуму 1
по Дискретной математике
ТЕОРИЯ МНОЖЕСТВ
-
Множество, элемент; равенство, включение множеств; пустое множество, универсальное множество.
-
Операции над множествами. Диаграммы Эйлера-Венна.
-
Разбиение, покрытие множества, булеан множества.
-
Законы алгебры множеств (*)
-
Декартово произведение множеств. Соответствия множеств: отображение, функция, биекция.
-
Отношения на множестве, область определения и область значений. График, граф, схема (диаграмма), матрица бинарного отношения.
-
Операции над отношениями. Обратное отношение, композиция отношений.
-
Свойства бинарных отношений, их иллюстрация на графах.
-
Отношения эквивалентности, классы эквивалентности, фактор-множество.
-
Теоремы (прямая и обратная) о связи разбиения множества и отношения эквивалентности (*).
-
Отношения порядка и строгого порядка. Частично упорядоченные множества. Диаграмма Хассе.
-
Максимальный (минимальный) и наибольший (наименьший) элементы упорядоченного множества. Теорема о максимальнoм (*), o наибольшем элементе (*).
-
Изоморфизм ч.у.м. Теорема об изоморфизме ч.у.м. и подмножества его булеана.
-
Основные понятия реляционной алгебры. Совместимые отношения, операции над совместимыми отношениями. Операции селекции, проекции, соединения и их применение
-
Равномощные множества, классы эквивалентности равномощных множеств. Понятие мощности множества. Конечные и бесконечные множества.
-
Теоремы о конечных множествах: о мощности объединения непересекающихся множеств (*), о мощности произведения множеств (*), о мощности булеана (*), теорема включения-исключения для двух (*) и для r множеств.
-
Счетные множества. Теоремы о подмножестве счетного множества (*), о подмножестве бесконечного множества (*), об объединении двух счетных множеств(*), об объединении счетного и бесконечного множества(*).
-
Несчетные множества. Теорема (Кантора) о мощности множества точек промежутка (0; 1) (*).
-
Теорема о мощности булеана бесконечного множества (*).
-
Сравнение бесконечных множеств по их мощности, теорема Кантора-Бернштейна.
Вопросы для подготовки к коллоквиуму 1
по Дискретной математике
ТЕОРИЯ МНОЖЕСТВ
-
Множество, элемент; равенство, включение множеств; пустое множество, универсальное множество.
-
Операции над множествами. Диаграммы Эйлера-Венна.
-
Разбиение, покрытие множества, булеан множества.
-
Законы алгебры множеств (*)
-
Декартово произведение множеств. Соответствия множеств: отображение, функция, биекция.
-
Отношения на множестве, область определения и область значений. График, граф, схема (диаграмма), матрица бинарного отношения.
-
Операции над отношениями. Обратное отношение, композиция отношений.
-
Свойства бинарных отношений, их иллюстрация на графах.
-
Отношения эквивалентности, классы эквивалентности, фактор-множество.
-
Теоремы (прямая и обратная) о связи разбиения множества и отношения эквивалентности (*).
-
Отношения порядка и строгого порядка. Частично упорядоченные множества. Диаграмма Хассе.
-
Максимальный (минимальный) и наибольший (наименьший) элементы упорядоченного множества. Теорема о максимальнoм (*), o наибольшем элементе (*).
-
Изоморфизм ч.у.м. Теорема об изоморфизме ч.у.м. и подмножества его булеана (*).
-
Основные понятия реляционной алгебры. Совместимые отношения, операции над совместимыми отношениями. Операции селекции, проекции, соединения и их применение
-
Равномощные множества, классы эквивалентности равномощных множеств. Понятие мощности множества. Конечные и бесконечные множества.
-
Теоремы о конечных множествах: о мощности объединения непересекающихся множеств (*), о мощности произведения множеств (*), о мощности булеана (*), теорема включения-исключения для двух (*) и для r множеств.
-
Счетные множества. Теоремы о подмножестве счетного множества (*), о подмножестве бесконечного множества (*), об объединении двух счетных множеств(*), об объединении счетного и бесконечного множества(*).
-
Несчетные множества. Теорема (Кантора) о мощности множества точек промежутка (0; 1) (*).
-
Теорема о мощности булеана бесконечного множества (*).
-
Сравнение бесконечных множеств по их мощности, теорема Кантора-Бернштейна.
Вопросы для подготовки к коллоквиуму 1
по Дискретной математике
ТЕОРИЯ МНОЖЕСТВ
-
Множество, элемент; равенство, включение множеств; пустое множество, универсальное множество.
-
Операции над множествами. Диаграммы Эйлера-Венна.
-
Разбиение, покрытие множества, булеан множества.
-
Законы алгебры множеств (*)
-
Декартово произведение множеств. Соответствия множеств: отображение, функция, биекция.
-
Отношения на множестве, область определения и область значений. График, граф, схема (диаграмма), матрица бинарного отношения.
-
Операции над отношениями. Обратное отношение, композиция отношений.
-
Свойства бинарных отношений, их иллюстрация на графах.
-
Отношения эквивалентности, классы эквивалентности, фактор-множество.
-
Теоремы (прямая и обратная) о связи разбиения множества и отношения эквивалентности (*).
-
Отношения порядка и строгого порядка. Частично упорядоченные множества. Диаграмма Хассе.
-
Максимальный (минимальный) и наибольший (наименьший) элементы упорядоченного множества. Теорема о максимальнoм (*), o наибольшем элементе (*).
-
Изоморфизм ч.у.м. Теорема об изоморфизме ч.у.м. и подмножества его булеана (*).
-
Основные понятия реляционной алгебры. Совместимые отношения, операции над совместимыми отношениями. Операции селекции, проекции, соединения и их применение
-
Равномощные множества, классы эквивалентности равномощных множеств. Понятие мощности множества. Конечные и бесконечные множества.
-
Теоремы о конечных множествах: о мощности объединения непересекающихся множеств (*), о мощности произведения множеств (*), о мощности булеана (*), теорема включения-исключения для двух (*) и для r множеств.
-
Счетные множества. Теоремы о подмножестве счетного множества (*), о подмножестве бесконечного множества (*), об объединении двух счетных множеств(*), об объединении счетного и бесконечного множества(*).
-
Несчетные множества. Теорема (Кантора) о мощности множества точек промежутка (0; 1) (*).
-
Теорема о мощности булеана бесконечного множества (*).
-
Сравнение бесконечных множеств по их мощности, теорема Кантора-Бернштейна.