Combinatory logic Volume 1 2024 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

Combinatory logic Volume 1 2024 pdf epub mobi 电子书著者简介

Haskell Brooks Curry (/ˈhæskəl ˈkɜːri/; September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel,[1] much of the development was done by Curry. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science.

Combinatory logic Volume 1 电子书图书目录

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-06-26

Combinatory logic Volume 1 2024 pdf epub mobi 电子书

喜欢 Combinatory logic Volume 1 电子书的读者还喜欢

Combinatory logic Volume 1 电子书读后感

评分☆☆☆☆☆

组合子逻辑的最初思想来源于Schönfinkel（尚芬克尔）1924年的论文《论数理逻辑的基础》。但真正将组合子逻辑发扬光大使其成为现代逻辑、计算基础理论的是Haskell Curry（哈斯凯尔·柯里）。柯里在德国哥廷根大学在希尔伯特的指导下完成了博士论文《Grundlagen Der Kombinato...

评分☆☆☆☆☆

类似图书点击查看全场最低价

出版者:North-Holland Pub. Co

作者:Haskell B Curry

出品人:

页数:425

译者:

出版时间:1958

价格:0

装帧:Hardcover

isbn号码:9780720422085

丛书系列:

图书标签: 数理逻辑语言学 lambda function combinatory_logic combinators MathLogic Math

Combinatory logic Volume 1 2024 pdf epub mobi 电子书图书描述

Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.

Combinatory logic Volume 1 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!