Оглавление

Введение 3

1.Элементы теории множеств и математической логики 4

1.1 Множества и операции над ними 4

1.2 Законы алгебры множеств 9

1.3 Бинарные отношения и их свойства 12

1.4 Высказывания и операции над ними 16

1.5 Формулы логики высказываний. Равносильность формул 18

1.6 Предикаты и кванторы 22

2. ЭЛЕМЕНТЫ ЛИНЕЙНОЙ АЛГЕБРЫ И АНАЛИТИЧЕСКОЙ ГЕОМЕТРИИ 26

ЗАДАЧИ ДЛЯ КОНТРОЛЬНЫХ РАБОТ 27

Контрольная работа 1 27

Контрольная работа 2 31