Главная / Программирование / Введение в теорию программирования. Функциональный подход / Тест 6

Введение в теорию программирования. Функциональный подход - тест 6

Упражнение 1:

Номер 1

В чем состоит основное назначение комбинаторной логики?

Ответ:

(1) формализация функциональной программы

(2) формализация программной среды Microsoft .NET

(3) формализация выводимости типов

Номер 2

Для реализации какого из перечисленных языков программирования использовалась категориальная комбинаторная логика?

Ответ:

(1) CaML

(2) SML

(3) Mosml

Номер 3

Каковы основные компоненты формальной теории комбинаторной логики?

Ответ:

(1) алфавит, аксиомы, теоремы

(2) алфавит, аксиомы, правила вывода

(3) алфавит, теоремы, правила вывода

Упражнение 2:

Номер 1

В чем состоит преимущество комбинаторной логики перед классической?

Ответ:

(1) возможность оптимизации программного кода

(2) возможность формализации процесса программирования

(3) наглядность

Номер 2

Что понимается под комбинатором?

Ответ:

(1) ламбда-терм без переменных

(2) ламбда-терм без связанных переменных

(3) ламбда-терм без свободных переменных

Номер 3

Что отличает аксиомы комбинаторной логики от прочих утверждений?

Ответ:

(1) лаконичность формулировок

(2) фундаментальность

(3) отсутствие необходимости доказательства истинности

Упражнение 3:

Номер 1

Что из перечисленного является этапом развития комбинаторной логики?

Ответ:

(1) логика первого порядка

(2) теория простых функций

(3) теория вычислений

Номер 2

Каковы основные операции формальной системы комбинаторной логики?

Ответ:

(1) аппликация

(2) абстракция

(3) аппликация и абстракция

Номер 3

Каким образом осуществляется построение комбинаторов?

Ответ:

(1) посредством рекурсии

(2) посредством дедукции

(3) посредством индукции

Упражнение 4:

Номер 1

В каком случае переменная x называется свободной в терме λx.A?

Ответ:

(1) если она не имеет вхождений в терм А

(2) если она имеет единственное вхождение в терм А

(3) если она имеет хотя бы одно вхождение в терм А

Номер 2

Какие символы являются специальными в алфавите формальной системы комбинаторной логики?

Ответ:

(1) "(", ")", "λ"

(2) "(", ")", "λ", "."

(3) "(", ")"

Номер 3

Какой функции соответствует аксиома Ix=x?

Ответ:

(1) первой проекции

(2) тождеству

(3) композиции

Упражнение 5:

Номер 1

Какой функции соответствует аксиома Кxу=x?

Ответ:

(1) первой проекции

(2) тождеству

(3) композиции

Номер 2

В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?

Ответ:

(1) вправо

(2) влево

(3) в любом направлении

Номер 3

Сколько базисов комбинаторов существует в комбинаторной логике?

Ответ:

(1) один: {K,S}

(2) три: {I,K,S}, {I,B,C,S}, {B,W,K}

(3) бесконечное множество

Главная / Программирование / Введение в теорию программирования. Функциональный подход / Тест 6