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