konverskii_a_e_logika

Ɂ ɬɨɱɤɢ ɡɨɪɭ ɟɤɫɬɟɧɫɿɨɧɚɥɭ ɚɬɪɢɛɭɬɢɜɧɟ ɫɭɞɠɟɧɧɹ ɦɨɠɧɚ ɬɥɭɦɚɱɢɬɢ ɹɤ ɫɭɞɠɟɧɧɹ ɩɪɨ ɩɨɜɧɟ ɚɛɨ ɱɚɫɬɤɨɜɟ ɜɤɥɸɱɟɧɧɹ ɱɢ ɧɟɜɤɥɸɱɟɧɧɹ ɨɛɫɹɝɭ ɨɞɧɨɝɨ ɬɟɪɦɿɧɚ S ɞɨ ɨɛɫɹɝɭ ɿɧɲɨɝɨ ɬɟɪɦɿɧɚ Ɋ.

ɇɚɩɪɢɤɥɚɞ,

1.«Ȼɭɞɶ-ɹɤɟ ɞɟɪɟɜɨ — ɽ ɪɨɫɥɢɧɚ»;

2.«Ȼɭɞɶ-ɹɤɢɣ ɤɜɚɞɪɚɬ ɽ ɪɿɜɧɨɫɬɨɪɨɧɧɿɦ ɩɪɹɦɨɤɭɬɧɢɤɨɦ»;

3.«Ⱦɟɹɤɿ ɩɨɟɬɢ — ɥɚɭɪɟɚɬɢ»;

4.Ⱦɟɹɤɿ ɤɧɢɠɤɢ ɽ ɩɿɞɪɭɱɧɢɤɚɦɢ»;

5.«ɀɨɞɧɢɣ ɩɪɢɪɨɞɧɢɣ ɫɭɩɭɬɧɢɤ ɧɟ ɽ ɩɥɚɧɟɬɨɸ»;

6.«Ⱦɟɹɤɿ ɡɥɨɱɢɧɢ ɧɟ ɽ ɩɨɫɚɞɨɜɢɦɢ»;

7.«ɘɩɿɬɟɪ ɽ ɩɥɚɧɟɬɚ»;

8.«Ɇɿɫɹɰɶ ɧɟ ɽ ɩɥɚɧɟɬɨɸ».

ȱɡ ɩɨɡɢɰɿɣ ɟɤɫɬɟɧɫɿɨɧɚɥɶɧɨʀ ɯɚɪɚɤɬɟɪɢɫɬɢɤɢ ɧɚɜɟɞɟɧɿ ɜɢɳɟ ɫɭɞɠɟɧɧɹ ɦɨɠɧɚ ɜɿɞɩɨɜɿɞɧɢɦ ɫɩɨɫɨɛɨɦ ɿ ɭ ɤɨɠɧɨɦɭ ɤɨɧɤɪɟɬɧɨɦɭ ɜɢɩɚɞɤɭ ɧɚɜɟɫɬɢ ɞɨɪɟɱɧɭ ɫɯɟɦɭ:

1. Wx S(x) Wx P(x) – Asp

ȱ

2. Wx S(x) Wx P(x) — Asp

ɉ

3. Wx S(x) Wx P(x) — Isp

ɒ

4. Wx P(x) Wx S(x) — Isp

ȱV

5. Wx S(x) Wx P(x) i Wx P(x) Wx S(x) – Esp

V

6.Wx S(x) WxCP(x) – Osp

Vȱ

7. a ɽ Wx P(x) — a ɽ p

. ɚ

8. a ɽ Wx P(x) — a ɧɟ ɽ ɪ

.ɚ

ȼɤɥɸɱɟɧɧɹ ɚɛɨ ɧɟɜɤɥɸɱɟɧɧɹ ɨɛɫɹɝɭ ɨɞɧɨɝɨ ɬɟɪɦɿɧɭ ɞɨ ɨɛɫɹɝɭ ɞɪɭɝɨɝɨ ɬɟɪɦɿɧɭ ɜɢɡɧɚɱɚɽ ɬɚɤɟ ɜɚɠɥɢɜɟ ɞɥɹ ɯɚɪɚɤɬɟɪɢɫɬɢɤɢ ɚɬɪɢɛɭɬɢɜɧɢɯ ɫɭɞɠɟɧɶ ɜɿɞɧɨɲɟɧɧɹ ɹɤ «ɪɨɡɩɨɞɿɥɟɧɿɫɬɶ ɬɟɪɦɿɧɿɜ».

Ɍɟɪɦɿɧ S ɚɛɨ Ɋ ɧɚɡɢɜɚɽɬɶɫɹ ɪ ɨ ɡ ɩ ɨ ɞ ɿ ɥ ɟ ɧ ɢ ɦ ɭ ɞɚɧɨɦɭ ɫɭɞɠɟɧɧɿ, ɹɤɳɨ ɜɿɧ ɜɡɹɬɢɣ ɭ ɩɨɜɧɨɦɭ ɨɛɫɹɡɿ.

ɇ ɟ ɪ ɨ ɡ ɩ ɨ ɞ ɿ ɥ ɟ ɧ ɢ ɦ ɧɚɡɢɜɚɽɬɶɫɹ ɬɟɪɦɿɧ, ɹɤɳɨ ɜɿɧ ɜɡɹɬɢɣ ɭ ɧɟɩɨɜɧɨɦɭ ɨɛɫɹɡɿ.

ɐɟ ɜɿɞɧɨɲɟɧɧɹ ɦɨɠɧɚ ɜɢɡɧɚɱɢɬɢ ɳɟ ɣ ɬɚɤ: «Ɍɟɪɦɿɧ ɚɬɪɢɛɭɬɢɜɧɨɝɨ ɫɭɞɠɟɧɧɹ ɧɚɡɢɜɚɽɬɶɫɹ ɪɨɡɩɨɞɿɥɟɧɢɦ, ɹɤɳɨ ɣɨɝɨ ɨɛɫɹɝ ɩɨɜɧɿɫɬɸ ɜɤɥɸɱɚɽɬɶɫɹ ɚɛɨ ɩɨɜɧɿɫɬɸ ɜɢɤɥɸɱɚɽɬɶɫɹ ɿɡ ɨɛɫɹɝɭ ɞɪɭɝɨɝɨ ɬɟɪɦɿɧɭ. Ɍɟɪɦɿɧ ɧɟɪɨɡɩɨɞɿɥɟɧɢɣ, ɹɤɳɨ ɣɨɝɨ ɨɛɫɹɝ ɱɚɫɬɤɨɜɨ ɜɤɥɸɱɚɽɬɶɫɹ ɚɛɨ ɜɢɤɥɸɱɚɽɬɶɫɹ ɿɡ ɨɛɫɹɝɭ ɞɪɭɝɨɝɨ ɬɟɪɦɿɧɭ».

