【摘 要】
：
刘路,又名刘嘉忆,男,1989年生,中南大学数学科学与计算技术学院2008级本科生。大三时,对拉姆齐(Ramsly)二染色定理的证明论强度的研究,被认为彻底解决了英国数理逻辑学家Seet
论文部分内容阅读
刘路,又名刘嘉忆,男,1989年生,中南大学数学科学与计算技术学院2008级本科生。大三时,对拉姆齐(Ramsly)二染色定理的证明论强度的研究,被认为彻底解决了英国数理逻辑学家Seetapun于90年代提出的一个猜想,受到数理逻辑国际权
Liu Lu, also known as Liu Jia Yi, male, born in 1989, School of Mathematical Sciences and Computing Technology, Central South University, 2008 undergraduate. In the junior year, the study of the proof power of the Ramsly two-stained theorem was considered to have completely solved the conjecture put forward by the British mathematical logicist Seetapun in the 90s and subjected to the international right of mathematical logic
其他文献
探讨资本市场上投资者行为与复杂典型化事实之间的内在联系是重大的理论和实践课题，本文以我国金融市场上真实投资行为分析为基础，通过计算实验金融研究不对称投资行为与资本市
本文在分析了用于彩电白平衡测量的2849白平衡仪工作原理之后,认为利用该白平衡仪的串行接口与PC机通信,增加I2C接口板,设计适当的工作软件,即可形成以2849白平衡仪和PC机为
随着全球互联网和信息技术的快速发展,作为信息技术核心的软件产业,近年来已成为我国重点发展的战略型新兴产业。赛迪软件中心的报告显示：目前我国软件产业的空间布局整体呈现
通过比较不同的外植体、基础培养基、植物生长调节剂种类和浓度配比、蔗糖浓度以及生根苗的移栽基质,建立土田七组织培养快速繁殖体系。结果表明,以茎尖为外植体诱导效果最好
从自然环境、 基础设施、 经济环境、 社会环境和政治环境五大方面构建出山西资源型城市的投资环境评价指标体系,在此基础上选取2014年有关统计数据,采用主成分分析法对各城
现如今，中国的广告行业已经历经30年的历程，在这30年里，我们从零开始，经历着前所未有的快速发展。近10年来，随着市场环境的不断变化，技术领域的不断发展，特别是通信技术和互联网技术
城市作为社会组织形态,在经历了近五千年的演变和发展后的今天,已经在世界上绝大多数国家的经济发展中占据了重要的部分。近年来,随着全球化进程的加快以及城市在国际竞争间
1959年3月,西藏地方政府发动武装叛乱,中央决定在平叛的同时对西藏地区进行民主改革.民主改革彻底地改变了整个西藏地区落后的政治和经济面貌,对西藏地区的发展起至关重要.本
本文就二维图像拼接测量法中,对一点一线法中直线的参数求取方法进行了对比实验,应用亚像素分析法,从而得到直线的高精度测量方法,为后面的图像拼接测量奠定基础.
圣灵降临节“Whitsun”这个名字是源自白色星期日“White Sunday”,指的是在北欧很受欢迎的婚礼季节.白色星期日是复活节星期日之后的第七周,是根据基督教的圣灵降临节而来的