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

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

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

Номер 1

В чем состоит основное назначение ламбда-исчисления?

Ответ:

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

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

(3) формализации обозначения и переобозначения

Номер 2

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

Ответ:

(1) ALGOL 60

(2) SIMULA 67

(3) FORTRAN IV

Номер 3

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

Ответ:

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

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

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

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

Номер 1

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

Ответ:

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

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

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

Номер 2

Что означает выводимость типов?

Ответ:

(1) возможность определить тип из контекста окружения

(2) возможность доказать, что выражение имеет тот или иной тип

(3) возможность приписать тип выражениям в цепочке вывода

Номер 3

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

Ответ:

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

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

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

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

Номер 1

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

Ответ:

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

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

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

Номер 2

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

Ответ:

(1) Mosml

(2) CaML

(3) SML

Номер 3

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

Ответ:

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

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

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

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

Номер 1

Какое отношение задают аксиомы ламбда-исчисления?

Ответ:

(1) отношение взаимно однозначного соответствия

(2) отношение частичного порядка

(3) отношение конвертируемости

Номер 2

Каким целям служит редукция в ламбда-исчислении?

Ответ:

(1) целям упрощения термов

(2) целям ликвидации коллизий обозначений

(3) целям наглядности

Номер 3

Каковы основные свойства отношения конвертируемости?

Ответ:

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

(2) рефлексивность, симметричность, транзитивность

(3) рефлексивность, антисимметричность, транзитивность

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

Номер 1

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

Ответ:

(1) вправо

(2) влево

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

Номер 2

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

Ответ:

(1) вправо

(2) влево

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

Номер 3

Какая операция не является основной операцией в ламбда-исчислении?

Ответ:

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

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

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

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