Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

NEWsbornik

.pdf
Скачиваний:
178
Добавлен:
11.06.2015
Размер:
5.12 Mб
Скачать

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Национальный исследовательский ядерный университет "МИФИ"

ОБНИНСКИЙ ИНСТИТУТ АТОМНОЙ ЭНЕРГЕТИКИ

А. З. НАСЫРОВ, З. Х. НАСЫРОВ

СБОРНИК ЗАДАЧ ПО ДИСКРЕТНОЙ

МАТЕМАТИКЕ

Издание второе, дополненное

Редакорверстка

Компьютерная А. З. Насыров ЛР 020713 от 27.04.98

ПечатьПодписаноризографк печати.

Áóì. KYMLUX

ПечФормат.л. 4,7бум. 60×84/16

Заказ

Тираж 200 экз.

Цена договорная

Отдел множительной техники ИАТЭ. 249040, г. Обнинск, Студгородок, 1

ОБНИНСК 2011

ЛИТЕРАТУРА (продолжение)

17.Яхъяева Г.Э. Неч¼ткие множества и нейронные сети. М.: Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2008.

18.Лорьер Ж.-Л. Системы искусственного интеллекта. М.: Мир, 1991.

19.Рейуорд-Смит В.Дж. Теория формальных языков. М.: Радио и связь, 1988.

20.Гулина О.М. Введение в теорию формальных языков. Учебное пособие по курсу "Языки и грамматики. Обнинск: ИАТЭ, 2000.

21.Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.

22.Насыров З.Х. Конспект лекций и задачи по курсу "Дискретная математика". Обнинск: ИАТЭ, 1989.

23.Насыров З.Х. Логика, комбинаторика, графы. Учебное пособие по курсу "Дискретная математика". Обнинск: ИАТЭ, 1990.

24.Насыров З.Х. Элементы теории множеств и общей алгебры. Учебное пособие по курсу "Дискретная математика". Обнинск: ИАТЭ, 1990.

25.Насыров З.Х. Множества, отношения, алгоритмы. Учебное пособие по курсу "Дискретная математика". Обнинск: ИАТЭ, 1997.

26.Насыров З.Х. Дискретная математика. Учебное пособие. Обнинск: ИАТЭ, 1999.

27.Насыров З.Х. Логика, комбинаторика, графы. Учебное пособие по курсу "Дискретная математика". 2-е изд. перераб. Обнинск: ИАТЭ, 2001.

28.Насыров А.З., Насыров З.Х. Алгоритмы и их сложность. Учебное пособие по специальности "Прикладная математика". Обнинск: ИАТЭ, 2002.

29.Насыров А.З., Насыров З.Х. Дискретная математика. Учебное пособие. Обнинск: ИАТЭ, 2003.

74

ПРЕДИСЛОВИЕ

Настоящий "Сборник задач"предлагается студентам, изучающим дисциплины "Дискретная математика"и "Математическая логика и теория алгоритмов"в объеме, предусмотренном госстандартом по направлениям "Вычислительная техника и информатика", "Прикладная математика и информатика"и соответствующим специальностям.

Теоретический и справочный материал в этом пособии отсутствует, включение его потребовало бы увеличения запланированного объема в 2 4 раза. Необходимые теоретические сведения можно найти в литературе, список которой помещен в конце данного "Сборника задач".

Задачи в этом сборнике подобраны с таким расчетом, чтобы часть их можно было использовать для аудиторной работы под руководством преподавателя, а оставшаяся часть рекомендуется автором для самостоятельного решения эти задачи помечены кружочком. К задачам имеются ответы и указания. Кроме того, в данном сборнике имеется раздел, в котором приводятся контрольные задания для рубежного и итогового контроля; каждая задача из этого раздела предлагается в 30 вариантах.

Сборник отражает многолетний опыт преподавания дисциплин "Дискретная математика"и "Математическая логика и теория алгоритмов"в ИАТЭ на кафедре прикладной математики. За эти годы содержание курса "Дискретная математика"постепенно менялось, во-первых, из-за изменения учебных планов, во-вторых, в результате обсуждения программы этого курса с коллегами по работе, им авторы выражают благодарность за полезные советы и замечания по поводу содержания данного сборника.

3

 

y

 

q

 

 

 

 

 

 

y

 

q

 

 

 

 

y

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

6

 

 

 

 

 

1

 

q

 

 

 

 

 

 

1

 

q

 

 

 

 

1

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1−CC

 

q

 

q

q

 

q -

 

1−

CC

 

q

q

 

q

 

q -

1−CC

 

q

q

q

 

q -

 

 

 

 

 

 

O

 

 

C 1−C 1 x

 

O

 

1−C C 1 x

O

 

 

C 1−C 1 x

 

 

 

 

Ðèñ. 21

 

 

 

 

 

Ðèñ. 22

 

 

 

 

Ðèñ. 23

 

 

487. à) s = 0, 24, á) s = 0, 7, â)

s = 0, 58, ã)s = 0, 208.

488. à)

{0.01/x1, 1/x2, 0.3/x3, 1/x4, 0.64/x5}; á)

 

 

 

 

 

 

 

{0.09/x1, 0.3/x3, 1/x4, 0.16/x5}; â)

 

 

 

 

 

 

 

 

 

{0.01/x1, 1/x2, 0.09/x3, 1/x4, 0.64/x5}; ã) {0.09/x3, 1/x4}.

490. à)

p, q, r > 0 è p < 1; б) например, 0 < p < min(q, r).

 

 

 

491.

J0(x) 1 J1(x).

