APPLICATION OF THE LAMBDA CALCULUS IN CLASSICAL AND QUANTUM COMPUTING


In this paper we discuss events that led to the lambda calculus. Syntax and semantics of the lambda calculus are described. Applications of lambda expressions to the programming languages are given. Topological, differential, probabilistic and quantum lambda calculi are characterized.


ПРИМЕНЕНИЕ ЛЯМБДА ИСЧИСЛЕНИЯ В КЛАССИЧЕСКОМ И КВАНТОВОМ КОМПЬЮТИНГЕ


В статье приведены причины обусловившие создание лямбда исчисления. Описаны синтаксис и семантика лямбда исчисления. Показаны особенности применения лямбда выражений в языках программирования. Охарактеризованы топологическое, дифференциальное, вероятностное и квантовое лямбда исчисления.


ლამბდა აღრიცხვის გამოყენება კლასიკურ და კვანტურ კომპიუტინგში


სტატიაში გადმოცემულია მოვლენები, რომლებმაც განაპირობეს ლამბდა აღრიცხვის შექმნა. აღწერილია ლამბდა აღრიცხვის სინტაქსი და სემანტიკა. მოცემულია დაპროგრამების ენებში ლამბდა გამოსახულებების გამოყენების თავისებურებები. დახასიათებულია ტოპოლოგიური, დიფერენციალური, ალბათური და კვანტური ლამბდა აღრიცხვები.