搜索筛选:
搜索耗时0.0392秒,为你在为你在61,042,058篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：古素梅,,
来源：江西师范大学 年份：2020
随着计算机应用的日益普及,计算机软件的正确性和可靠性在各个领域中都受到高度重视,尤其在一些关键领域如市场经济、交通安全、航空航天等领域中更是至关重要。算法是软件的核心,它在软件开发中占有不容忽视的地位。形式化方法是保证算法正确性和可靠性的有效......
[期刊论文] 作者：廖春花,古素梅,,
来源：职业教育 年份：2019
近年来,我国旅游业持续加速发展,旅游业对专业人才的需求不断加大,要求也越来越高.这对于为旅游业输送大量专业人才的高职院校来讲,既是机遇又是挑战.从目前看,校企合作的办...
[期刊论文] 作者：古素梅,杨庆红,
来源：江西师范大学学报:自然科学版 年份：2020
该文通过对组合数学中Catalan数列问题和Fibonacci数列问题进行深入研究,利用归纳推理、组合数学中的加法和乘法原理等方法得到问题求解函数,使用变量记录算法求解过程中子问...
相关搜索：