Ɋɨɡɩɨɞɿɥɟɧɢɣ ɬɟɪɦɿɧ ɩɨɡɧɚɱɚɽɬɶɫɹ ɡɧɚɤɨɦ (+), ɚ ɧɟɪɨɡɩɨɞɿɥɟɧɢɣ

— ɡɧɚɤɨɦ ( – ).

4.dzǶǫǟǿǵǟ ǪǟǬǵǶȀǭǵǵȇ ǴǟǮ ǨǺǸǰǩǻǺǰǪǵǰǴǰ ǹǻǬǮǭǵǵȇǴǰ

Ɍɚɤ ɹɤ ɿ ɩɨɧɹɬɬɹ ɭɫɸ ɦɧɨɠɢɧɭ ɫɭɞɠɟɧɶ ɦɨɠɧɚ ɪɨɡɞɿɥɢɬɢ ɧɚ ɞɜɿ ɩɿ-

ɞɦɧɨɠɢɧɢ: ɩɨɪɿɜɧɸɜɚɧɿ ɫɭɞɠɟɧɧɹ ɿ ɧɟɩɨɪɿɜɧɸɜɚɧɿ ɫɭɞɠɟɧɧɹ.

ɉ ɨ ɪ ɿ ɜ ɧ ɸ ɜ ɚ ɧ ɢ ɦ ɢ ɫɭɞɠɟɧɧɹɦɢ ɧɚɡɢɜɚɸɬɶɫɹ ɬɚɤɿ ɚɬɪɢɛɭɬɢɜɧɿ ɫɭɞɠɟɧɧɹ, ɹɤɿ ɦɚɸɬɶ ɨɞɧɚɤɨɜɿ ɞɟɫɤɪɢɩɬɢɜɧɿ ɬɟɪɦɿɧɢ S i P, ɚɥɟ ɜɿɞɪɿɡɧɹɸɬɶɫɹ ɥɨɝɿɱɧɢɦɢ ɬɟɪɦɿɧɚɦɢ.

ɇɚɩɪɢɤɥɚɞ:

1.«Ȼɭɞɶ-ɹɤɢɣ ɡɥɨɱɢɧ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦ ɜɱɢɧɤɨɦ».

2.«ɀɨɞɟɧ ɡɥɨɱɢɧ ɧɟ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦ ɜɱɢɧɤɨɦ».

3.«Ⱦɟɹɤɿ ɡɥɨɱɢɧɢ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦɢ ɜɱɢɧɤɚɦɢ».

4.«Ⱦɟɹɤɿ ɡɥɨɱɢɧɢ ɧɟ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦɢ ɜɱɢɧɤɚɦɢ».

ɇɟ ɩ ɨ ɪ ɿ ɜ ɧ ɸ ɜ ɚ ɧ ɢ ɦ ɢ ɫɭɞɠɟɧɧɹɦɢ ɧɚɡɢɜɚɸɬɶɫɹ ɬɚɤɿ ɚɬɪɢɛɭɬɢɜɧɿ ɫɭɞɠɟɧɧɹ ɭ ɹɤɢɯ ɪɿɡɧɿ ɞɟɫɤɪɢɩɬɢɜɧɿ ɬɟɪɦɿɧɢ. ɇɚɩɪɢɤɥɚɞ:

1 .«Ȼɭɞɶ-ɹɤɚ ɩɥɚɧɟɬɚ ɦɚɽ ɩɪɢɪɨɞɧɢɣ ɫɭɩɭɬɧɢɤ».

2.«Ȼɭɞɶ-ɹɤɚ ɤɧɢɠɤɚ ɽ ɞɠɟɪɟɥɨɦ ɿɧɮɨɪɦɚɰɿʀ».

ɉɨɪɿɜɧɸɜɚɧɿ ɫɭɞɠɟɧɧɹ ɭ ɫɜɨɸ ɱɟɪɝɭ ɩɨɞɿɥɹɸɬɶɫɹ ɧɚ ɞɜɿ ɩɿɞɦɧɨɠɢɧɢ:

—ɫɭɦɿɫɧɿ ɫɭɞɠɟɧɧɹ ɿ

—ɧɟɫɭɦɿɫɧɿ ɫɭɞɠɟɧɧɹ.

ɋ ɭ ɦ ɿ ɫ ɧ ɢ ɦ ɢ ɧɚɡɢɜɚɸɬɶɫɹ ɫɭɞɠɟɧɧɹ, ɹɤɿ ɦɨɠɭɬɶ ɛɭɬɢ ɨɞɧɨɱɚɫɧɨ ɿɫɬɢɧɧɢɦɢ, ɚɥɟ ɧɟ ɦɨɠɭɬɶ ɛɭɬɢ ɨɞɧɨɱɚɫɧɨ ɯɢɛɧɢɦɢ. əɤɳɨ ɪɨɡɝɥɹɧɭɬɢ ɪɿɜɧɨɫɬɿ, ɳɨ ɨɩɢɫɭɸɬɶ ɭɦɨɜɢ ɿɫɬɢɧɧɨɫɬɿ ɚɬɪɢɛɭɬɢɜɧɢɯ ɫɭɞɠɟɧɶ, ɬɨ ɨɱɟɜɢɞɧɨ, ɳɨ ɬɚɤɢɦɢ ɛɭɞɭɬɶ ɫɭɞɠɟɧɧɹ Asp, Isp. Ȳɯ ɩɨɥɟ ɿɧɬɟɪɩɪɟɬɚɰɿʀ ɞɥɹ ɿɫɬɢɧɢ ɡɛɿɝɚɽɬɶɫɹ: {I, ɉ}.

ɇ ɟ ɫ ɭ ɦ ɿ ɫ ɧ ɢ ɦ ɢ ɧɚɡɢɜɚɸɬɶɫɹ ɫɭɞɠɟɧɧɹ, ɹɤɿ ɧɟ ɦɨɠɭɬɶ ɛɭɬɢ ɨɞɧɨɱɚɫɧɨ ɿɫɬɢɧɧɢɦɢ. Ɍɚɤɢɦɢ ɽ, ɧɚɩɪɢɤɥɚɞ, ɫɭɞɠɟɧɧɹ Asp i Esp. Ⱦɥɹ ɧɢɯ ɩɨɥɟ ɯɢɛɧɨɫɬɿ ɫɩɿɜɩɚɞɚɽ ɜ ɫɢɬɭɚɰɿɹɯ {ɒ, ȱɍ}.

Ɇɿɠ ɫɭɦɿɫɧɢɦɢ ɫɭɞɠɟɧɧɹɦɢ ɿɫɧɭɸɬɶ ɬɚɤɿ ɜɿɞɧɨɲɟɧɧɹ:

—ɩɿɞɩɨɪɹɞɤɭɜɚɧɧɹ ɿ

—ɩɿɞɩɪɨɬɢɜɧɨɫɬɿ (ɫɭɛɤɨɧɬɪɚɪɧɨɫɬɿ). Ɇɿɠ ɧɟɫɭɦɿɫɧɢɦɢ ɿɫɧɭɸɬɶ ɜɿɞɧɨɲɟɧɧɹ:

