Робърт Ковалски

Робърт Антъни Ковалски (на английски: Robert Anthony Kowalski) е логик от САЩ, който прекарва повечето време от своята кариера в Англия. Робърт Ковалски е от голямо значение за създаването на логическото програмиране, и най-вече на програмния език Пролог.

Робърт Ковалски
логик от САЩ
Робърт Ковалски през 2009 г.
Робърт Ковалски през 2009 г.

Роден

Образование Единбургски университет
Станфордски университет
Чикагски университет
Варшавски университет
Научна дейност
Област Математика
Образование Чикагски университет
Бриджпортски университет
Станфордски университет
Варшавски университет
Единбургски университет
Работил в Единбургски университет
Имперски колеж в Лондон

Бил е студент в Чикагския университет, Бриджпортския университет (бакалавър по математика, 1963 г.), Станфордския университет (магистър по математика, 1966 г.), Варшавския университет и Единбургския университет (докторска степен по компютърни науки, 1970 г.). Бил е аспирант в Единбургския университет (1970 – 1975 г.) и заема мястото на ръководител по Компютърна логика в Имперския колеж в Лондон през 1982. От 1999 г. е заслужил преподавател по компютърна логика на департамента по компютърни изчисления в Имперския колеж.

БиблиографияРедактиране

  • „Logic for Problem Solving“, North Holland, Elsevier, 1979.
  • „Computational Logic and Human Thinking: How to be Artificially Intelligent“, Cambridge University Press, 2011.

Вижте същоРедактиране

Външни препраткиРедактиране