492. 1 J0(x) J1(x).

 

 

 

 

 

 

493.

J1(x) 1 J2(x).

494. x y.

495. x y.

 

 

 

 

 

 

496.

J0(x) y J0(y) x J1(x) J1(y) 1 J2(x) J2(y).

 

 

 

497.

J0(y) x 1 J2(x) J1(y).

498. J0(y) x J0(x) (J1(y)

1 J2(y)) J1(x) J2(y) 1 J2(x) J1(y).

 

 

 

500. x (y z).

499.

J0(x) J1(x) (1 J1(y) J2(y)) J2(x) y.

501.

x y z.

502. 2j0(x) + j1(x) = 2x + 2.

 

 

 

 

 

 

503.

j0(x) + 2j1(x) = x + 1.

 

 

 

 

 

 

 

 

 

 

 

504.

j0(x)y+j1(x)(1+j2(y))+2j2(x) = x2(y2 +y)+x(y2 +2y+1)+y.

505.

j1(x)(1 + 2j0(y)) + j2(x)y = x2(2y2 + 2y) + x(2y2 + y).

506.

j0(x)y + j1(x)(y + 1) + j2(x)(y + 2) = x + y.

 

 

 

 

507.

2j0(x) + j1(x)(2 + 2j0(y)) + j2(x)y =

 

 

 

 

 

 

 

x2(2y2 + 2y) + x(2y2 + y + 2) + 2.

 

 

 

 

 

 

 

 

 

508.

j0(x)(j0(y)z + j1(y)(z + 1) + j2(y)(z + 2)) + j1(x)(j0(y)(z + 1)+

+j1(y)(z + 2) + j2(y)z) + j2(x)(j0(y)(z + 2) + j1(y)z + j2(y)(z + 1)) = = x + y + z.

72

à)15. Найдите значения x, y, z , åñëè

x yz = 1; á) x y xz = 0.

16.Выразите через и q .

17.Выразите через и q .

18.o Докажите, что q не выражается через è .

Импликация, эквиваленция и сумма по модулю 2

19. С помощью правила исключения импликации докажите, что

ã)à) 0 → a = 1;

á) 1 → a = a;

â) a → a = 1;

o a → 0 =

a

;

 

ä) a → 1 = 1;

å)

a

→ a = a.

20.

Докажите следующие свойства импликации:

â)à) a → b =

 

a

;

 

á) a → (b → c) = (a → b) → (a → c);

b

o (a → c)(b → c) = (a b) → c;

ã)o (a → b)(a → c) = a → bc.

21.

Приведите пример, когда

 

 

 

 

 

â)à) a → b =6 b → a;

 

 

 

á) a(b → c) =6 ab → ac;

a → (b → c) =6 (a → b) → c.

 

 

 

 

 

22.

С помощью правила исключения эквиваленции докажите:

à) a 0 =

 

a

; á) a 1 = a; â) a a = 1; ã) a

a

= 0.

23.

Докажите следующие свойства эквиваленции:

â)à) a b = b a;

 

 

á) (a b) c = a (b c);

o a

 

 

 

 

=

a

b;

 

 

 

ã)o a(b c) = ab ac a.

b

 

 

24.o Приведите пример, когда a(b c) =6 ab ac.

25.

Докажите следующие свойства суммы по модулю 2:

à) x 1 =

x

;

á) x x = 0;

â) x(y z) = xy xz .

26.

Докажите следующие равносильности:

â)à) a b = a b 1;

 

 

á) x y z = x y z ;

x y

x

y

= x y

x

y

; ã)o xy yz xz = xy yz xz .

27.o Применяя свойства логических операций докажите, что

à) x xy =

x → y

;

 

 

á) (x → y) (y → x) = x y.

28.

Докажите, что a(b1 b2 . . . bn) = ab1 ab2 . . . abn .

29.

Выразите a b используя a, b, → и константу 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

63.o

q20 → q30R, q30 → q00L(q0q0HL), q31 → q40L,

q40 → q51R(q5q1Z ◦ HL). 426. Например: q10 → q20E(q2q3T ),

q30 → q40R, q41 → q00L(q0q0HL ◦ Z ◦ HL), q40 → q50L, q50 → q61R(q6q1HL2), ãäå

T = HRа) например,◦ F A ◦ T R ◦ HR ◦ T R ◦ C ◦ T R ◦ EQ ◦ HL ◦ T R ◦ HR.

427. A = B = N ; б) например, A = {n Z|n 6 4}, B = N . 429. а) например, A = Z B = N ; б) например,

A = {n Z|n > −4}, B = N . 430. Указание. Используйте, что Q счетно. 431. Указание. См. задачу 430.

432. JA = sg(x −. [x]2). 433. JA = sg(|x − y + 1|).

x

Q

434. JA(x) = sg |x − f(i)|. 436. π(3; 4) = 31, l(33) = 5,

i=0

r(33) = 2. 437. 62. 438. x = 0, y = 1, z = 3. 442. Пусть

рекурсивные= {(x(k), y(kфункции)) | k N. Тогда}, ãäå x(k), y(k) примитивно

0

f(t) = y(µk(x(k) = t)).

443.правилаL = a{b} b{a} . 444. L = {a2b}+c . 445. G имеет имеет правилаI → ε перехода| aA, A → aB , B → bC , C → cD, D → c | cI ; K

 

 

 

 

 

 

 

qca → q

, q

a → q

, q

b → q

, q

c → q

5 ,

 

c → qc

 

 

 

 

 

1

 

 

2

