Комбинаторы — это просто!: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 8:
Комбинаторная логика (от слова «комбинатор», а не
«комбинаторика»)— это направление в математической логике,
разработанное в первой половине XX века
Мозесом Шёнфинкелем и Хаскеллом Карри в качестве науки о
вычислительных процессах. Хотя первоначально этот вид логики
| |||