Вопросы с тегом «lambda-calculus»

Закрыто . Этот вопрос должен быть более сфокусированным . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он был сосредоточен только на одной проблеме, отредактировав этот пост . Закрыто 5 лет назад . Я начинаю свой первый год (в колледже) в области компьютерных наук …

13 programming-languages  computer-science  lambda-calculus 

У меня есть то, что я бы назвал философским вопросом о λ-исчислении. Когда вы изучите λ-исчисление, вы будете удивлены, увидев все, что вы можете сделать там. Вы можете определять целые числа, арифметические операции, логические значения, операторы if-then-else, циклы, рекурсивные функции и т. Д. Я считаю, что это было доказано в …

11 computer-science  lambda-calculus