2

 

 

 

 

3

 

3

 

 

4

4

 

 

 

q

 

 

 

G имеет правила I → c | cI

 

| aA, I

→ c | cI

 

5

1 .

446.

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

1 ,

 

A → aB , B → b | bI2 , I2 → aA; K имеет правила перехода

 

q

c → qc

 

q

c → q

, q

a → q

, q

a → q

 

, q

a → qc

q

a → q

3 .

 

1

2 ,

2

 

2

1

3

 

3

 

 

4

 

4

 

 

 

5 ,

5

 

 

 

 

447. G имеет правила I → a | aI | aI1 , I1 → bA, A → bB ,

 

B → c | cI ; K имеет правила перехода q

a → qc

q

a → q

2 ,

 

 

b → q

 

1

b → q

 

c → qc

 

 

b → q

 

 

1

 

 

 

2 ,

2

 

 

 

 

 

q

, q

, q

 

q

.

448. G имеет правила

2

3

 

3

 

4

4

5 ,

5

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I → aA | cB , A → b | bI , B → c | cI ; K имеет правила перехода

q

a → q

, q

b → qc

 

q

a → q

, q

c → q

, q

c → qc

 

q

c → q

3 .

1

2

 

2

4 ,

4

2

1

 

3

 

3

4 ,

4

 

449. G имеет правила I → ε | aA | cD, I1 → aA, A → b | bI1 ,

I

→ cD, D → c | cI ; K имеет правила перехода qca → q

2 ,

2

 

 

 

a → q

 

2

c → q

 

c → q

 

 

 

c → q

 

1

 

 

c

 

q

 

c

, q

c

 

q

.

450. G имеет

qправилаb → q

 

, q

5 ,

2

4 ,

4

2

 

1

3

3

 

5

3

 

 

 

 

 

перехода I → b | aA | bI1 , A → bI , I1 → b | bI1 ; K имеет правила правила q1a → q2 , q1b → q3c , q2b → q1 , q3b → q3c . 451. G имеет

I → a | b | aA | bA,

A → a | b | 0 | 1 | 2 | aA | bA | 0A | 1A | 2A. 452. G имеет правила

I → a | b | aA | bA, A → a | b | 0 | 1 | 2 | aB | bB | 0B | 1B | 2B , B → a | b | 0 | 1 | 2. 453. I → b | aI | bI . 454. I → aA | bB , A → a | aI | bC , B → b | bI | aC , C → aB | bA. 455. G имеет

70

51.o Пусть c

i i

...i

x

x

i

. . . x

i

 

 

i

 

 

 

k в многочлене

Жегалкина, вычисляющего1 2 k коэффициентзначенияприфункции1 2

 

 

Докажите, что

X

 

 

 

f(x1, x2, . . . , xn).

 

 

 

 

 

 

 

 

 

 

ci1i2...ik =

f(σ1, . . . , σn),

 

 

 

 

 

→−

→−

 

 

 

 

 

 

 

 

σ

 

 

 

 

 

 

причем в строке −→

 

 

 

 

 

 

 

номерами

 

α во всех позициях стоят 0, кроме позиций с

i1, i2, . . . , ik , в которых стоят 1.

Реализация булевых функций в ДНФ и КНФ.

Релейно-контактные схемы

В задачах 52 57 требуется найти минимальную ДНФ и построитьзаданнойконтактнуютаблично. схему по этой ДНФ для булевой функции f ,

52.

f(x, y, z) = (1110 1010)T .

 

 

 

53.

f(x, y, z) = (0111 1110)T .

 

 

 

54.o f(x, y, z) = (1011 0011)T .

 

 

 

55.

f(a, b, c, d) = (0 − 4, 6 − 9, 11, 15).

56.o f(a, b, c, d) = (0 − 5, 8, 9, 12 − 14).

57.o f(a, b, c, d, e) = (3, 4, 6, 7, 12, 14, 19, 20, 21, 23, 28, 29).

o

 

 

 

ùèé58.

Пустьот K конъюнкт функции f(x1, x2, . . . , xn), не завися-

юнктамиxэтой.Докажите,функции.что x K è

x

K также являются конъ-

 

1

1

1

59.Докажите, что правило склеивания является следствием правил поглощения и образования союзов.

Âзадачах 60 65 требуется найти минимальную ДНФ и построить контактную схему по этой ДНФ для булевой функции, заданной с помощью формулы.

60.x y x zt y zt.

61.x y z t x y z y z t xy z t x zt.

62.(x yz)( x → y) ( xyz x).

((x y) z) ( x y) z .

7

397. Например, q10 → q20R, q21 → q21R, q20 → q31L, q31 → q31L, q30 → q40R, q41 → q00L. 398. Например,

q10 → q20R, q21 → q21R, q20 → q31R, q31 → q31R, q30 → q40L,

q41 → q50L, q51 → q51L, q50 → q00E .

399. Например,

 

 

Например,,

→ q31R

,

q31 → q21R

,

q20 → q00E

,

q30 → q30E

.

q10 → q2

0R q21

 

 

 

 

400.

 

q10 → q20R, q21 → q31R, q31

→ q41R,

 

 

Например,,

→ q00E

,

q30 → q30E

,

q40 → q40E

.

 

 

 

q41 → q2

1R q20

 

 

 

 

 

 

401.

 

q10 → q20R, q20 → q21R, q21

→ q31R,

 

 

Например:,

→ q40L

,

q41 → q51L

,

q51 → q40L

,

 

q50 → q00E

.

 

q31 → q3

