羅伯特·科瓦爾斯基檢視原始碼討論檢視歷史

來自 孔夫子舊書網 的圖片

羅伯特·科瓦爾斯基羅伯特·安東尼·科瓦爾斯基（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世紀時愛丁堡大學成為了歐洲啟蒙運動的中心之一。

視頻

羅伯特·科瓦爾斯基 相關視頻

名校介紹系列之愛丁堡大學 希望的門檻-教宗若望保祿二世的一生