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