1R q30

 

 

 

 

 

 

 

402.

 

q10 → q20R, q21 → q21R, q20

→ q30L,

 

 

q30 → q40R, q40 → q50R, q50 → q00E , q51 → q51E , q31 → q60R, q60 → q71R, q70 → q70E , q71 → q81R, q81 → q81R, q80 → q90L,

Например,,

1 → q110L

,

q111 → q111L

,

q110 → q20E

.

 

q91 → q100L q10

 

 

 

 

403.

q10 → q20R, q20 → q00L, q21 → q31R,

 

 

Например,,

→ q40L

,

q4

1 → q50L

,

q51

→ q51L

,

q50

→ q00E

.

q31 → q31R q30

 

 

 

 

404.

q10 → q20R, q21 → q21R, q20 → q30L,

 

 

q30 → q30E , q31 → q40L, q40 → q40E , q41 → q50L, q51 → q51L,

q50 → q00E . 405. Например, q10 → q20R, q20 → q01L,

Например,,

→ q30R

,

q3

0

→ q40L, q40 → q40L, q41

→ q00L.

q21 → q3

1R q31

 

406.

 

q10 → q20R, q21 → q21R, q20 → q31R,

 

q31 → q41R, q41 → q41R, q40 → q50L, q51 → q60L, q61 → q61L,

Например,,

→ q70L

,

q71 → q70L

,

q7

0

→ q00E .

q60 → q0

0E q30

 

 

407.

 

q10 → q20R, q21 → q21R, q20 → q31L,

q31 → q40R, q41 → q41R, q40 → q50L, q51 → q60L, q61 → q70L, q71 → q71L, q70 → q20E , q60 → q81L, q81 → q81L, q80 → q00E , q30 → q90R, q91 → q91R, q90 → q100L, q101 → q100L,

Например,. 408. Аналогично программе для

x −. y.

q100 → q0

0E

 

409.

 

q10 → q20R, q21 → q30R, q31 → q31R,

q30 → q40L, q41 → q50L, q51 → q51L, q50 → q21R, q40 → q20E ,

q20 → q60L, q61 → q61L, q60 → q00E . Указание.

f(x) =Например,1 + f(x − 2). 410. Аналогично программе для [x/2].

411. q10 → q20R, q20 → q00L, q21 → q31R,

q30 → q40L, q41 → q00L, q31 → q50R, q51 → q50R, q50 → q60L,

q60 → q60L, q61 → q01L. 412. Например, q10 → q20R,

q20 → q00L, q21 → q31R, q30 → q40L, q41 → q01L, q31 → q50R, q50 → q60L, q60 → q40L, q51 → q70R, q71 → q70R, q70 → q80L,

68

71. f(x, y, z) = (1111 0010)T .

72. g(a, b, c, d) = (0000 0001 1101 0001)T .

73.o f(a, b, c, d) = (1100 1010 0011 0010)T .

В задачах 74 76 требуется найти минимальную КНФ для булевой функции, заданной с помощью формулы.

74. (a b (b → c)) → a c.

75. (c → b) → (a bc ac).

76.o ((d → bc) → (a(b c) bc)) a bc.

Функциональные схемы.

Полнота систем булевых функций

В задачах 77 79 требуется из элементов И-НЕ построить функциональную схему, реализующую указанную булеву функцию.

77. f(x, y, z) = xy xz yz .

78. g(a, b, c, d) = (0 − 4, 7, 11, 12, 15).

79.o f(a, b, c) = (a c) → b(a → c).

80. Стрелкой Пирса называется функция x ↓ y = (1000)T . Äî- кажите, что {x ↓ y} базис, выразите в нем , , q .

o

â81ýòîé. Докажите,системе что система {x → y, 0} образует базис, выразите

, ,

В задачах 82 85 требуетсяq . проверить полноту данной систе-

мы булевых функций и указать базис.

82.

{x → y, x →

yz}.

 

83.o {

x

y

 

x

z

 

y

z, 1}.

84.

{(0110 1001)T , (1000 1101)T , (0001 1100)T }.

85.o {

x

x

. . . x

n

} элемент "ИЛИ-НЕ" с n входами.

 

1

2

 

 

 

 

 

86.Докажите, что q нельзя выразить через {, , →, }.

87.Докажите, что нельзя выразить через {, , }.

88.o Докажите, что нельзя выразить через {q, }. 9

306.

an = (5 + 2n)2n , bn = −(1 + 2n)2n .

 

 

 

 

 

an = (1 +

 

2)n−2 + (1 −

2)(−

2)n−2 ,

 

 

307.

2)(

 

 

bn = (

2)n−3 + (−

2)n−3 . 308. an = 8n − 7 + (−1)n ,

 

bn = 8Íàn − 9 − (−1)n . 309. an = 3n

1

.

310. xn = cos nα.

 

n

 

311.

2

 

 

 

 

 

 

 

 

 

 

3

+ 5n + 6)/6 частей.

Указание(n + .n + 2)/2 частей. 312. Íà (n

 

313.

 

1 + 4anan+1 = (an+2 − an+1 − an)2 .

 

 

 

x1 : (x1, x2 ? 2) x2

: (x1 ? 2, x3) x3

: (x2) x4 :

 

316.

Указание. Четные;

 

степени можно;

 

 

реализовать;

петлями.

.

317.

одновременно319. Указаниевершину.Простойстепениграфа с0 nи вершинувершинамистепенине может иметь

 

 

n −

 

 

 

 

 

 

 

 

 

 

 

 

 

n − 1.

 

n

 

/

 

. 321. n

 

m

 

n

 

 

323. Ребрами

 

 

 

320.

1)

