5. Контрольні запитання

1. Що розуміється під терміном «вільна змінна»?

2. Що розуміється під терміном «зв'язана змінна»?

3. Сформулюйте визначення комбінатора.

4. Що називають комбінаторною логікою?

5. Які операції допустимі над комбінаторними термами?

6. Як розуміється операція аплікації в комбінаторній логіці?

7. Чому формальну систему комбінаторної логіки можливо відображувати на конструкції мови функціонального програмування?

8. Які властивості комбінаторної логіки забезпечують природність відображення термів у функції мови програмування?

9. Наведіть приклади комбінаторів.

10. Що розуміється під терміном «базис»?

11. Які комбінатори називаються базисними?

12. Чи існує мінімальний набір комбінаторів, який є базисним?

13. Скільки існує різних базисів? Чи кінцеве їх число?

14. Скільки існує різних мінімальних базисів? Чи кінцеве їх число?

15. Наведіть приклад базисного набору комбінаторів.

16. Наведіть приклад мінімального базисного набору комбінаторів.

17. Що означає термін «комбінаторна характеристика (об'єкту)»?

18. Приведіть комбінаторну характеристику для комбінатора K.

19. Приведіть комбінаторну характеристику для комбінатора S

20. Приведіть комбінаторну характеристику для комбінатора I.

21. Приведіть функцію мови програмування SML для комбінатора K.

22. Приведіть функцію мови програмування SML для комбінатора S.

23. Приведіть функцію мови програмування SML для комбінатора I.

24. Які аксіоми і правила виведення комбінаторної логіки дозволяють будувати нові комбінатори?

25. Які аксіоми і правила виведення комбінаторної логіки дозволяють будувати ланцюжки виведення співвідношень?

26. Які аксіоми і правила виведення комбінаторної логіки дозволяють доводити теореми?