Комбинаторы — это просто!: различия между версиями

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