2

(2

+

)

.

G

1

 

 

(

 

 

 

 

 

 

 

 

будут

внутренние ребра графа

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G

 

 

 

 

 

 

 

 

 

Граф не планарен, т.к2.,он(смимеет.рис.подграф6). 324. 14 способов.

328.

 

 

 

 

 

 

 

 

 

 

 

 

K3,3 . 329. Ïðè

обозначатьm 6 2 èëè nребром6 2. 330красного. n 6 4цвета,.333à. Указаниенезнакомство.Если синимзнакомство

цветом, то из любой вершины выходят по крайней мере три

ребра одного цвета. 334. Расположим вершины x , x , . . . x окружности в вершинах правильного 21-угольника1. Рассмотрим2 21 íà

ãðàô K с вершинами в точках x

1

, x

3

, x

8

, x

9

, x

12 и, вращая его,

получим5 остальные 20 графов

 

 

 

 

 

 

 

K5 .

 

336. 40.

337. d(G1) = 4,

вершинами. .338.

Например,Указание.одноУбедитесь,из двухчто,деревьевесли графсчетырьмя

d(G2) = 3

 

несвязный, то340.

 

 

 

 

 

 

 

 

 

G

 

 

является связным.

 

343. Åñëè n нечетно.

Åñëè

G

 

344.граф имеетmболееиn двухчетнынечетных.346.вершинНельзя,. т.к. соответствующийИмеется3 дерева

 

 

 

347.

Имеется 9

 

 

с пятью и 6 деревьев с шестью вершинами. 349.

 

 

корневых деревьев с пятью вершинами.

350.

à) 4, á) (n−1)(n−2)

â) 28.

3.

Применим к графу

 

 

2

 

,

вершин351степени. 3521 è. 2 вместе с входящимиG воперациюних ребрамиудалениядо тех

пор, пока таких вершин не останется. В получившемся графе

G0

рассмотрите цепи длины 10, выходящие из некоторой вершины

v0 . 353. 9.

357. à) x(x − 1)2 , á) x(x − 1)(x2 − 3x + 3).

 

 

358. x(x − 1)(x − 2)3 . 359. Ñòåê S и очередь T меняются так:

S : 1, 6, 7, 2, −2, 3, 4, −4, −3, 5, 8, 9, 10, −10, −9, −8, −5, −7, −6, −1;

T : 1,Øàã6, −1возврата, 7, −6, 2, 3происходит, 4, 5, −7, −2против, −3, −4стрелки, 8, −5, 9.,Ñòåê10, −8, −9, −10.

360.

105. P (x, y) = (x2 + y2 6 1) (xy > 0).

106.o P (x, y) = (|x| > |y|) (|x| > 1).

тинностиВзависимостиследующихот предикатовзначенияпараметра(107 111)a .найдите области ис-

107. P (x) = (x + a < 1) → (1 + a > 2x), åñëè x [0; 1], a R.

108. P (x) = (|3x − a| + |2x + a| 6 5), åñëè x R, a R.

109.o P (x) = (a < x + 1), åñëè x [0; 1], a [0; 3].

110.o P (x) = (x2 + a2 6 1) (x 6 0), åñëè x R, a R. 111.o P (x) = (x2 + 2|x + a| + 32 a < 0), åñëè x R, a R.

Кванторы и их свойства

112. Вычислите значения предикатов

Aà) = x(x > 2 x < 5) è B = x(x > 2 x < 5), åñëè x [3; 4], á) x [0; 2], â) x N.

à)113.o Сравните значения высказываний A è B , åñëè

á) A = x(x > 2 x < 3), B = x(x > 2) x(x < 3), x R;

A = x(x > 2 → x < 5), B = x(x > 2) → x(x < 5), x [3, 6].

114. Найдите области истинности следующих предикатов:

à)â) x(x2 + y2 6 1),

á) x(x2 + y2 > 1),

x(x2 + y2 > 1),

ã) x(x2 + y2 6 1).

В задачах 115 118 требуется найти множество всех значений y, для которых является истинным указанный предикат P (y).

115. x(xy < 1 → x > −1), åñëè x, y R.

116. x(y > x2) (y 6 1), åñëè x R, y [−2; 2].

117. (y > 5) x(y > x2), åñëè x [−2; 2], y R.

118.o y > 0 x(x2 + y2 6 2 y > x), åñëè x, y R.

сравните119. Докажите,значениячтовысказыванийx P (x) x Q(x) = x(P (x) Q(x));

A = x(x < 2 x > 3) è B = x(x < 2) x(x > 3), åñëè x R.

66

11

B = , 3) A = B . 170. DR = {1; 2; 3}, VR = {2; 3; 4},

R = {(1; 1), (2; 1), (2; 2), (3; 1), (3; 2), (3; 3), (4; 1), (4; 2), (4; 3), (4; 4)} R−1 =à){(2; 1), (3; 1), (3; 2), (4; 1), (4; 2), (4; 3)}.

171. DR = {1; 2; 3; 4}, VR = {12; 16}, R = {(3; 16), (5; 12), (5; 16)},

R−1 = {(12; 1), (12; 2), (12; 3), (12; 4), (16; 1), (16; 2), (16; 4)}.

172. DR = [0; 2], VR = [−1; 1],

R = {(x, y) | x [0; 3], y [−1; 2], x2 + 4y2 > 4}, R−1 = {(x, y) | x [−1; 2], y [0; 3], 4x2 + y2 6 4}.

