嵌套-一流百科

麦卡锡91函数

简介麦卡锡91函数是一个递归函数，由计算机科学家约翰-麦卡锡定义为计算机科学中形式化验证的一个测试案例。对于所有整数参数n≤100，评估该函数的结果为M(n)=...

词条百科

超大规模集成

超大规模集成超大规模集成(VLSI)是通过将数百万个MOS晶体管组合到单个芯片上来创建集成电路(IC)的过程。超大规模集成始于1970年代，当时MOS集成电路芯片被广...

词条百科