frame calculus Математический аппарат манипулирования знаниями, представленными в базе знаний в виде сети фреймов.
Russian-English Modern Computing dictionary
лямбда исчисление
lambda calculus Математический формализм для представления функций и способов их комбинирования. Предложено Черчем, Шейнфинкелем и Карри. Послужило основой денотационной семантики языков программирования и оказало влияние на развитие языков функционального программирования (в частности, языка Лисп).