173. DR = P (M), VR = P (M), R = {({x}, ), ({y}, ), (M, ), (M, {x}), (M, {y}), ({x}, {y}), ({y}, {x})},

R−1 = {({x}, ), ({y}, ),

(M, ), (M, {x}), (M, {y}), ( , ), ({x}, {x}), ({y}, {y}), (M, M)}.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

174.

R(M) = [0; ∞),

R

(M) = (−∞; 4), R−1

(M) = [− 2;

2].

 

 

R(M) = (−∞; 3],

 

(M) = (−1; ∞), R−1(M) = [−4; ∞).

 

175.

R

 

176. Все точки плоскости

. 177.

R1 ◦ R2

 

 

 

2

.

 

R1 ◦ R2

= {(a, p), (a, q)}

 

= {(x, z)|z > 2x }

 

178.

R1 ◦ R2

 

 

 

 

R × R.

 

 

 

 

 

 

 

 

179.

= {(x, z)|0 6 x 6 1, x 6 z 6 1}.

188. а) Например,

R = {(a, a), (b, b), (c, c), (a, b), (b, c), (b, a), (c, b)}, б) например,

 

á)R =например,{(a, a)}. 189. а) Например, R = {(a, a), (b, b), (c, c), (a, b)},

R= {(a, a), (b, b), (a, b), (b, a)}.

190.Rt = {(x, y) | y > x + 1}, Rc = {(x, y) | y = x ± 1},

Rr = {(x, y) | x 6 y 6 x + 1}. 191. Например,

R1 = à){(1, 2), (2, 1)}, R2 = {(1, 3), (3, 1)}.

201. Ka = {a, b}, Kc = {c}, á) K0 = {3k},

K1 = {3k + 1},K2 = {3k + 2}, ãäå k Z, â) Kx = x + Z, x [0; 1). 202. R =

{(a, a), (b, b), (c, c), (d, d), (b, c), (c, b), (b, d), (d, b), (c, d), (d, c)}.

→−

−→→−

−→→−

}. 210. а) например,

204. Kx = { y

M | P r c y = P r c x

M= {a, b, c, d}, R = {(a, c), (a, d)} IM , A = M ; б) например,

M= {a, b, c}, R = {(a, c), (b, c)} IM , A = {a, b}; в) например,

A = M = {x} (0; 1), считая, что x несравним с любым y (0;Например,1); г) например, M = (−∞; ∞), A = (0; 1).

212.

R1 = {(a, a), (b, b), (c, c), (a, b)},

(m, n) 6

0

0

åñëè

 

.

213. Например,

 

(m , n )

R2 = {(a, a), (b, b), (c, c), (b, c)}

 

 

(m + n) < (m0 + n0) ((m + n) = (m0 + n0) m 6 m0).

64

,

,

В задачах 131 135 найдите предваренную и сколемовскую форму указанного предиката.

131. x y P (x, y) → x Q(x).

132. x y P (x, y) x Q(x).

133. x P (x) x Q(x).

134. P (x) x Q(x).

135.o x P (x) x Q(x).

136. Запишите в предваренной форме следующие утверждения: б)а) f(x) непрерывна на множестве M ,

â) f(x) равномерно непрерывна на множестве M ,

f(x) не является равномерно непрерывной на множестве M .

2. Теория множеств

Объединение, пересечение и разность множеств

предикаты:137. Выразите через p = (x A) è q = (x B) следующие

â)à) x A B , x / A B ,

á) x A ∩ B , x / A ∩ B ,

x A \ B , x / A \ B ,

ã) x A4B , x / A4B .

Докажите следующие равенства (138 142).

138.

A (B ∩ C) = (A B) ∩ (A C).

139.

A \ (B C) = (A \ B) ∩ (A \ C).

140.o A \ (B ∩ C) = (A \ B) (A \ C).

141.

(A B) \ C = (A \ C) (B \ C).

142.o (A ∩ B) \ C = (A \ C) ∩ (B \ C).

Докажите следующие утверждения (143 149).

143.

A4B = A \ B B A.

144.o A4B = A B A ∩ B = .

 

A

 

B

 

.

 

145.

B

A

 

 

 

 

 

 

 

13

178.o

полна,x y =базисом(x → 0) является→ y, xy =система,(x → (yсостоящая→ 0)) → 0èç.82второй. Системафункции.

83. Система является базисом. 84. Система полна, базисом является система, состоящая из второй и третьей функции.

85.системыСистемасохраняютполна при1. n >Указание2. 86. Указание.Функции.Функцииданной системыданной

87.

сохраняют 0. 88. Указание. Функции данной системы линейны. 89. а) Например, f(x) = x, á) g(x) = 1, в) например,

hфункции(x, y) = x y. 90. Указание. Найдите все самодвойственные

f(x, y). 91. 16.

92. а) Например,

f(x,à)y, zиспользуйте) = xy xz полнотуyz , б) например, g(x, y, z)) = x y z .

95.

{x → y, 0}, б) используйте полноту

полноту{ x, x y}, в) используйте полноту {xy, x y, 1}, г) используйте

{x y x z y z, 1}. 96. [2; 3). 97. x (−∞; 2) {3}.

98.x (−∞; 1] [2; ∞). 99. x (−∞; 2] [4; 5).

100.

x (2; 4) [5; ∞).

101. x [1; 2].

 

 

 

 

 

6

 

 

 

 

 

 

#

 

 

y

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

"!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ðèñ. 14

 

 

 

 

 

yÐèñ. 15

 

 