—ɩɪɨɬɢɪɿɱɱɹ (ɤɨɧɬɪɚɞɢɤɬɨɪɧɨɫɬɿ) ɿ

—ɩɪɨɬɢɜɧɨɫɬɿ (ɤɨɧɬɪɚɪɧɨɫɬɿ).

ɍ ɫɟɪɟɞɧɿ ɜɿɤɢ ɛɭɜ ɜɿɞɤɪɢɬɢɣ ɦɧɟɦɨɧɿɱɧɢɣ ɡɚɫɿɛ ɞɥɹ ɧɚɨɱɧɨɝɨ ɡɨɛɪɚɠɟɧɧɹ ɥɨɝɿɱɧɢɯ ɜɿɞɧɨɲɟɧɶ ɦɿɠ ɚɬɪɢɛɭɬɢɜɧɢɦɢ ɫɭɞɠɟɧɧɹɦɢ, ɹɤɢɣ ɨɬɪɢɦɚɜ ɧɚɡɜɭ «ɥɨɝɿɱɧɢɣ ɤɜɚɞɪɚɬ» (ɯɨɱɚ ɬɭɬ ɧɿɱɨɝɨ ɧɟ ɦɚɽ ɫɩɿɥɶɧɨɝɨ ɡ ɤɜɚɞɪɚɬɨɦ ɹɤ ɝɟɨɦɟɬɪɢɱɧɨɸ ɮɿɝɭɪɨɸ, ɯɿɛɚ ɳɨ, ɜɟɪɛɚɥɶɧɚ ɩɨɞɿɛɧɿɫɬɶ).

Isp ɜɿɞɧɨɲɟɧɧɹ ɩɪɨɬɢɜɧɨɫɬɿ (ɩɿɞɤɨɧɬɪɚɪɧɨɫɬɿ — ɥɚɬ.) Osp

ɐɹ ɫɯɟɦɚ ɩɨɤɚɡɭɽ, ɳɨ ɧɚ ɜɟɪɯɧɿɣ ɝɨɪɢɡɨɧɬɚɥɿ ɤɜɚɞɪɚɬɚ ɪɨɡɬɚɲɭɜɚɥɢɫɹ ɡɚɝɚɥɶɧɿ ɫɭɞɠɟɧɧɹ Asp, Esp, ɚ ɧɚ ɧɢɠɧɿɣ — ɱɚɫɬɤɨɜɿ Osp, Isp. ɑɚɫɬɤɨɜɿ ɪɨɡɬɚɲɨɜɚɧɿ ɬɚɤ, ɳɨɛ ɩɿɞ ɡɚɝɚɥɶɧɨɫɬɜɟɪɞɠɭɜɚɥɶɧɢɦ Asp ɛɭɥɨ ɱɚɫɬɤɨɜɨɫɬɜɟɪɞɠɭɜɚɥɶɧɟ ȱsp, ɚ ɩɿɞ ɡɚɝɚɥɶɧɨɡɚɩɟɪɟɱɭɜɚɥɶɧɢɦ Esp ɛɭɥɨ

— ɱɚɫɬɤɨɜɨɡɚɩɟɪɟɱɭɜɚɥɶɧɟ Osp.

Ɂɭɩɢɧɢɦɨɫɹ ɧɚ ɜɢɡɧɚɱɟɧɧɿ ɥɨɝɿɱɧɢɯ ɜɿɞɧɨɲɟɧɶ ɦɿɠ ɚɬɪɢɛɭɬɢɜɧɢɦɢ ɫɭɞɠɟɧɧɹɦɢ.

ȼɿɞɧɨɲɟɧɧɹ ɩɿɞɩɨɪɹɞɤɭɜɚɧɧɹ.

ȼɿɞɧɨɲɟɧɧɹ ɩɿɞɩɨɪɹɞɤɭɜɚɧɧɹ ɿɫɧɭɽ ɦɿɠ ɫɭɞɠɟɧɧɹɦɢ Asp ɬɚ Isp;

Esp ɬɚ Osp.

ɋɭɬɶ ɣɨɝɨ ɩɨɥɹɝɚɽ ɜ ɬɨɦɭ, ɳɨ ɩɪɢ ɿɫɬɢɧɧɨɫɬɿ Asp (Esp) ɨɛɨɜ’ɹɡɤɨɜɨ ɛɭɞɟ ɿɫɬɢɧɧɢɦ Isp (Osp), ɚ ɩɪɢ ɯɢɛɧɨɫɬɿ Asp (Esp) ɫɭɞɠɟɧɧɹ Isp (Osp) ɦɨɠɭɬɶ ɛɭɬɢ ɛɭɞɶ-ɹɤɢɦɢ.

ɇɚɩɪɢɤɥɚɞ, ɫɭɞɠɟɧɧɹ: «Ȼɭɞɶ-ɹɤɢɣ ɡɥɨɱɢɧ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦ ɜɱɢɧɤɨɦ» Asp — «ɿɫɬɢɧɧɟ» ɿ «Ⱦɟɹɤɿ ɡɥɨɱɢɧɢ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦ ɜɱɢɧɤɨɦ» Isp — ɬɟɠ ɛɭɞɟ ɿɫɬɢɧɧɢɦ.

ȼɿɡɶɦɟɦɨ ɯɢɛɧɟ ɫɭɞɠɟɧɧɹ Asp: «Ȼɭɞɶ-ɹɤɢɣ ɡɥɨɱɢɧ ɽ ɧɚɜɦɢɫɧɢɦ» ɿ

ɭɬɜɨɪɢɦɨ ɡ ɧɶɨɝɨ ɫɭɞɠɟɧɧɹ Isp: «Ⱦɟɹɤɿ ɡɥɨɱɢɧɢ ɽ ɧɚɜɦɢɫɧɢɦɢ» — ɹɤɟ ɛɭɞɟ ɿɫɬɢɧɧɢɦ.

ɇɚɜɟɞɟɦɨ ɳɟ ɩɪɢɤɥɚɞ ɯɢɛɧɨɝɨ ɫɭɞɠɟɧɧɹ Asp: «Ȼɭɞɶ-ɹɤɢɣ ɩɪɢɪɨɞɧɢɣ ɫɭɩɭɬɧɢɤ ɽ ɩɥɚɧɟɬɨɸ». ȼɿɞɩɨɜɿɞɧɢɦ ɣɨɦɭ ɛɭɞɟ ɫɭɞɠɟɧɧɹ «Ⱦɟɹɤɿ ɩɪɢɪɨɞɧɿ ɫɭɩɭɬɧɢɤɢ ɽ ɩɥɚɧɟɬɚɦɢ» Isp, ɹɤɟ ɬɚɤɨɠ ɛɭɞɟ ɯɢɛɧɢɦ.

