Результаты поиска
Перейти к навигации
Перейти к поиску
- ...развития математической мысли, как [[w:Комбинаторная логика|комбинаторная логика]] и [[w:Лямбда-исчисление|λ-исчисление]]. В свою очередь последнее более те ...н|Маккарти]] (автора [[w:Лисп|Лиспа]]), такие объекты называются [[w:Атом (логика)|атомами]]. В теории фактический способ реализации базисных операций и пред ...24 КБ (1026 слов) - 14:40, 15 февраля 2025
- Данная статья описывает основы [[w:Комбинаторная логика|комбинаторной логики]] — [[w:Математика|математической науки]] о [[w:Вычисл ...от вид логики претендовал только на то, чтобы удалить из [[w:Высказывание (логика)|логических высказываний]] переменные, через некоторое время в [[w:Информат ...48 КБ (1372 слова) - 20:37, 15 декабря 2024
- ...я]] и [[w:Карри, Хаскелл|Хаскелла Карри]], разработавших [[w:Комбинаторная логика|комбинаторную логику]], и [[w:Чёрч, Алонзо|Алонзо Чёрча]], создателя [[w:Ля ...48 КБ (807 слов) - 16:50, 16 апреля 2020
- ...ных вычислительных формализмов, как [[w:комбинаторная логика|комбинаторная логика]] и [[w:Лямбда-исчисление|λ-исчисление]]. Впоследствии λ-исчисление стало б ...116 КБ (1173 слова) - 00:10, 25 декабря 2024