y

 

 

 

@

 

 

b

6

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

@

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@

 

 

 

 

-

 

 

 

 

 

 

-

 

 

 

 

 

 

 

 

1

 

 

x

 

1

 

 

x

 

 

 

 

 

 

b

@

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@

 

 

 

 

 

 

 

 

 

@

 

 

 

 

 

 

 

 

 

 

 

 

@

 

Ðèñ. 16 Ðèñ. 17

102. СмЧетвертая.рис. 16четверть.Смплоскости.рис. 15; отмеченные(x, y). 103.областиСм.рис.внутри14.

104. 105.

круга содержат граничные точки, а области вне круга не содержат граничных точек. 106. Ñì. ðèñ. 17. 107. Åñëè

a (−∞; −1], òî x ; åñëè a (−1; 0), òî x [0; a+12 ); åñëè 62

â)á)o A × (B ∩ C) = (A × B) ∩ (A × C), ã)o A × (B \ C) = (A × B) \ (A × C), o A × (B4C) = (A × B)4(A × C).

164. Докажите, что A × B = (A × D) ∩ (C × B), åñëè A C è

B D.

Докажите следующие утверждения (165 168).

165. (A ∩ B) × (C ∩ D) = (A × C) ∩ (B × D).

166.o (A × B) (C × D) (A C) × (B D).

167. (C × D) \ (A × B) = ((C \ A) × D) (C × (D \ B)).

168.o (A×B)4(C ×D) ((A4C) ×(B D)) ((A C) ×(B4D)).

o

 

 

 

 

Докажите,169. Дано,чточто (A × B) (B × A) = C × D, A =6 , B =6 .

A = B = C = D.

 

 

 

, R−1 для указанных

В задачах 170 173 найдите D , V

 

,

 

R

R

R

 

 

 

бинарных отношений R.

 

 

 

 

170. R = {(x, y) | x, y {1; 2; 3; 4}, x < y}.

171.o R = {(x, y) | x {1; 2; 3; 4; 5}, y {12; 16}, y . x}.

172. R = {(x, y) | x [0; 3], y [−1; 2], x2 + 4y2 6 4}.

173.o R = {(a, b) | a, b P (M), a b}, ãäå M = {x, y}.

174. Пусть R = {(x, y) | y > x2}, ãäå x, y R. Найдите R(M),

R(M), R−1(M), åñëè M = [−1; 2].

175.o Пусть R = {(x, y) | x > 2y}, ãäå x, y R. Найдите R(M),

R(M), R−1(M), åñëè M = [−2; 6].

В задачах 176 179 найдите композицию R1 ◦ R2 .

176. R1 = {(a, x), (a, y), (b, y)} {a, b} × {x, y, z}, R2 = {(x, p), (x, q), (z, q)} {x, y, z} × {p, q}.

177. R1 = {(x, y) | y > x2} R × R, R2 = {(y, z) | z > 2y} R × R.

R1 = {(x, y) | y > x2} R × R, R2 = {(y, z) | z 6 2y, } R × R.

15

199.o

 

 

1

0

 

 

 

0

0

 

 

 

2

1

 

24)

0

,

 

1

,

 

0

,

1

1

2

25)

1

1

2

26)

1

2

0

 

2

1

2

 

 

1

2

1

 

 

2

2

1

 

 

 

0

2

 

 

1

0

 

 

1

1

27)

0

,

 

0

,

 

1

.

2

1

2

28)

2

1

1

29)

2

2

0

 

2

2

2

 

 

2

2

2

 

 

0

1

2

 

60

194.o Åñëè

, R2

симметричны и R1 ◦ R2 = R2 ◦ R1 , òî R1 ◦ R2

симметрично.R1

195. Åñëè R рефлексивно, то R R ◦ R.

196.o Åñëè R1

, R2

рефлексивны, то R1 R2 R1 ◦ R2 .

197.Åñëè R транзитивно, то R ◦ R тоже транзитивно.

198.Åñëè R транзитивно, то R ◦ R R.

Åñëè R1 R2 транзитивно, то R1 ◦ R2 R1 R2 .

200.o Åñëè R рефлексивно и транзитивно на M , òî R = R ◦ R. шениями201. Докажите,эквивалентности,что следующиенайдитеотношенияразбиение указанногоR являютсямножеотно--

ства на классы эквивалентности:

á)à) R = {(a, a), (b, b), (c, c), (a, b), (b, a)} íà {a, b, c}, â) R = {(x, y) | (x + 2y) . 3} íà Z,

o R = {(x, y) | y − x Z}, x, y R.

разбивает202. Какоенаотношениеподмножестваэквивалентности множество M = {a, b, c, d}

M1 = {a} è M2 = {b, c, d}?

 

o

 

 

 

 

является203. ПустьотношениемA ∩ B = эквивалентности. Докажите, чтонаRмножестве= (A × A) (B × B)

 

 

 

 

 

A B .

 

o

 

 

 

→−

òîð,204.аПусть M множество векторов, c фиксированный век-

 

 

 

 

→− →−

→− →− →−

ся отношениемR = {( xэквивалентности, y ) | ( x − y ) íàc }. Докажите, что R являет-

лентности.

 

M и найдите классы эквива-

æèòå,205. Пустьчто R1 è R2

отношения эквивалентности на A. Äîêà-

à) R

1

∩ R

2

эквивалентность,

á)

 

R1 \ R2

не эквивалентность.

Докажите следующие утверждения (206 209).

206.Åñëè R1, R2, R1 R2 эквивалентности, то R1 R2 = R1◦R2 .

