排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
用公理化方法来定义非空集上的二元关系〈,使得〈与该集合构成全序集,在全序集中给出最小元素原理的定义,再构造一个含有最小元素原理的适当公理系统来重新给出自然数的公理化定义,然后从构造的自然数公理系统中严格推导出一些基本命题,最后根据这些基本命题来完成对自然数算术系统的精确刻画,从而得到一种具体构造自然算术系统的新方法。 相似文献
2.
唐善刚 《浙江大学学报(理学版)》2014,41(2):123-126
给出了赋权有限集上具带权表达式的新的容斥原理,并用于推广“夫妻对围坐计数问题”,得到了相应的计数公式. 相似文献
3.
唐善刚 《浙江大学学报(理学版)》2014,(2):123-126,137
给出了赋权有限集上具带权表达式的新的容斥原理,并用于推广“夫妻对围坐计数问题”,得到了相应的计数公式. 相似文献
1