ГЛОССАРИЙ. Биекция ―всюду определенное, функциональное, инъективное и сюръективное соответствие.

Биекция ― всюду определенное, функциональное, инъективное и сюръективное соответствие.

Бинарная операция ― отображение из декартова квадрата множества А в множество А.

Высказывание ― повествовательное предложение, о котором имеет смысл говорить, истинно оно или ложно.

Метод математической индукции ― метод доказательства теорем, основанный на аксиомах Пеано натурального ряда.

n -местный предикат ― логическая функция от n переменных, принимающая значения из множества .

Отношение эквивалентности ― рефлексивное, симметричное и транзитивное отношение.

Тавтология ― логический закон.

Теорема ― высказывание, истинность которого устанавливается на основе доказательства, проводимого с помощью законов логики.

Фактор-множество ― совокупность всех смежных классов множества А по отношению эквивалентности .

ОСНОВНАЯ И ДОПОЛНИТЕЛЬНАЯ ЛИТЕРАТУРА

Основная литература

1. Моторинский, Ю. А., Пайсон, Б. Д. Вводный курс математики [Текст] / Ю. А. Моторинский, Б. Д. Пайсон. – Барнаул: изд. БГПУ, 2005. – 70 с.

2. Пуркина, В. Ф. Вводный курс в математику [Текст] / В. Ф. Пуркина. – Горно-Алтайск: РИО «Универ-Принт», 2001. – 40 с.

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

1. Вернер, А. Л. Вводные лекции по математике [Текст] / А. Л. Вернер. – Л.: ЛГПИ им. А. И. Герцена, 1975. – 156 с.

2. Гибш, И. А. Алгебра [Текст] / И. А. Гибш. ­– М.: Учпедгиз, 1960. – 664 с.

3. Туманов, С. И. Элементарная алгебра [Текст] / С. И. Туманов. – М.: Учпедгиз, 1960. – 686 с.

4. Шахно, К. У. Элементарная математика для окончивших среднюю школу [Текст] /К. У. Шахно. – Л.: изд. Ленинградского университета, 1976. – 432 с.