207.Åñëè R1, R2, R1 ◦R2 эквивалентности, то R1 ◦R2 = R2 ◦R1 .

208.o Åñëè R эквивалентность на M , òî R ◦ R−1 = R.

17

а)следующих функций

18) (a c d)(a b c)( a b d)( a c d) ` a c d a c b d, 19) (a b d)(a b d)( a c d)( a b c) ` a b d a c b d, 20) (a b)( a c d)( a b d) ` a b b d a c d,

21) (a c d)( b c d)( a c d) ` a d a c b c d, 22) (b c d)( b c d)( a b d) ` a b d b c c d,

23) ( b c d)( b c d)( a b c)( a c d) ` a b b c d c d, 24) (a c d)( b c d)( a b c) ` a c a d b c,

25) (b c d)(a b c)( a c d)( a b c) ` a b c b d a c, 26) (c d)( a d)(b c) ` b d a b c c d,

27) (a b d)(b c d)( a c d)( a b d) ` a c d a b b c d, 28) ( a b c)( b c d)(b c d)( a b c) ` b c a d b c, 29) ( a b)(c d)( a c)(b d) ` a d a b c b c d.

Нечеткая и многозначная логика

предикатов528. Пусть A, B, C, D, E множества и даны нечеткие значения

µ(x A) = 0, 2, µ(x B) = 0, 4, µ(x C) = 0, 5,

Найдитеµ(x D)нечеткое= 0, 1, значениеµ(x E)предиката= 0, 6 для некоторого элемента x.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x M , åñëè

0) M = (

 

 

 

+ B) ∩(C ·(D2 E)),

1) M = (A∩

 

 

 

 

) ·(C2 (D + E)),

A

B

2) M = (A·B) (

 

 

 

+ (D2 ∩E)),

3) M = (A2 B) + (C ∩(

 

 

 

·E)),

C

D

4) M = (A∩B2) + ((C D) ·

 

),

5) M = (

 

+ B) ((C ·D) ∩E2),

E

A

6) M = (A

 

) ·((C2 ∩D) + E),

7) M = (A·B) ∩((

 

 

+ D) E2),

B

C

8) M = A2 ∩((B ·C) + (

 

 

E)),

9) M = A·((B + C) (D2

 

 

)),

D

E

10) M =

 

 

+ ((B2 C) ∩(D ·E)),

11) M = A2 ((

 

 

 

∩C) ·(D + E)),

A

B

12) M = A∩(((B +

 

 

) ·D) E2),

13) M = A+ (((B ·

 

) D2) ∩E),

C

C

14) M = A·(((B C2) ∩

 

) + E),

15) M = A2 (((B ∩C) + D) ·

 

),

D

E

16) M =

 

 

∩(B2 (C ·(D + E))),

17) M = A2 (

 

 

·(C + (D ∩E))),

A

B

18) M = A·(B + (

 

∩(D2 E))),

19) M = A+ (B ∩(C2 (

 

 

·E))),

C

D

20) M = ((

 

∩B) + C) ·(D E2),

21) M = ((A∩

 

) + (C2 D)) ·E,

A

B

22) M = ((A+ B)

 

) ·(D2 ∩E),

23) M = ((A+ B) (C2

 

)) ·E,

C

D

58

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

á)à) R = {(a, r), (b, p), (b, q), (c, p), (d, r)}, â) R = {(a, q), (b, p), (d, r)},

R = {(a, q), (b, q), (c, p), (d, p)}?

221. Выясните инъективность, сюръективность и биективность следующих функций:

à) F : [−1; 2] → [0; 5], F (x) = x2 , á) F : [−1; 2] → [0; 4], F (x) = x2 , â) F : [1; 2] → [0; 4], F (x) = x2 ,

ã) F : [−2; −1] → [1; 4], F (x) = x2 .

222.o Выясните инъективность, сюръективность и биективность F : N → N, вычисляемых по формулам

F (n) = n + 2, á) F (n) = [ n+12 ], â) F (n) = (n − 2)2 + 1,

ã) F (n) =

n + 1, åñëè n нечетно, n − 1, åñëè n четно.

o

à)223сюръективно,. Приведитенопримерне инъективно,отображения f : Z Z, которое

б) инъективно, но не сюръективно. а)224Докажите,. Пусть f÷òî: X → Y , A, B X .

б) Приведите пример,f(A когда∩ B) f(A) ∩ f(B).

в) Докажите, что f(A ∩ B) 6= f(A) ∩ f(B).

г) Докажите, что f(A ∩ B) = f(A) ∩ f(B), åñëè f инъекция. для любых f инъекция, если f(A ∩ B) = f(A) ∩ f(B)

A, B X .

o

 

à)225Докажите,. Пусть f÷òî: X → Y , A, B X .

б) Приведите пример,f(A)когда\ f(B) f(A \ B).

в) Докажите, что если

f(A) \ f(B) =6 f(A \ B).

г) Докажите, что если f инъекция, то f(A) \ f(B) = f(A \ B).

множеств

f(A) \ f(B) = f(A \ B) для любых под-

 

A, B X , òî f инъекция.

à)226. Найдите p = f ◦ g è q = g ◦ f , åñëè

á) f : R → R, f(x) = x2 , g : R → R, g(x) = x + 1;

â) f : N0 → N0 , f(n) = n + 1, g : N0 → N0 , g(n) = |n − 1|,

o f : Z × Z → Z, f(m, n) = m + n, g : Z → Z × Z, g(n) = (n, n).

19

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]