Комбинаторная логика

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Комбина́торная ло́гика — раздел дискретной математики, который тесно связан с λ-исчислением, т. к. описывает вычислительные процессы. Разработан Мозесом Шёнфинкелем и Хаскеллом Карри.

См. также[править]