КОМБИНА́ТОРНАЯ ЛО́ГИКА

КОМБИНА́ТОРНАЯ ЛО́ГИКА, раз­дел ма­те­ма­тич. ло­ги­ки, изу­чаю­щий т. н. ком­би­нáто­ры и их свой­ст­ва. В ка­че­ст­ве осн. по­ня­тий в К. л. вы­би­ра­ют­ся функ­ция и опе­ра­ция при­ме­не­ния функ­ции к ар­гу­мен­ту (ап­пли­ка­ция), при­чём в ка­че­ст­ве ар­гу­мен­тов мо­гут вы­сту­пать са­ми функ­ции. Ком­би­на­то­ра­ми на­зы­ва­ют эле­мен­ты клас­са функ­ций, замк­ну­то­го от­но­си­тель­но ап­пли­ка­ции. По­ня­тие «ком­би­на­тор­но оп­ре­де­ли­мая функ­ция», сфор­му­ли­ро­ван­ное в тер­ми­нах К. л., яви­лось од­ним из пер­вых ша­гов на пу­ти уточ­не­ния по­ня­тия ал­го­рит­ма. На­ча­ло К. л. по­ло­же­но ра­бо­той рос. ма­те­ма­ти­ка М. И. Шейн­фин­ке­ля (1924), осн. часть даль­ней­ших ре­зуль­та­тов при­над­ле­жит амер. ло­ги­ку Х. Кар­ри. К. л. на­хо­дит при­ме­не­ние в тео­рии язы­ков про­грам­ми­ро­ва­ния.