- •Кафедра геометрии
- •Вводный курс математики
- •Печатается по решению редакционно-издательского совета университета
- •Содержание
- •Введение
- •Глава 1 элементы теории множеств
- •§1. Понятие множества
- •Будем считать, что множество a задано, если задано правило, позволяющее для каждого объекта а ответить на вопрос: какое из данных утверждений верно аa или aa.
- •§2. Сравнение двух множеств.
- •§3. Кортежи и декартовы произведения множеств
- •Глава 2 элементы математической логики
- •§1. Высказывание и логические операции
- •§2. Логические формулы и их равносильности
- •§3. Предикаты и кванторы
- •§4. Типы теорем. О некоторых методах доказательств теорем
- •Глава 3 отношения и функции
- •§1. Понятие отношения между элементами данных множеств
- •§2. Функциональные отношения
- •§3. Бинарные отношения между элементами данного множества. Отношения эквивалентности
- •Минимум
- •I. Множества и операции над ними
- •II. Высказывания и предикаты
- •III. Отношения и функции
- •Приложение 2 вопросы к зачету по «Вводному курсу математики»
- •Греческий алфавит
- •Латинский алфавит
- •Некоторые стандартные обозначения
- •Литература
Греческий алфавит
|
альфа |
|
иота |
|
ро |
|
бета |
|
каппа |
|
сигма |
|
гамма |
|
ламбда (лямбда) |
|
тау |
|
дельта |
|
ми (мю) |
|
ипсилон |
|
эпсилон |
|
ни (ню) |
|
фи |
|
дзета |
|
кси |
|
хи |
|
эта |
|
омикрон |
|
пси |
|
тета |
|
пи |
|
омега |
Латинский алфавит
A a A a |
a |
J j J j |
йот (жи) |
S s S s |
эс |
B b B b |
бэ |
K k K k |
ка |
T t T t |
тэ |
C c C c |
це |
L l L l |
эль |
U u U u |
у |
D d D d |
дэ |
M m M m |
эм |
V v V v |
вэ |
E e E e |
э |
N n N n |
эн |
W w W w |
дубль-вэ |
F f F f |
эф |
O o O o |
о |
X x X x |
икс |
G g G g |
же |
P p P p |
пэ |
Y y Y y |
игрек |
H h H h |
аш |
Q q Q q |
ку |
Z z Z z |
зэт |
I i I i |
и |
R r R r |
эр |
|
|
Представленный вариант произношения букв является наиболее употребительным, но не единственным.
Приложение 4
Некоторые стандартные обозначения
Теоретико-множественные символы:
x1; x2; ...; xn – элементное множество, состоящее из объектов x1; x2; ...; xn;
x| P(x) – множество всех объектов x, обладающих свойством P(x);
AB – пересечение множеств A, B;
AB – объединение множеств A, B;
A\B – разность множеств A, B;
AB – декартово произведение множеств A, B;
aA – объект a принадлежит множеству A;
AB – множество A включается во множество B;
AB – множества A и B совпадают;
max X – наибольший элемент числового множества X;
min X – наименьший элемент числового множества X;
– пустое множество;
N – множество всех натуральных чисел;
Z – множество всех целых чисел;
Q – множество всех рациональных чисел;
R – множество всех действительных чисел;
(a; b), [a; b), (a; b], [a; b] – числовые промежутки.
Функциональная символика:
= (G; X; Y) – отношение между элементами множеств X и Y;
f: XY, XY – функция f, определенная на X, со значениями из Y;
f(x) – значение функции f в точке x из D(f);
D(f), E(f) – область определения, область значений функции f соответственно;
Гf – график числовой функции f на координатной плоскости;
– сужение функции f на множество X0, X0D(f);
f(X0)= {f(x)|xX0} – образ множества X0 при отображении f, X0D(f);
f-1(Y0)= {x | f(x) Y0} – прообраз множества Y0 при отображении f, Y0E(f);
f-1 – функция, обратная для функции f;
f – суперпозиция (композиция) f и ;
– наибольшее значение функции f на множестве X0;
– наименьшее значение функции f на множестве X0;
f на X0 (f на X0) – числовая функция f возрастает (убывает) на X0.
Логическая символика:
ab, ab, ab – объекты a, b совпадают (равны) по определению;
PQ, P&Q – конъюнкция высказываний (предикатов) P, Q;
PQ – дизъюнкция высказываний (предикатов) P, Q;
PQ – импликация высказываний (предикатов) P, Q;
, P – отрицание высказывания (предиката) P;
PQ – логическое следствие для предикатов P, Q;
PQ – равносильность предикатов P, Q;
x – квантор всеобщности по переменной x;
x – квантор существования по переменной x;
x – квантор существования и всеобщности по переменной x;
x (A(x)B(x)),
x(A(x)B(x)) – простейший вид теоремы.
Обозначения геометрических фигур, величин и преобразований:
[AB] – отрезок с концами A, B;
(AB) – прямая, проходящая через точки A и B;
[AB) – луч с началом A, проходящий через точку B;
|AB| – расстояние между точками A,B;
(ABC) – плоскость, определяемая точками A, B и C;
ABC, B – угол со сторонами [BA) и [BC);
, – величина угла ABC;
c – двугранный угол с гранями и ребром c;
– величина угла c;
– величина угла между прямыми a, b;
– величина угла между плоскостями , ;
– величина угла прямой a и плоскостью ;
a b – прямые a, b являются скрещивающимися;
ab (ab) – прямые a, b (плоскости , ) пересекаются, т.е. ab – одноточечное множество ( – прямая);
a[AB] ([AB]) – прямая a (плоскость ) и отрезок [AB] пересекаются, т.е. a[AB] ([AB]) состоит из одной точки, внутренней для [AB];
(O, r) – окружность с центром O и радиусом r;
AB (ABC) – дуга AB (дуга ABC) окружности;
() – угловая величина дуги AB (дуги ABC) окружности;
, – обозначение вектора;
– нулевой вектор;
, – длина вектора;
– векторы и сонаправлены;
– векторы и противоположно направлены;
() – величина угла между векторами , ;
– скалярное произведение векторов , ;
, [] – векторное произведение векторов , ;
(), – смешанное произведение векторов , и ;
, – параллельный перенос на вектор ();
– поворот вокруг точки O на ориентированный угол ;
– гомотетия с центром O и коэффициентом k;
– центральная симметрия с центром O;
– осевая симметрия с осью l;
– фигуры и конгруэнтны;
– фигуры и подобны;
S() – площадь фигуры .
Алгебраическая символика:
| a |, mod a – модуль (абсолютная величина) числа;
[a], E(a) – целая часть числа;
{a} – дробная часть числа, т.е. a – [a];
a b – целое число а делится на целое число b, т.е. существует число с такое, что a = b c;
– сумма чисел a1, a2, … , an;
– произведение чисел a1, a2, … , an;
– число всех размещений без повторений из n элементов по k;
– число всех сочетаний без повторений из n элементов по k;
– число всех перестановок без повторений из n элементов;
– число всех размещений с повторениями n элементов по k;
– число всех сочетаний с повторениями из n элементов по k;
– число всех перестановок с повторениями из n элементов данного множества с данным кортежем кратности (r1, r2, …, rn);
n! – произведение , где N;
(2n)!! – произведение , где N;
(2n-1)!! – произведение , где N.