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

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

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

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

Источник — https://traditio.wiki/w/index.php?title=Комбинаторная_логика&oldid=854025