计算机科学(computer science)研究计算机及其周围各种现象和规律的科学,亦即研究计算机系统结构、程序系统(即软件)、人工智能以及计算本身的性质和问题的学科。计算机科学是一门包含各种各样与计算和信息处理相关主题的系统学科,从抽象的算法分析、形式化语法等等,到更具体的主题如编程语言、程序设计、软件和硬件等。计算机科学分为理论计算机科学和实验计算机科学两个部分。后者常称为“计算机科学”而不冠以“实验”二字。前者有其他名称,如计算理论、计算机理论、计算机科学基础、计算机科学数学基础等。数学文献中一般指理论计算机科学。
徐家福,教授,1925年生,江苏南京人。获得中国计算机学会终身成就奖,以表彰他在我国计算机软件发展中所起到的奠基性贡献,是中国计算机科学先驱、中国计算机软件学奠基人之一。南京大学资深教授、博士生导师。1948年毕业于中央大学数学系。1957年至1959年在前苏联莫斯科大学进修。南京大学资深教授、博士生导师,前计算机软件研究所所长,原计算机学科专家组组长,计算机软件新技术国家重点实验室名誉主任。
徐教授代表性成果有:
1、研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;
2、参加制定ALGOL,COBOL国家标准;
3、率先在我国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;
4、完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。先后获国家教委一等奖四次,电子部一等奖三次,出版著作6部,发表论文150余篇。