理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到数理逻辑与数学基础相关记录3077条 . 查询时间(0.409 秒)
暨南大学2022年硕士研究生入学考试810高等代数真题
王振国,男,1980年3月生,副教授。2005年7月太原师范学院数学与应用数学专业本科毕业。2008年6月山西师范大学应用数学专业硕士毕业。
雷腾飞,副教授,硕士研究生导师,泰国兰塔纳功欣皇家理工大学在读博士,忆阻计算应用协同创新中心主任,山东省黄大年式教师团队骨干成员。山东电子学会教育专业委员会副主任、山东省电工技术学会智慧工厂技术与应用专业委员会常务副主任、山东省自动化学会理事、中国电子学会电路与系统分会混沌与非线性电路专业委员、山东省电子与通信标准化委员会委员。
中国科学院深圳先进技术研究院专利:建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院专利:针头组件、注射装置及小鼠模型的建立方法
中国科学院深圳先进技术研究院专利:三维模型分割方法和系统
2023年9月25日,由中国人民大学高瓴人工智能学院主办的“大模型与生物医药”学术研讨会顺利召开。中国人民大学高瓴人工智能学院执行院长文继荣教授出席会议并致辞。与会专家有沙特阿拉伯阿卜杜拉王国科技大学高欣教授、俄亥俄州立大学生物医学信息学系/计算机科学与工程系宁夏教授、清华大学智能产业研究院/电子工程系马剑竹副教授、深势科技机器学习算法负责人柯国霖研究院以及中国人民大学高瓴人工智能学院长聘副教授孙...
对运行设备安装双贮备设备是实现系统高可靠性的有效方法.在双贮备系统冷/温/热三种贮备模型中,选择哪种贮备模型对系统性能指标和经济指标均有重要影响,因此对如何选择双贮备系统的贮备模型从而使系统性能最优或经济效益最大的问题进行研究具有现实意义。
本书在全面总结和分析国内外资源环境领域主要期刊内容的基础上,选择了衫和有科学价值的数学模型和定量指标的精髓部分。本书中数学模型和定量指标共有3055组,其中包括地球信息类771组、自然地理学类674组、人文地理学类415组、生态学类1195组。在选编过程中,对书中数学模型和定量指标的错误之处均进行了严格修正。本书有很高的理论价值和实用价值,不仅可作为地理学、生态学、应用数学、气象学、地质学、经济学...
暨南大学2023年硕士研究生入学考试810高等代数真题
Generalized pairs are a natural structure in birational geometry that first appeared in Kodaira’s canonical bundle formula for elliptic fibrations. They were formally introduced by Birkar and Zhang in...
他是在学业上乐于探索、成绩优秀的数院本科毕业生;他积极参与本科生科研,开展了多项数学及经济学相关研究;学业与科研之余,他爱好唱歌,多次选修艺术学院和歌剧研究院课程,并两次担任数院一二·九合唱比赛副排。2022年他获得“未名学士”荣誉称号。如今,他已是一名北大数院博士生,研究生刚入学就通过了博资考,用热爱叩开了数学研究之门,今日分享学生沈城烽的数院成长故事。
Bernstein problem for affine maximal type hypersurfaces has been a core problem in affine geometry. A conjecture proposed firstly by Chern (Proc. Japan-United States Sem., Tokyo, 1977, 17-30) for enti...
In this paper, we review the different dimensions of supply chain resilience and propose that supply chain resilience should be measured in a more integrated way. We review the quantitative economic m...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...