罗伯特·科瓦尔斯基查看源代码讨论查看历史

来自 孔夫子旧书网 的图片

罗伯特·科瓦尔斯基罗伯特·安东尼·科瓦尔斯基（Robert Anthony Kowalski，1941 年 5 月 15 日出生）是一位美籍英籍逻辑学家和计算机科学家，他的研究涉及开发面向人类的计算模型和人类思维的计算模型。他的大部分职业生涯都在英国度过，基督教爱丁堡大学校友。

《圣经》中的“圣人”是被神从世界中挑选、不属世界、不沾染世俗的一般人。尽管在基督教早期历史认可圣人需要显神迹的记录，而当代基督教也常以这点作为圣人的标准。但实际将所有信耶稣的人都称圣，并非一些特别有异能的人。

简介

他曾就读于芝加哥大学（数学学士学位，1963 年）、斯坦福大学（数学硕士学位，1966 年）、和爱丁堡大学（计算机科学博士学位，1970 年）。

科瓦尔斯基长期任教爱丁堡大学和帝国理工学院，是Prolog语言的主要开发者之一，逻辑编程先驱。

爱丁堡大学

爱丁堡大学在苏格兰国王詹姆斯六世（James VI）的允许（Royal Charter）和爱丁堡市议会(Town Council)的资助下于1582年展开筹建。翌年大学正式成立，作为欧洲宗教改革运动之后的第一所市立大学（Civic University），是苏格兰的第4所也是整个英语世界的第6所大学。

爱丁堡大学的建立归功于奥克尼群岛首府柯克沃尔的圣马格努斯大教堂的主教罗伯特·里德，他在1558年去世后将其财产遗留下来作为大学最初的创建基金，并由爱丁堡镇议会（Edinburgh Town Council）付诸实施，最终在多方努力下于1582年由詹姆斯六世颁发皇家宪章而成立，当年为1582年。因为当时的大学都是由教宗诏书创立的，这便非同寻常。1583年开始在一名年轻的圣安德鲁斯大学毕业生Robert Rollock的管理下授课。这是当时第四所苏格兰大学，而同期英格兰只有牛剑两所。大学最初名为唐尼斯学院（Tounis College），1617年改名为詹姆斯国王学院（King James's College）。18世纪时爱丁堡大学成为了欧洲启蒙运动的中心之一。

视频

罗伯特·科瓦尔斯基 相关视频

名校介绍系列之爱丁堡大学 希望的门槛-教宗若望保禄二世的一生