-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=combinator "
共 条 记 录，以下是1-4

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
可构建多种组合体三维图的组合体二个投影图特征分析被引量：1
《沈阳理工大学学报》2006年第3期85-87,共3页牛彦 
辽宁省教育厅基金资助(05L359)
针对组合体二个投影视图可构建多种组合体形状的问题进行研究,从体表面的投影类型及相邻线框相对位置出发,分析得出组合体二个投影图可构建多种三维形体的组合体二个投影图的投影特征,总结出多种组合体形状数量的确定公式及不合理组合...
关键词：组合体 投影特征 数量 三维形体 
Some Applications of Lawvere’s Fixpoint Theorem
《Frontiers of Philosophy in China》2019年第3期490-510,共21页LI Xi 
The famous diagonal argument plays a prominent role in set the ory as well as in the proof of undecidability results in computability the ory and incompleteness results in metamathematics.Lawvere(1969)brings to light ...
关键词：PARADOX FIXPOINT DIAGONALIZATION combinator 
合成邏辑TAC中合子的生成
《电子科技大学学报》1989年第1期103-106,共4页赵晓俠 
近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。
关键词：合成逻辑 合子 形式系统 软件 
趣谈(上)Functional Programming
《程序员》2004年第11期104-108,共5页恶魔 
本文并非是一个系统性的 FP 教程,仅仅是揭示了 FP 背后的一些数学道理,介绍与之相关的一些有趣话题,我相信您一定能从文章中有所收获。本文的例子主要使用 Python 解说。不过即使您不懂 Python,稍微耐心一些也可以看懂。
关键词：FUNCTIONAL PROGRAMMING PYTHON 高阶函数 Combinator 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部