ɇɚɜɟɞɟɧɿ ɩɪɢɤɥɚɞɢ ɿɥɸɫɬɪɭɸɬɶ ɬɚɤɭ ɡɚɥɟɠɧɿɫɬɶ, ɳɨ ɩɪɢ ɯɢɛɧɨɫɬɿ Asp (Esp) ɫɭɞɠɟɧɧɹ Isp (Osp) ɦɨɠɭɬɶ ɛɭɬɢ ɛɭɞɶ-ɹɤɢɦɢ. əɤɳɨ ɠ ɯɢɛɧɢɦ ɽ Isp (Osp), ɬɨ ɨɛɨɜ’ɹɡɤɨɜɨ ɯɢɛɧɢɦɢ ɛɭɞɭɬɶ Asp (Esp). ɉɪɢ ɿɫɬɢɧɧɨɫɬɿ Isp (Osp) ɫɭɞɠɟɧɧɹ Asp (Esp) ɦɨɠɭɬɶ ɛɭɬɢ ɛɭɞɶ-ɹɤɢɦɢ.

ɍ ɜɿɞɧɨɲɟɧɧɿ ɩɿɞɩɨɪɹɞɤɭɜɚɧɧɹ ɫɭɞɠɟɧɧɹ Asp ɬɚ Esp ɧɚɡɢɜɚɸɬɶɫɹ ɩɿɞɩɨɪɹɞɤɨɜɭɸɱɢɦɢ, ɚ ɫɭɞɠɟɧɧɹ Isp ɬɚ Osp ɩɿɞɩɨɪɹɞɤɨɜɚɧɢɦɢ.

ȼɿɞɧɨɲɟɧɧɹ ɩɪɨɬɢɜɧɨɫɬɿ (ɤɨɧɬɪɚɪɧɨɫɬɿ).

ɍ ɜɿɞɧɨɲɟɧɧɿ ɩɪɨɬɢɜɧɨɫɬɿ (ɤɨɧɬɪɚɪɧɨɫɬɿ) ɡɧɚɯɨɞɹɬɶɫɹ ɫɭɞɠɟɧɧɹ

Asp i Esp.

ɋɭɬɶ ɜɿɞɧɨɲɟɧɧɹ ɩɪɨɬɢɜɧɨɫɬɿ ɩɨɥɹɝɚɽ ɭ ɬɨɦɭ, ɳɨ ɫɭɞɠɟɧɧɹ Asp ɬɚ Esp, ɧɟ ɦɨɠɭɬɶ ɛɭɬɢ ɪɚɡɨɦ ɿɫɬɢɧɧɢɦɢ. ȼ ɤɪɚɣɧɶɨɦɭ ɜɢɩɚɞɤɭ ɨɞɧɟ ɡ ɧɢɯ ɨɛɨɜ’ɹɡɤɨɜɨ ɛɭɞɟ ɯɢɛɧɢɦ, ɚ ɬɨ ɣ ɨɛɢɞɜɚ ɛɭɞɭɬɶ ɯɢɛɧɢɦɢ.

ɇɚɩɪɢɤɥɚɞ:

ȱ1) «Ȼɭɞɶ-ɹɤɢɣɡɥɨɱɢɧɽɫɭɫɩɿɥɶɧɨɧɟɛɟɡɩɟɱɧɢɦ ɜɱɢɧɤɨɦ» — ɿɫɬɢɧɧɟɿ

2)«ɀɨɞɟɧ ɜɱɢɧɨɤ ɧɟ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦ ɜɱɢɧɤɨɦ» — ɯɢɛɧɟ; ɿ ɉ 1) «Ȼɭɞɶ-ɹɤɢɣ ɡɥɨɱɢɧ ɽ ɩɨɫɚɞɨɜɢɦ» — ɯɢɛɧɟ, ɿ

2)«ɀɨɞɟɧ ɡɥɨɱɢɧ ɧɟ ɽ ɩɨɫɚɞɨɜɢɦ» — ɬɟ ɠ ɯɢɛɧɟ.

ȼɿɞɧɨɲɟɧɧɹ ɩɿɞɩɪɨɬɢɜɧɨɫɬɿ (ɫɭɛɤɨɧɬɪɚɪɧɨɫɬɿ).

ȼɿɞɧɨɲɟɧɧɹ ɩɿɞɩɪɨɬɢɜɧɨɫɬɿ (ɫɭɛɤɨɧɬɪɚɪɧɨɫɬɿ) ɦɚɽ ɦɿɫɰɟ ɦɿɠ ɫɭɞɠɟɧɧɹɦɢ Isp ɬɚ Osp.

ɋɭɬɶ ɰɶɨɝɨ ɜɿɞɧɨɲɟɧɧɹ ɩɨɥɹɝɚɽ ɜ ɬɨɦɭ, ɳɨ ɫɭɞɠɟɧɧɹ Isp ɬɚ Osp ɦɨɠɭɬɶ ɛɭɬɢ ɪɚɡɨɦ ɿɫɬɢɧɧɢɦɢ, ɚ ɯɢɛɧɢɦɢ — ɧɿ. ȼ ɤɪɚɣɧɶɨɦɭ ɜɢɩɚɞɤɭ ɨɞɧɟ ɡ ɧɢɯ ɛɭɞɟ ɿɫɬɢɧɧɢɦ.

ɇɚɩɪɢɤɥɚɞ:

ȱ 1) «Ⱦɟɹɤɿ ɜɢɪɨɤɢ ɽ ɨɛʉɪɭɧɬɨɜɚɧɢɦɢ» ɿ 2) «Ⱦɟɹɤɿ ɜɢɪɨɤɢ ɧɟ ɽ ɨɛʉɪɭɧɬɨɜɚɧɢɦɢ» — ɨɛɢɞɜɚ ɫɭɞɠɟɧɧɹ ɿɫ-

ɬɢɧɧɿ;

ɉ 1) «Ⱦɟɹɤɿ ɡɥɨɱɢɧɢ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦɢ ɜɱɢɧɤɚɦɢ» ɿ 2) «Ⱦɟɹɤɿ ɡɥɨɱɢɧɢ ɧɟ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦɢ ɜɱɢɧɤɚɦɢ».

ɍ ɰɢɯ ɩɪɢɤɥɚɞɚɯ ɫɭɞɠɟɧɧɹ Isp — ɽ ɿɫɬɢɧɧɢɦ, ɚ ɫɭɞɠɟɧɧɹ Osp —

ɯɢɛɧɢɦ.

ɋɭɩɟɪɟɱɥɢɜɢɦɢ ɽ ɩɚɪɢ ɫɭɞɠɟɧɶ: Asp ɬɚ Osp i

Esp ɬɚ Isp.

ȼɿɞɧɨɲɟɧɧɹ ɩɪɨɬɢɪɿɱɱɹ.

