Крок індукції

Базис

Лекція 5. Комбінаторна логіка як формальна система

Лекція № 7. ПСИХОЛОГІЯ ВНУТРІШНЬОСОБИСТІСНОГО ТА МІЖОСОБИСТІСНОГО КОНФЛІКТУ.

Лекція № 6. ПСИХОЛОГІЯ СПІЛКУВАННЯ.

План

МОВА І МОВЛЕННЯ

Лекція № 5. ПСИХОЛОГІЧНИЙ АНАЛІЗ ДІЯЛЬНОСТІ.

Лекція № 4. ПСИХОЛОГІЯ КОЛЕКТИВУ. СОЦІАЛЬНІ ГРУПИ.

Лекція № 3. ПСИХОЛОГІЯ ОСОБИСТОСТІ.

Лекція № 2. ПРИНЦИПИ І МЕТОДИ ВИВЧЕННЯ ПСИХІКИ

1. Методологічні принципи психології.

2. Класифікація методів психології.

3. Основні методи психології (спостереження і експеримент).

4. Допоміжні методи психології (опитування, тестування, вивчення продуктів діяльності).

План

1. Поняття про особистість у психології.

2. Структура особистості. Самосвідомість особистості.

3. Мотиваційна сфера особистості. Спрямованість особистості.

4. Рушійні сили і рівні становлення і розвитку особистості.

План

1. Поняття про групи.

2. Міжособистісні стосунки у групі.

3. Позиція особистості у колективі. Типологія лідерів.

1. Поняття про діяльність. Мета та мотиви діяльності.

2. Структура діяльності. Засоби діяльності, процес їх засвоєння.

3. Перенесення та інтерференція навичок.

4. Основні різновиди діяльності. Творча діяльність.

5. Поняття про мову та її функції.

6. Фізіологічні механізми мовної діяльності.

7. Різновиди мовлення.

План

1. Поняття про спілкування.

2. Засоби спілкування.

3. Функції спілкування.

4. Різновиди та рівні спілкування.

5. Позиція партнерів при контакті.

6. Моделі спілкування.

План

1. Поняття та структура конфліктів. Типологія конфліктів.

2. Сутність, причини та структура внутрішньоособистісного конфлікту.

3. Психологічна сумісність і конфлікт у міжособистісних стосунках.

λx.А

· алфавіт;

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

· аксіоми;

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

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

2. змінні;

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

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

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

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

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

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

Константа і змінна є комбінаторним термом

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

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