заочное ДМ и ТВиМС для подготовки к экзамену / ДМ ПИ doc

Тест

по дисциплине «Математическая логика»

1. Дискретная математика – это раздел математики, изучающий ..........

....................................................................................................................

2. Задачей курса «Дискретная математика» является знакомство и освоение ....................................................................................................

3. Совокупность элементов, объединенных некоторым признаком, свойством, составляют понятие ..............................................................

4. Выберите правильное определение :Множество А является строгим подмножеством множества В, если:

• всякий элемент множества А является элементом множества В;

• часть элементов множества А совпадает с элементами множества В;

• множества А и В равны;

• все элементы множества А входят во множество В, но не наоборот;

5. Выберите правильное определение: Множество, мощность которого равно нулю называется

• конечным;

• бесконечным;

• пустым;

6. Определите способ задания множества

• пораждающая процедура;

• распознающая процедура;

• заданием характеристических свойств;

• рекурсивный способ задания;

• списком.

7. Какова мощность булеана на множестве М=

• 8

• 12

• 10

• 9

8. Какое из приведенных определений множеств А, В, С, Д является некорректным

-

• 

• 

• 

9. Установите определение, соответствующее операции над множествами

№	Операция	№	Определение
			Множество, состоящее из элементов, принадлежащих хотя бы одному из множеств
			Множество, состоящее из элементов, которые принадлежат обоим множествам
			Множество, состоящее только из элементов первого множества

10.

Изобразите на диаграмме Венна операции над множествами

11. Изобразите на диаграмме Венна операции над

множествами

12. Установите соответствие между свойствами отношений и их определениями:

• - симметрично

• - транзитивно

• - анти рефлексивно

• - антисимметрично

• - рефлексивно

13. Подчеркните те свойства, которыми обладает отношение на множестве натуральных чисел «Быть не меньше»

• рефлексивно

• анти рефлексивно

• симметрично

• антисимметрично

• транзитивно

14. Подчеркните те свойства, которыми обладает отношение

на множестве людей «Быть сыном»

• рефлексивно

• анти рефлексивно

• симметрично

• антисимметрично

• транзитивно

15. Подчеркните те свойства, которыми обладает отношение

на множестве элементов ПК «Быть помощником»

• рефлексивно

• анти рефлексивно

• симметрично

• антисимметрично

• транзитивно

16. Вставьте пропущенные слова в определение:

Соответствие называется всюду определенным, если множество всех его ...................................... совпадает со множеством ....

17. Вставьте пропущенные слова в определение:

Соответствие называется сюрьективным, если множество всех его ................................... совпадает со множеством ..... .

18. Вставьте пропущенные слова в определение:

Соответствие называется функциональным, если каждому его .......................... соответствует единственный ............................ .

19. Перечислите свойства взаимно-однозначного соответствия

1. .................................................

2. .................................................

3. .................................................

4. .................................................

20. Множества, равномощные множеству натуральных чисел

называются ......................... .

21. Множества, равномощные множеству действительных чисел

называются ........................... .

22. G – соответствие. Найдите пр₁2=

пр₁4= пр₂5=

пр₁= пр₂=

пр₂3=

22. Подчеркните свойства, которыми обладает соответствие G:

• всюду определено

• сюрьективно

• функционально

• взаимно-однозначно

24. Подчеркните свойства, которыми обладает соответствие G:

• всюду определено

• сюрьективно

• функционально

• взаимно-однозначно

25. Подчеркните свойства, которыми обладает соответствие G:

• всюду определено

• сюрьективно

• функционально

• взаимно-однозначно

26. Даны функции f(x)=2^x, g(x)=3x+2, p(x)=tgx.

Чему равна композиция h=f(p(g(x)))=