
Stephen Cole Kleene - Wikipedia
One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of computable functions.
斯蒂芬·科尔·克莱尼 - 维基百科,自由的百科全书
斯蒂芬·科尔·克莱尼 (英語: Stephen Cole Kleene,1909年1月5日—1994年1月25日)是一名美國 數學家 、 逻辑學家,主要从事對 可計算函數 的研究,而他的遞歸理論研究有助於奠定 理論電腦科學 的基礎。
Kleene星号_百度百科
Kleene 星号,或称 Kleene 闭包,德语称 Kleensche Hülle,在数学上是一种适用于字符串或符号及字符的集合的一元运算。 当 Kleene 星号被应用在一个集合Σ时,写法是Σ*。
斯蒂芬·科尔·克莱尼 - 百度百科
斯蒂芬·科尔·克莱尼(Stephen Cole Kleene,1909年1月5日—1994年1月25日)美国数学家、逻辑学家,出生于美国康涅狄克州的哈特福德。 他的递归论研究有助于奠定理论计算机科学的基础。
克莱尼星号 - 维基百科,自由的百科全书
Kleene 星号,或稱 Kleene 闭包,德语稱 Kleensche Hülle,在 數學 上是一種適用於 字符串 或符號及字元的 集合 的 一元運算。 當 Kleene 星号被應用在一個集合 時,寫法是 。 它被廣泛用於 正则表达式。
Stephen Cole Kleene | Mathematician, Logician, Recursion
Stephen Cole Kleene was an American mathematician and logician whose work on recursion theory helped lay the foundations of theoretical computer science. Kleene was educated at Amherst College (A.B., 1930) and earned a Ph.D. in mathematics at Princeton University in 1934.
克莱尼代数_百度百科
克莱尼代数,是数学名词,又称Kleene代数,是下列两个事物之一:带有满足德·摩根定律和不等式 x∧−x ≤ y∨−y 的对合的有界分配格。
探索编译原理:克林闭包的理解与应用 - 知乎
克林闭包(Kleene Closure)是对于 正则表达式 的一种操作,表示某个模式可以重复0次或多次。 在计算机科学中,克林闭包被广泛应用于编程语言的词法和语法分析,如正则表达式的匹配、自动机的构造等。
Stephen Cole Kleene, Introduction to metamathematics
Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation.
Stephen C Kleene (1909 - 1994) - Biography - MacTutor History …
1994年1月25日 · Stephen C Kleene was an American mathematician and logician best known his work on recursion theory. Stephen C Kleene's father was Gustav Adolph Kleene, a professor …