Ответы к тесту/контрольной: Функциональное программирование
-20%
Описание
Здесь представлена подборка ответов на тестовые вопросы по предмету "Функциональное программирование". Перед покупкой проверяйте точно ли здесь представлены те вопросы, ответы на которые вам нужны.
Список вопросов
Как правильно описать двоичное дерево на F#?
В чем преимущества лямбда-исчисления как модели вычислений?
Как определяется функция в λ-исчислении?
Что такое денотационная семантика языка программирования?
Какая операция повышает порядок функции?
Eval/Apply-интерпретатор состоит из
Алгоритм вывода типов W содержит в себе следующие основные этапы:
Какие условия являются необходимыми для хвостовой рекурсии?
Какой будет результат сопоставления let x::y::z = [1;2]?
За счет чего функциональные программы обычно содержат меньше ошибок, чем императивные?
Какова сложность поиска в дереве поиска?
Для реализации ленивого Eval/Apply-интерпретатора необходимо, в частности:
Как расставляются скобки в выражении f sin x*2?
Какой тип имеет функция filter?
Какие основные операции в чистом λ-исчислении?
Какое максимальное количество неподвижных точек может иметь функция?
Какая алгоритмическая модель лежит в основе императивного программирования?
Какова сложность добавления элемента на первое место списка длины n?
Какой будет следующий шаг при нормальном порядке редукции выражения (λx.x+x)(2+3)?
Как представляется число n в виде нумерала Черча?
Что такое домены?
Что такое продолжение (continuation)?
Где может использоваться сопоставление с образцом в F#?
В чем разница между записями <@ fun x→ x*2 @> и fun x→ <@ x*2 @>?
Какое из приведенных ниже преобразований является примером альфа-редукции?
Как записать выражение для последующего параллельного вычисления значения функции fib?
Как описываются рекурсивные функции в F#?
Почему проще формулировать и доказывать корректность программ на чистом функциональном языке?
Какой тип имеет функция eval в Eval/Apply-интерпретаторе?
Возможно ли построить автоматический верификатор произвольных функциональных программ на зацикливаемость?
Как определяется семантика рекурсивных функций?
Что такое пропозициональная семантика языка программирования?
Зачем в F# необходимо статически ассоциировать типы с именами?
Можно ли в F# изменять контекст вычисления функции внутри замыкания?
Что является следствием теоремы Черча-Россера?
При аппликативном порядке редукции:
Какой самый внутренний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?
Какое из приведенных ниже преобразований является примером бета-редукции?
Какая операция понижает порядок функции?
В каком порядка обходятся поддеревья в префиксном порядке обхода?
Как связаны двоичные деревья и деревья общего вида?
Разреженная матрица размерности nXn с m ненулевыми элементами представляется в виде функции int*int → float. Какова будет сложность операции умножения всех элементов матрицы на 2?
C помощью какой функции можно эффективно посчитать сумму элементов целочисленного списка?
Какие основные способы борьбы со сложностью используются в функциональных программах?
Какие операторы традиционно отсутствуют в функциональных языках?
Пусть геометрическое преобразование определяется функцией трансляции координат int*int → int*int. Мы хотим определить функцию сдвига translate : int*int, которая возвращался бы замыкание. Как это сделать?
Как правильно параллельно вычислить сумму 100-го и 200-го чисел Фибоначчи?
Какая функция, определенная на домене D, обязательно имеет неподвижную точку?
Как определяют рекурсивные вычисления в лямбда-исчислении?
Как правильно расставить скобки в выражении лямбда-исчисления, чтобы вычислить f(g(x))?
За счет чего функциональные программы содержат меньше ошибок?
Как можно отделить голову и хвост списка?
С помощью какой функции можно удалить из списка все элементы, стоящие на четных позициях?
Система вывода типов (Хиндли-Милнера) – это:
Какие есть основные модели вычислений?
Какому способу передачи параметров соответствует аппликативный порядок редукции?
Какой тип у каррированной функции сложения целых чисел?
При реализации синтаксического анализатора методом рекурсивного спуска, какой тип удобно использовать для функции parse:
Какое множество значений у типа T1 → Т2?
Какие базовые операции чистого лямбда-исчисления?
Пусть L – генератор последовательности длины n. Какова сложность операции map f L?
В динамических языках программирования:
Какой функции эквивалентна запись [ for x in L → x*2 ]?
Что такое дерево поиска?
Какие стеки включает в себя SECD-машина?
При введении списков, как определяется функция отделения первого элемента hd?
Почему следует стараться использовать хвостовую рекурсию?
Почему функциональные программы не содержат побочных эффектов?
Что такое каррирование?
Какой будет наиболее общий тип для функции tl: let tl x::t = t?
Какого типа выражение <@@ (1+2)*3 @@>?
Как определяется конструкция let?
Сколько потоков выполнения операционной системы будет порождаться при выполнении операции Async.RunSynchronously(Async.Parallel([ for i in 1..100 → async { return fib(i) }]))?
Чему равен результат выражения nondet { return 10; } для монады недетерминированных вычислений?
Что такое монада?
В чем разница между записями <@ fun x→ x*2 @> и <@@ fun x→x*2 @@>?
Программа, порожденная генератором fsyacc:
Что помещается в стек объектов S SECD-машины?
Как определяется наименьшая неподвижная точка непрерывной функции f в соответствии с теоремой о неподвижной точке?
Что такое операционная семантика языка программирования?
Что необходимо сделать для вывода типов в некотором выражении?
Как определяется множество значений для типа, описанного как type tree = {nil} + int X treeX tree?
При статическом контроле типов:
Что такое мемоизация?
Что такое замыкание?
Как определяется конструкция letrec?
Что является следствием теоремы стандартизации?
Какой будет следующий шаг при аппликативном порядке редукции выражения (λx.x+x)(2+3)?
Какой самый внешний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?
Как расставляются скобки в выражении λx.λy.e1e2?
Какая операция применяет функцию к аргументу?
Какая модель вычислений служит формальной основой функционального программирования?
Как обычно представляется дерево арифметического выражения?
В каком порядка обходятся поддеревья в постфиксном порядке обхода?
Какова сложность добавления элемента в конец списка длины n?
В каком представлении матриц проще реализовать операцию транспонирования?
Какими способами можно создать список четных чисел от 1 до 10?
Какой тип имеет функция fold_left?
Какая функция может быть использована для удаления из списка всех элементов, делящихся на 3?
Как описать повторяющиеся действия в функциональном языке?
📢 Есть вопросы или нужна помощь? Не знаете, как оформить заказ или оплатить?
👉 Просто нажмите кнопку Написать эксперту — я сразу отвечу, помогу разобраться и оформить всё за вас. 💬
🔥 Быстро. Удобно. Без лишних сложностей!
👉 Просто нажмите кнопку Написать эксперту — я сразу отвечу, помогу разобраться и оформить всё за вас. 💬
🔥 Быстро. Удобно. Без лишних сложностей!
Характеристики ответов (шпаргалок) к КР
Тип
Коллекция: Ответы к тесту/контрольной
Семестр
Просмотров
0
Качество
Идеальное компьютерное
Количество вопросов
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_100332_12444.png&w=1632&h=400&t=1")
🎓 Поможем сдать всё — тесты, практику, экзамены, курсовые, дипломы, отчёты! Закроем долги под ключ 🔑 Ведём от первой сессии до диплома 🏆 Работаем с Синергией, МЭИ и другими вузами 🤝 Гарантия результата или возврат денег 💰 Пиши! 🚀
meimei1337
02 марта в 13:42
Комментарии
Нет комментариев
Стань первым, кто что-нибудь напишет!
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
