搜索结果: 1-15 共查到“数理逻辑与数学基础”相关记录3081条 . 查询时间(2.14 秒)
![](http://www.firstlight.cn/upload/imgfile/20247/25/202472594214126.png)
未央书院是清华大学为落实国家“强基计划”而特别成立的五个书院之一,主要负责“强基计划”数理基础科学(含工程衔接方向)专业的理工双学位本科人才培养。着重突出数学、物理学等基础学科在学生未来发展中的支撑引领作用,结合对学生在工程衔接方向的志趣引导,在国家亟需而清华一流的工程专业方向上,发挥清华大学的工科优势,积极探索“理+工”双学位的本科育人新方式,规模化培养数理基础扎实,发展潜力深厚,创新能力突出的...
![](http://www.firstlight.cn/upload/imgfile/20247/23/2024723162354795.jpg)
![](http://www.firstlight.cn/upload/imgfile/20248/13/2024813191744615.png)
![](http://www.firstlight.cn/upload/imgfile/20246/28/2024628155119480.png)
中国科学院软件所在硬件模型检测领域取得进展(图)
模型 检测 电子 自动化
2024/6/28
2024年4月7日,中国科学院软件研究所基础软件国家工程研究中心团队的两篇论文被国际电子设计自动化(EDA)领域顶级会议Design Automation Conference(DAC 2024, CCF-A类)录用。研究成果聚焦于硬件模型检测领域,助力了处理器检测方法的改进和检测算法的性能提升。
![](http://www.firstlight.cn/upload/imgfile/20243/28/202432893524799.png)
黄淮学院数学与统计学院王振国副教授(图)
黄淮学院数学与统计学院 王振国 副教授 临界点理论
2024/3/28
![](http://www.firstlight.cn/upload/imgfile/20243/22/2024322153318655.jpg)
中国科学院深圳先进技术研究院专利:建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院 专利 建筑物 三维模型 构建方法
2023/11/27
中国科学院深圳先进技术研究院专利:三维模型分割方法和系统
中国科学院深圳先进技术研究院 专利 三维模型 分割方法
2023/11/6
![](http://www.firstlight.cn/upload/imgfile/20241/31/2024131193923446.png)
中国人民大学高瓴人工智能学院召开“大模型与生物医药”学术研讨会(图)
大模型 生物医药 学术研讨会
2024/1/31
对运行设备安装双贮备设备是实现系统高可靠性的有效方法.在双贮备系统冷/温/热三种贮备模型中,选择哪种贮备模型对系统性能指标和经济指标均有重要影响,因此对如何选择双贮备系统的贮备模型从而使系统性能最优或经济效益最大的问题进行研究具有现实意义。
《资源环境数学模型手册 》
自然资源 环境数学 数学模型
2023/8/9
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:Minimal model program for generalized pairs
广义对 最小 模型程序
2023/4/23