Лекція 6. 1. Березин И.С. Маркетинг и исследования рынков

СПИСОК РЕКОМЕНДОВАНИХ ДЖЕРЕЛ

1. Березин И.С. Маркетинг и исследования рынков. /Березин И.С. – М.: Русская деловая литература, 1999. – 416 с. (Серия «Маркетинг для профессионалов»).

2. Герасимчук В.Г. Маркетинг: теорія і практика: Навч. справ. / Герасимчук В.Г. - К.: Вища шк., 1994. - 327 с. (Серія «Вища школа»).

3. Голубков Е.П. Маркетинговые исследования: теория, методология и практика. 2-е издание, переработанное и дополненное. /Березин И.С. - М.: Издательство “Финпресс”. 2000. - 464 с. (Серия «Маркетинг для профессионалов»).

4. Котлер Ф. Основы маркетинга: пер. с англ. – /[Котлер Ф., Армстронг Г., Сондерс Д., Вонг В.].- 2-е европ. изд. – М.; СПб.; К.: Издат. дом “Вильмяс”, 1999. - 1056 с. (Серия «Маркетинг для профессионалов»).

5. Мороз Л.А. Маркетинг: Навчальний посібник: Збірник вправ. /Л. А. Мороз, Н. І. Чухрай. – Львів: Державний університет “Львівська політехніка”, 1999. – 244 с. (Серія «Вища школа»).

6. Парсяк В.Н., Маркетинговые исследования. /В. Н. Парсяк, Г. К. Рогов.- К.: Наукова думка, 2000. - 174 с. (Серія «Вища школа»).

7. Пінчук Н.С., Галузинський Г.П., Орленко Н.С. Інформаційні системи і технології в маркетингу. – К.: КНЕУ, 1999. - 328 с.

8. Полторак В.А. Маркетинговые исследования: методы и технологии. - Днепропетровск: Арт-пресс, 2006. - 258 с. (Серія «Вища школа»).

9. Скибінський С.В. Маркетинг: Підручник. /Скибінський С.В. – Львів, 2000. – 640 с. (Серія «Вища школа»).

10. Старостіна А.О. Маркетингові дослідження: практичний аспект. / Старостіна А.О. – К.; М.; СПб.: Вильямс, 1998. – 262 с. (Серія «Вища школа»).

11. Тимонин А.М. Маркетинг: Учебное пособие. / Тимонин А.М. – Х.: Око, 1997. – 216 с. (Серія «Вища школа»).

12. Хруцкий В.Е. Современный маркетинг. Настольная книга по исследованию рынка: Учебное пособие. /В. Е. Хруцкий, И. В. Корнеева.– 2-е изд., перераб, и доп. - М.: Финансы и статистика, 1999. - 528 с. (Библиотека экономиста).

13. Крылова Г.Д., Соколова М.И. Маркетинг. Теория и 86 ситуаций: Учебн. пособие. /Г. Д. Крылова, М. И. Соколова - М.: ЮНИТИ, 1999. - 519 с. (Серия «Выcшая школа»).

14. Ядов В.А. Социологическое исследование: методология, программа, методы. /Ядов В.А. – Самара: Издательство “Самарский университет”, - 1995. – 332 с. (Серия «Библиотека социолога»).

· алфавіт;

· твердження;

· аксіоми;

· правила виводу.

1. константи;

2. змінні;

3. комбінаторні вирази (або терми);

4. спеціальні символи.

Константи c₁, c₂,...

Змінні x, y,...

Вирази (терми) M, N,...

Спеціальні символи "(", ")"

вираз (MN) є допустимим комбінаторним термом.

аксіоми відношення конвертованості:

(I) Ix = x; існування комбінатора (функції) тотожності

(K) Kxy = x; існування комбінатора (функції) взяття першої проекції

(S) Sxyz = xz(yz). комбінатор - конектор

правила виводу комбінаторних термів відношення конвертованості:

(μ) якщо a=b, то ca=cb;

(ν) якщо a=b, то ac=bc;

(ρ) a=a (рефлексивність);

(σ) якщо a=b, то b=a (симетричність);

(τ) якщо a=b і b=c, то a=c (транзитивність).

XY = (XY), XYZ = ((XY)Z),...

(XY) = XY, ((XY)Z) = XYZ,...

БНФ -опис комбінатора:

<комбінатор>::= K | S | (<комбінатор> <комбінатор>)

БНФ -опис терма комбінаторної логіки, можливо із змінними:

<комбінаторний терм>::= K | S | <змінна> |

(<комбінаторний терм> <комбінаторний терм>)

Деякі корисні співвідношення для комбінаторів

(I)	I a = a;	комбінатор тотожності
(K)	К ab = a;	канцелятор (комбінатор взяття першої проекції)
(S)	S abc = ac(bc);	комбінатор-конектор
(B)	B abc = a(bc);	комбінатор композиції
(C)	C abc = acb;	пермутація (перестановка)
(W)	W xy = xyy.	дублювання аргументів

механізм редукції

SKKx = (за правилом S) Kx(Kx) = (за правилом K) x.

звідки, з урахуванняи аксіом і правила (I),

I = SKK

Розкладання термів в базисі {K,S} для розглянутих вище комбінаторів:

B = S(KS)K; W = SS(K(SKK)); C = S(BBS)(KK).

тип a приписаний комбінатору X тоді і лише тоді, коли це твердження отримано з таких аксіом:

(FI) ||- #(I) = (a,a),

(FK) ||- #(K) = (a,(b,a)) = (a,b,a),

(FS) ||- #(S) = ((a,(b,c)), ((a, b)(a,c)))

і правила виводу

(F) если ||- #(X) = (a,b) и ||- #(U) = a,

то ||- #(XU) = b.

визначення функцій

fun Ix = x;

fun Kxy = x;

fun Sxyz = xz(yz);

Дата добавления: 2014-01-07