wiki-linki.ru - поиск статей википедии и связей между ними

Лямбда-исчисление

Ля́мбда-исчисле́ние (λ-исчисление, лямбда-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

    внешние ссылки Ссылки на внешние ресурсы:
оригинальная статья в википедии - Читать статью в википедии
wiki-ассоциации - Список наиболее близких по теме статей
- Упоминания этой статьи в других статьях
Просмотр Карты Памяти (MindMap) статьи


Перейти на главную страницу


Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.