A computably enumerable (c. e. , for short) degree is called plus cupping, if every nonzero c. e. degree below it is cuppable, in the sense that it joins to 0’ with an incomplete c. e. degree.
一个可计算枚举(computably enumerable,简记为c.e.)度被称为加杯的,如果它囿界的每个非零的c.e.度都是可杯的,也就是说能与一个不完全c.e.度结合为0′。
参考来源 - 加杯图灵度的代数结构·2,447,543篇论文数据,部分数据来源于NoteExpress
无数人发誓早上喝一杯咖啡可振奋一整天的精神。
Millions swear by a morning cup of coffee to perk them up for the day.
我总是喝一杯啤酒就够了,但是放在桌上的那些免费供应的香喷喷的小肉丸子和其它点心我可真爱吃。
One beer is always enough for me, but I love those little spicy meat balls and other snacks they put on the table free.
利用可再用杯和限制食物容器来减少垃圾。
Waste reduction will be pursued, with reusable cups and limited use of food containers.
应用推荐