ȼɿɞɧɨɲɟɧɧɹ ɩɪɨɬɢɪɿɱɱɹ ɩɟɪɟɞɛɚɱɚɽ, ɳɨ ɡ ɞɜɨɯ ɫɭɩɟɪɟɱɥɢɜɢɯ ɫɭɞɠɟɧɶ ɨɞɧɟ ɨɛɨɜ’ɹɡɤɨɜɨ ɛɭɞɟ ɿɫɬɢɧɧɢɦ, ɚ ɞɪɭɝɟ ɨɛɨɜ’ɹɡɤɨɜɨ ɛɭɞɟ ɯɢɛɧɢɦ.

ɇɚɩɪɢɤɥɚɞ: «Ȼɭɞɶ-ɹɤɢɣ ɡɥɨɱɢɧ ɽ ɫɭɫɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦ ɜɱɢɧɤɨɦ»

Asp — ɿɫɬɢɧɧɟ. Ⱥ ɭɬɜɨɪɟɧɟ ɜɿɞ ɧɶɨɝɨ ɫɭɞɠɟɧɧɹ «Ⱦɟɹɤɿ ɡɥɨɱɢɧɢ ɽ ɫɭɫ-

ɩɿɥɶɧɨ ɧɟɛɟɡɩɟɱɧɢɦɢ ɜɱɢɧɤɚɦɢ» Osp ɛɭɞɟ ɯɢɛɧɢɦ.

Ɉɬɠɟ, ɬɚɤ ɹɤ ɥɨɝɿɱɧɿ ɜɿɞɧɨɲɟɧɧɹ ɦɿɠ ɩɨɧɹɬɬɹɦɢ ɜɪɚɯɨɜɭɸɬɶ ɥɢɲɟ ʀɯ ɟɤɫɬɟɧɫɿɨɧɚɥɶɧɿ, ɨɛɫɹɝɨɜɿ ɯɚɪɚɤɬɟɪɢɫɬɢɤɢ, ɬɚɤ ɿ ɥɨɝɿɱɧɿ ɜɿɞɧɨɲɟɧɧɹ ɦɿɠ ɚɬɪɢɛɭɬɢɜɧɢɦɢ ɫɭɞɠɟɧɧɹɦɢ ɜɪɚɯɨɜɭɸɬɶ ɥɢɲɟ ʀɯ ɟɤɫɬɟɧɫɿɨɧɚɥɢ, ɡɧɚɱɟɧɧɹ («ɿɫɬɢɧɚ», «ɯɢɛɚ»). Ɍɨɛɬɨ, ɰɿ ɜɿɞɧɨɲɟɧɧɹ ɧɟ ɜɪɚɯɨɜɭɸɬɶ «ɳɨ ɿ ɩɪɨ ɳɨ ɝɨɜɨɪɢɬɶɫɹ ɭ ɫɭɞɠɟɧɧɹɯ».

Ʉɨɥɢ ɜɿɞɨɦɨ, ɳɨ Asp ɽ ɿɫɬɢɧɧɢɦ, ɬɨ ɡɧɚɸɱɢ ɞɟɮɿɧɿɰɿʀ ɥɨɝɿɱɧɢɯ ɜɿɞɧɨɲɟɧɶ ɦɿɠ ɫɭɞɠɟɧɧɹɦɢ ɦɢ ɨɞɧɨɡɧɚɱɧɨ ɦɨɠɟɦɨ ɫɬɜɟɪɞɠɭɜɚɬɢ, ɳɨ Isp ɛɭɞɟ ɿɫɬɢɧɧɢɦ, ɚ Osp ɬɚ Esp ɛɭɞɟ ɯɢɛɧɢɦ. Ⱥɛɨ, ɤɨɥɢ ɞɚɧɨ, ɳɨ Asp — ɯɢɛɧɟ, ɬɨ Osp ɛɭɞɟ ɿɫɬɢɧɧɢɦ, ɚ Isp ɬɚ Esp ɛɭɞɟ ɛɭɞɶ-ɹɤɢɦ.

Ɋɨɡɝɥɹɧɭɬɿ ɜɿɞɧɨɲɟɧɧɹ ɦɿɠ ɚɬɪɢɛɭɬɢɜɧɢɦɢ ɫɭɞɠɟɧɧɹɦɢ ɦɨɠɧɚ ɡɨɛɪɚɡɢɬɢ ɬɚɤɨɸ ɫɯɟɦɨɸ:

Ⱥɬɪɢɛɭɬɢɜɧɿ ɫɭɞɠɟɧɧɹ

ɉɨɪɿɜɧɸɜɚɧɿ ɇɟɩɨɪɿɜɧɸɜɚɧɿ

ɋɭɦɿɫɧɿ ɇɟɫɭɦɿɫɧɿ

ȼɿɞɧɨɲɟɧɧɹ ȼɿɞɧɨɲɟɧɧɹ ɩɿɞɩɨɪɹɞɤɭɜɚɧɧɹ ɩɪɨɬɢɪɿɱɱɹ

ȼɿɞɧɨɲɟɧɧɹ ȼɿɞɧɨɲɟɧɧɹ ɩɿɞɩɪɨɬɢɜɧɨɫɬɿ ɩɪɨɬɢɜɧɨɫɬɿ

Ɂɧɚɱɟɧɧɹ ɞɟɮɿɧɿɰɿɣ ɥɨɝɿɱɧɢɯ ɜɿɞɧɨɲɟɧɶ ɦɿɠ ɚɬɪɢɛɭɬɢɜɧɢɦɢ ɫɭɞɠɟɧɧɹɦɢ ɧɟɨɛɯɿɞɧɟ ɩɪɢ ɩɨɛɭɞɨɜɿ ɛɟɡɩɨɫɟɪɟɞɧɿɯ ɭɦɨɜɢɜɨɞɿɜ. Ƀɞɟɬɶɫɹ ɩɪɨ ɛɟɡɩɨɫɟɪɟɞɧɿ ɭɦɨɜɢɜɨɞɢ, ɳɨ ɛɚɡɭɸɬɶɫɹ ɧɚ ɥɨɝɿɱɧɢɯ ɜɿɞɧɨɲɟɧɧɹɯ ɦɿɠ ɚɬɪɢɛɭɬɢɜɧɢɦɢ ɫɭɞɠɟɧɧɹɦɢ, ɚɛɨ ɹɤ ʀɯ ɿɧɨɞɿ ɳɟ ɧɚɡɢɜɚɸɬɶ «ɭɦɨɜɢ-

ɜɨɞɢ ɡɚ «ɥɨɝɿɱɧɢɦ ɤɜɚɞɪɚɬɨɦ»«.

Ɂɧɚɧɧɹ ɥɨɝɿɱɧɢɯ ɜɿɞɧɨɲɟɧɶ ɦɿɠ ɚɬɪɢɛɭɬɢɜɧɢɦɢ ɫɭɞɠɟɧɧɹɦɢ ɬɚɤɨɠ ɞɚɽ ɡɦɨɝɭ ɡɪɨɡɭɦɿɬɢ ɫɭɬɶ ɬɚɤɨʀ ɥɨɝɿɱɧɨʀ ɨɩɟɪɚɰɿʀ ɹɤ «ɡɚɩɟɪɟɱɟɧɧɹ ɚɬ-

