沈恩绍(上海交通大学教授)、李成香(科学出版社编辑)致 王世强 信札 四通4页『坐拥百城LYJ20240517A36』
¥
120
八品
仅1件
作者沈恩绍、李成香
年代1987
页数4页
尺寸26 × 18 cm
上书时间2024-06-04
商品详情
- 品相描述:八品
-
品相如图。
- 商品描述
-
沈恩绍,上海交通大学教授,博士。1981年毕业于华东师范大学数学系,师从程其襄。主修数理逻辑与数学基础,获硕士学位;1985年至1988年于北京师范大学数学系,师从王世强,主攻模型论,获博士学位;1989年至1991年获Volkswagen Stiftung在联邦德国Freiburg 大学逻辑研究所作博士后的研究,师从H.-D.Ebbinghaus,学习模型论逻辑与有限模型论。1993年底进入上海交通大学计算机系,工作至2021年9月。曾主持二项国家自然科学基金项目:“分划逻辑在计算机科学中的应用”,1995年至1997年,1998年结题时被基金委信息学部专家组评为特优项目;“一类新的时态逻辑框架”。
— 没有更多了 —
以下为对购买帮助不大的评价