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

From Традиция
Jump to navigation Jump to search

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

См. также[edit | edit source]