Принятые обозначения

Символы «порядка не более». При сравнении скорости роста двух функций f(n) и g(n) (с неотрицательными значениями) очень удобны следующие обозначения:

f(n) = О(g(п)) существуют константы С, N > 0, такие, что f(n) С g(п) для всех п N;

f(n) = О(g(п)) <=> существуют константы С, N > 0, такие, что f(n) С g(п) для любого п N.

Конечно, f(n) = о(g(п)) тогда и только тогда, когда g(п) = О(f(n)). Символы О(g(п)) и о(g(п)) читаются соответственно: «порядка не более чем g(п) » и «порядка не менее чем g(п) ».

При изучении курса потребуется следующая символика теоретико-множественных операций и отношений: , , \, , , , , (Л), card M< смысловое содержание которой приведено в таблице.

(Л)	пустое множество	M=
,	знак включения подмножества	;
;		;
	не включение подмножества в множество
│M│, (card M)	Мощность множества

По мере необходимости будут вводиться другие символы, смысл которых будет объясняться при их введении.

Индивидуальные символы для обозначения правил сопоставления 2^x множеств. Индивидуальными (именными) знаками отношений являются символы: , , , , =, , , , <, >, ≤, > которые означают:

- символ принадлежности элемента множеству;

 - символ не принадлежности элемента множеству;

 () - символ строгого включения (не включения) подмножества во множество;

= () - символ равносильности (не равносильности) множеств (языковых выражений);

 () - символ нестрогого включения (не включения) одного множества в другое;

<, >, ≤, >; - символ отношений строго меньше, строго больше, меньше и больше.