理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-2 共查到数理逻辑与数学基础 人工智能相关记录2条 . 查询时间(0.158 秒)
2023年9月25日,由中国人民大学高瓴人工智能学院主办的“大模型与生物医药”学术研讨会顺利召开。中国人民大学高瓴人工智能学院执行院长文继荣教授出席会议并致辞。与会专家有沙特阿拉伯阿卜杜拉王国科技大学高欣教授、俄亥俄州立大学生物医学信息学系/计算机科学与工程系宁夏教授、清华大学智能产业研究院/电子工程系马剑竹副教授、深势科技机器学习算法负责人柯国霖研究院以及中国人民大学高瓴人工智能学院长聘副教授孙...
张满囤,1971年出生,天津市图象图形学学会副秘书长,河北工业大学虚拟现实与可视计算研究院和天津市虚拟现实与可视计算国际联合中心相关项目的研发负责人。1996年获河北工业大学硕士学位,留校任教,从事过多项省基金项目的研发。2002年考取中科院自动化所模式识别与智能系统专业攻读博士,2006年在中科院自动化研究所获博士学位。2012年在英国国家动画中心(NCCA)做访问学者。目前主要从事计算机图形学...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...