Какая алгоритмическая модель лежит в основе императивного программирования?
Какая модель вычислений служит формальной основой функционального программирования?
Как определяются значения логического типа при формальном построении языка функционального программирования?
В динамических языках программирования:
В чем отличия фунционального программирования и императивного?
Что такое денотационная семантика языка программирования?
Что такое пропозициональная семантика языка программирования?
Что такое операционная семантика языка программирования?
Какие языки программирования являются преимущественно функциональными?
Какая рекурсия называется линейной?