ɪɢɛɭɬɢɜɧɨɝɨ ɫɭɞɠɟɧɧɹ».

Ɂ ɚ ɩ ɟ ɪ ɟ ɱ ɟ ɧ ɧ ɹ ɦ ɫɭɞɠɟɧɧɹ ɧɚɡɢɜɚɽɬɶɫɹ ɬɚɤɚ ɥɨɝɿɱɧɚ ɨɩɟɪɚɰɿɹ, ɹɤɚ ɩɨɥɹɝɚɽ ɭ ɬɚɤɨɦɭ ɩɟɪɟɬɜɨɪɟɧɧɿ ɥɨɝɿɱɧɨɝɨ ɡɦɿɫɬɭ ɫɭɞɠɟɧɧɹ, ɭ ɪɟɡɭɥɶɬɚɬɿ ɹɤɨɝɨ ɨɬɪɢɦɭɸɬɶ ɫɭɞɠɟɧɧɹ, ɳɨ ɡɧɚɯɨɞɢɬɶɫɹ ɭ ɜɿɞɧɨɲɟɧɧɿ ɤɨɧɬɪɚɞɢɤɬɨɪɧɨɫɬɿ ɞɨ ɜɢɯɿɞɧɨɝɨ. ɇɚɩɪɢɤɥɚɞ:

1.«ȼɫɿ ɦɨʀ ɩɪɢɹɬɟɥɿ ɦɚɸɬɶ ɜɢɳɭ ɨɫɜɿɬɭ» ɿ

2.«ɇɟɜɿɪɧɨ, ɳɨ ɜɫɿ ɦɨʀ ɩɪɢɹɬɟɥɿ ɦɚɸɬɶ ɜɢɳɭ ɨɫɜɿɬɭ».

ɉɨ ɫɭɬɿ ɫɭɞɠɟɧɧɹ 2, ɤɨɥɢ ɣɨɝɨ ɜɡɹɬɢ ɛɟɡ ɡɨɜɧɿɲɧɶɨɝɨ ɡɚɩɟɪɟɱɟɧɧɹ

(«ɧɟɜɿɪɧɨ») ɟɤɜɿɜɚɥɟɧɬɧɟ ɫɭɞɠɟɧɧɸ «Ⱦɟɹɤɿ ɦɨʀ ɩɪɢɹɬɟɥɿ ɧɟ ɦɚɸɬɶ ɜɢɳɨʀ ɨɫɜɿɬɢ» Osp.

ɉɪɢ ɡɚɩɟɪɟɱɟɧɧɿ ɚɬɪɢɛɭɬɢɜɧɨɝɨ ɫɭɞɠɟɧɧɹ ɡɦɿɧɸɸɬɶɫɹ ɣɨɝɨ ɤɿɥɶɤɿɫɬɶ ɿ ɹɤɿɫɬɶ. Ɍɚɤ, ɡɚɩɟɪɟɱɭɸɱɢ ɡɚɝɚɥɶɧɟ ɨɬɪɢɦɭɽɦɨ ɱɚɫɬɤɨɜɟ (ɿ ɧɚɜɩɚɤɢ), ɚ ɡɚɩɟɪɟɱɭɸɱɢ ɫɬɜɟɪɞɠɭɜɚɥɶɧɟ ɨɬɪɢɦɭɽɦɨ ɡɚɩɟɪɟɱɭɜɚɥɶɧɟ ( ɿ ɧɚɜɩɚɤɢ).

ȼɟɪɯɧɿɣ ɿɧɞɟɤɫ ɜɤɚɡɭɽ ɧɚ ɦɿɫɧɿɫɬɶ ɤɨɧɫɬɚɧɬɢ, ɚ ɧɢɠɧɿɣ ɧɚ ɩɨɪɹɞɤɨɜɢɣ ɧɨɦɟɪ. əɤɳɨ ɿɡ ɤɨɧɫɬɚɧɬɢ ɜɿɞɨɦɨ, ɳɨ ɩɪɟɞɢɤɚɬɨɪɧɚ ɤɨɧɫɬɚɧɬɚ ɨɞɧɨɦɿɫɧɚ, ɬɨ ɜɟɪɯɧɿɣ ɿɧɞɟɤɫ ɨɩɭɫɤɚɽɬɶɫɹ. ɍ ɩɪɢɪɨɞɧɿɣ ɦɨɜɿ ɩɪɟɞɢɤɚɬɨɪɢ ɪɿɡɧɨʀ ɦɿɫɧɨɫɬɿ ɩɪɟɞɫɬɚɜɥɟɧɿ ɫɥɨɜɚɦɢ: «ɟɥɟɤɬɪɨɩɪɨɜɿɞɧɢɣ», «ɛɿɥɶɲɟ», «ɪɨɜɟɫɧɢɤ», «ɞɟɪɠɚɜɚ» ɬɨɳɨ.

5. Ʌɨɝɿɱɧɿ ɫɢɦɜɨɥɢ:

ɚ) ɥɨɝɿɱɧɿ ɡɜ’ɹɡɤɢ: &, , , l , º (ɚɛɨ ( – ));

ɛ) ɤɜɚɧɬɨɪɧɿ ɫɢɦɜɨɥɢ:

—ɤɜɚɧɬɨɪ ɡɚɝɚɥɶɧɨɫɬɿ — ɯ («ɞɥɹ ɛɭɞɶ-ɹɤɨɝɨ»),

—ɤɜɚɧɬɨɪ ɿɫɧɭɜɚɧɧɹ — ɯ («ɿɫɧɭɽ»).

6.Ɍɟɯɧɿɱɧɿ ɫɢɦɜɨɥɢ:

—ɥɿɜɚ ɿ ɩɪɚɜɚ ɞɭɠɤɢ, ɤɨɦɚ.

ɉ. ɉɪɚɜɢɥɚ ɩɨɛɭɞɨɜɢ ɜɢɪɚɡɿɜ ɭ ɦɨɜɿ ɥɨɝɿɤɢ ɩɪɟɞɢɤɚɬɿɜ. ɚ) Ⱦɟɮɿɧɿɰɿɹ ɬɟɪɦɚ

1. Ⱦɨɜɿɥɶɧɚ ɩɪɟɞɦɟɬɧɚ ɤɨɧɫɬɚɧɬɚ ɽ ɬɟɪɦɨɦ.

2. Ⱦɨɜɿɥɶɧɚ ɩɪɟɞɦɟɬɧɚ ɡɦɿɧɧɚ ɽ ɬɟɪɦɨɦ.

3. əɤɳɨ Ɏ — n- ɦɿɫɧɚ ɩɪɟɞɦɟɬɧɨ-ɮɭɧɤɰɿɨɧɚɥɶɧɚ ɤɨɧɫɬɚɧɬɚ, ɚ t1 , t2 ,

