Тест по дисциплине «Элементы математической логики»

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

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

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

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

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

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

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

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

• конечным;

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

• пустым;

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

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

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

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

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

• списком.

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

• 8

• 12

• 10

• 9

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

-

• 

• 

• 

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

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

10.

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

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

множествами

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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