... tn — ɬɟɪɦɢ, ɬɨ ɜɢɪɚɡ Ɏ (t1 , t2 , ... tn ) ɽ ɬɟɪɦɨɦ.

4. ɇɿɳɨ ɤɪɿɦ ɡɚɡɧɚɱɟɧɨɝɨ ɜ ɩɭɧɤɬɚɯ 1-3 ɧɟ ɽ ɬɟɪɦɨɦ ɭ ɦɨɜɿ ɥɨɝɿɤɢ ɩɪɟɞɢɤɚɬɿɜ.

ȼɢɪɚɡɢ ɭ ɩɭɧɤɬɚɯ 1 ɬɚ 2 ɜɿɞɧɨɫɹɬɶɫɹ ɞɨ ɩɪɨɫɬɢɯ ɬɟɪɦɿɜ, ɚ ɜɢɪɚɡɢ ɡɚɡɧɚɱɟɧɿ ɭ ɩɭɧɤɬɿ 3 — ɞɨ ɫɤɥɚɞɧɢɯ.

ȼɿɡɶɦɟɦɨ ɜɢɪɚɡ f1 (q2 (x, a)). ȼɿɞɩɨɜɿɞɧɨ ɞɨ ɧɚɜɟɞɟɧɨʀ ɞɟɮɿɧɿɰɿʀ ɬɟɪɦɚ ɜɫɬɚɧɨɜɢɦɨ ɱɢ ɽ ɞɚɧɢɣ ɜɢɪɚɡ ɬɟɪɦɨɦ ɱɢ ɧɿ.

f1 (q2 (x, a)) = Ɏ(t1 ) ɡɝɿɞɧɨ ɩɭɧɤɬɭ 3 (ɬɨɛɬɨ, ɨɞɧɨɦɿɫɧɚ ɩɪɟɞɦɟɬɧɨɮɭɧɤɰɿɨɧɚɥɶɧɚ ɤɨɧɫɬɚɧɬɚ);

q2 (x, a) = t1 (ɬɨɛɬɨ ɽ ɬɟɪɦɨɦ);

q2 (x, a) ɦɚɽ ɜɢɞ Ɏ ( t1, t2 ).

Ɏ ɜɿɞɩɨɜɿɞɚɽ ɮɭɧɤɰɿɨɧɚɥɶɧɿɣ ɤɨɧɫɬɚɧɬɿ — q2; t1 ɽ x — ɬɨɛɬɨ ɬɟɪɦɨɦ ɡɝɿɞɧɨ ɩɭɧɤɬɭ 1 ɜɢɡɧɚɱɟɧɧɹ ɬɟɪɦɚ, ɚ t2 ɽ ɚ, ɬɨɛɬɨ ɬɟɪɦɨɦ ɡɝɿɞɧɨ ɩɭɧɤɬɭ 3 ɜɢɡɧɚɱɟɧɧɹ ɬɟɪɦɚ. ȼɢɯɨɞɢɬɶ, ɳɨ q2 (t1 , t2 ) ɽ ɬɟɪɦɨɦ ɡɝɿɞɧɨ ɩɭɧɤɬɭ 3.

Ɍɨɞɿ ɜɟɫɶ ɜɢɪɚɡ: f 1 (q2 (x, a)) ɽ ɬɟɪɦɨɦ.

Ɇɨɠɧɚ ɩɪɢɩɭɫɬɢɬɢ, ɳɨ ɞɚɧɢɣ ɬɟɪɦ ɽ ɮɨɪɦɚɥɿɡɚɰɿɽɸ ɬɚɤɨɝɨ ɮɪɚɝɦɟɧɬɚ ɩɪɢɪɨɞɧɨʀ ɦɨɜɢ: q ɜɿɞɩɨɜɿɞɚɽ ɞɜɨɦɿɫɧɨɦɭ ɮɭɧɤɬɨɪɭ (+); f —

əɤɳɨ ɜɿɡɶɦɟɦɨ ɜɢɪɚɡ Ɋ1 (q2 (x, a)), ɬɨ ɜɿɧ ɧɟ ɽ ɬɟɪɦɨɦ ɨɫɤɿɥɶɤɢ ɩɨɱɢɧɚɽɬɶɫɹ ɡ ɩɪɟɞɢɤɚɬɨɪɧɨʀ ɤɨɧɫɬɚɧɬɢ.

ɛ) Ⱦɟɮɿɧɿɰɿɹ ɮɨɪɦɭɥɢ:

1.əɤɳɨ ɉ — n-ɦɿɫɧɚ ɩɪɟɞɢɤɚɬɨɪɧɚ ɤɨɧɫɬɚɧɬɚ, ɚ t1 , t1 ... tn — ɬɟɪ-

ɦɢ, ɬɨ ɜɢɪɚɡ ɉ (t1 , t2 , ... tn ) — ɮɨɪɦɭɥɚ;

2.əɤɳɨ Ⱥ — ɮɨɪɦɭɥɚ, ɬɨ ºȺ ɽ ɮɨɪɦɭɥɨɸ.

3.əɤɳɨ Ⱥ ɿ ȼ — ɮɨɪɦɭɥɢ, ɬɨ (A & B), (A B), (A B), (A l B) —

ɮɨɪɦɭɥɢ.

4.əɤɳɨ Ⱥ — ɮɨɪɦɭɥɚ, ɚ ɯ — ɩɪɟɞɦɟɬɧɚ ɡɦɿɧɧɚ, ɬɨ ɯȺ ɿ ɯȺ ɽ ɮɨɪɦɭɥɚɦɢ.

5.ɇɿɳɨ ɤɪɿɦ ɩɟɪɟɪɚɯɨɜɚɧɨɝɨ ɜ ɩɭɧɤɬɚɯ 1-4 ɧɟ ɽ ɮɨɪɦɭɥɚɦɢ. Ɏɨɪɦɭɥɢ, ɹɤɿ ɜɿɞɩɨɜɿɞɚɸɬɶ ɩɭɧɤɬɭ 1 ɞɟɮɿɧɿɰɿʀ ɧɚɡɢɜɚɸɬɶ ɟɥɟɦɟɧ-

ɬɚɪɧɢɦɢ ɚɛɨ ɚɬɨɦɚɪɧɢɦɢ, ɚ ɜ ɩɭɧɤɬɚɯ 2-4 — ɧɚɡɢɜɚɸɬɶɫɹ ɫɤɥɚɞɧɢɦɢ ɚɛɨ ɦɨɥɟɤɭɥɹɪɧɢɦɢ.

ȿɥɟɦɟɧɬɚɪɧɨɸ ɮɨɪɦɭɥɨɸ, ɧɚɩɪɢɤɥɚɞ, ɛɭɞɟ ɜɢɪɚɡ Ɋ2 (ɯ, f1 (a)) .

Ɋ2 — ɞɜɨɦɿɫɧɚ ɤɨɧɫɬɚɧɬɚ, ɚ ɩɿɫɥɹ ɧɟʀ ɜ ɞɭɠɤɚɯ ɡɧɚɯɨɞɢɬɶɫɹ ɞɜɚ ɬɟɪɦɢ ɯ ɿ f1 (ɚ).

Ⱥ ɜɢɪɚɡ Q1 (x, f1 (a)) ɧɟ ɽ ɮɨɪɦɭɥɨɸ, ɨɫɤɿɥɶɤɢ Q1 — ɨɞɧɨɦɿɫɧɚ ɩɪɟɞɢɤɚɬɨɪɧɚ ɤɨɧɫɬɚɧɬɚ, ɚɥɟ ɩɿɫɥɹ ɧɟʀ ɫɬɨʀɬɶ ɞɜɚ ɬɟɪɦɢ ɯ ɿ f1 (a).

ɇɚ ɦɨɜɭ ɥɨɝɿɤɢ ɩɪɟɞɢɤɚɬɿɜ ɦɨɠɧɚ ɩɟɪɟɤɥɚɫɬɢ ɚɬɪɢɛɭɬɢɜɧɿ ɫɭɞɠɟɧɧɹ ɜ ɹɤɢɯ:

ɚ) ɫɬɜɟɪɞɠɭɽɬɶɫɹ ɧɚɹɜɧɿɫɬɶ ɜɥɚɫɬɢɜɨɫɬɿ ɭ ɨɤɪɟɦɨɝɨ ɩɪɟɞɦɟɬɚ; ɛ) ɣɞɟɬɶɫɹ ɩɪɨ ɿɫɧɭɜɚɧɧɹ ɹɤɨɝɨɫɶ ɨɛ’ɽɤɬɭ, ɳɨ ɡɚɞɨɜɨɥɶɧɹɽ ɞɟɹɤɭ

ɭɦɨɜɭ; ɜ) ɫɬɜɟɪɞɠɭɽɬɶɫɹ, ɳɨ ɞɟɹɤɿɣ ɭɦɨɜɿ ɡɚɞɨɜɨɥɶɧɹɽ ɛɭɞɶ-ɹɤɢɣ

ɨɛ’ɽɤɬ ɩɪɟɞɦɟɬɧɨʀ ɨɛɥɚɫɬɿ.

ɍɜɢɩɚɞɤɭ ɚ), ɬɨɛɬɨ ɤɨɥɢ ɮɨɪɦɚɥɿɡɭɽɬɶɫɹ ɨɞɢɧɢɱɧɟ ɚɬɪɢɛɭɬɢɜɧɟ ɫɭɞɠɟɧɧɹ, ɤɨɪɢɫɬɭɽɦɨɫɹ ɮɨɪɦɭɥɨɸ ɉ1 (t), ɞɟ ɉ1 ɽ ɨɞɧɨɦɿɫɧɚ ɩɪɟɞɢɤɚɬɨɪɧɚ ɤɨɧɫɬɚɧɬɚ, ɳɨ ɜɿɞɩɨɜɿɞɚɽ ɡɧɚɤɭ ɜɥɚɫɬɢɜɨɫɬɿ ɚ t ɬɟɪɦ, ɳɨ ɜɿɞɩɨɜɿɞɚɽ ɿɦɟɧɿ ɩɪɟɞɦɟɬɚ. ɇɚɩɪɢɤɥɚɞ, ɦɚɽɦɨ ɚɬɪɢɛɭɬɢɜɧɿ ɫɭɞɠɟɧɧɹ: «Ɍɚɪɚɫ ɒɟɜɱɟɧɤɨ — ɩɨɟɬ». ɉɟɪɟɤɥɚɞɨɦ ɣɨɝɨ ɧɚ ɦɨɜɭ ɥɨɝɿɤɢ ɩɪɟɞɢɤɚɬɿɜ ɛɭɞɟ ɜɢɪɚɡ: «Ɋ (ɚ)»; «Ȼɚɬɶɤɨ ɦɨɝɨ ɩɪɢɹɬɟɥɹ — ɥɿɤɚɪ» — Q (f (a)), ɞɟ f — ɰɟ ɨɞɧɨɦɿɫɧɚ ɩɪɟɞɢɤɚɬɨɪɧɚ ɤɨɧɫɬɚɧɬɚ, ɳɨ ɜɿɞɩɨɜɿɞɚɽ ɩɪɟɞɦɟɬɧɨɦɭ ɮɭɧɤɬɨɪɭ «ɛɚɬɶɤɨ», ɚ — ɬɟɪɦ «ɦɿɣ ɩɪɢɹɬɟɥɶ», ɚ Q — ɨɞɧɨɦɿɫɧɚ ɩɪɟɞɢɤɚɬɨɪɧɚ ɤɨɧɫɬɚɧɬɚ, ɳɨ ɜɿɞɩɨɜɿɞɚɽ ɜɥɚɫɬɢɜɨɫɬɿ «ɛɭɬɢ ɥɿɤɚɪɟɦ»;

ɍɫɢɬɭɚɰɿʀ ɛ), ɚ ɫɚɦɟ, ɤɨɥɢ ɮɨɪɦɚɥɿɡɭɸɬɶɫɹ ɚɬɪɢɛɭɬɢɜɧɿ ɫɭɞɠɟɧɧɹ ɩɪɨ ɿɫɧɭɜɚɧɧɹ ɞɟɹɤɢɯ ɩɪɟɞɦɟɬɿɜ, ɬɨ ɜɢɤɨɪɢɫɬɨɜɭɸɬɶ ɮɨɪɦɭɥɭ ɯ Ⱥ(ɯ), ɞɟ ɯ — ɩɪɟɞɦɟɬɧɚ ɡɦɿɧɧɚ, ɳɨ ɩɪɨɛɿɝɚɽ ɩɨ ɨɛɥɚɫɬɿ ɨɛ’ɽɤɬɿɜ, ɩɪɨ ɹɤɿ ɣɞɟɬɶɫɹ ɭ ɜɢɫɥɨɜɥɸɜɚɧɧɿ, ɚ Ⱥ(ɯ) — ɮɨɪɦɭɥɚ, ɹɤɚ ɮɿɤɫɭɽ, ɳɨ ɯ ɡɚɞɨɜɨɥɶɧɹɽ ɭɦɨɜɭ Ⱥ. ɇɚɜɟɞɟɦɨ ɩɪɢɤɥɚɞɢ ɩɟɪɟɤɥɚɞɭ ɰɶɨɝɨ ɬɢɩɭ ɚɬɪɢɛɭɬɢɜɧɢɯ ɫɭɞɠɟɧɶ ɦɨɜɨɸ ɥɨɝɿɤɢ ɩɪɟɞɢɤɚɬɿɜ:

1.«ɏɬɨɫɶ ɜɢɧɚɣɲɨɜ ɪɚɞɿɨ» — ɯ Ɋ(ɯ);

2.«Ⱦɟɹɤɿ ɩɨɟɬɢ ɽ ɥɚɭɪɟɚɬɚɦɢ» — ɯ Q(x);