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

от Уикипедия, свободната енциклопедия
Направо към: навигация, търсене
Робърт Ковалски
американски логик
Робърт Ковалски през 2009 г.
Робърт Ковалски през 2009 г.

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

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

Бил е студент в Чикагския университет, Бриджпортския университет (бакалавър по математика, 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.

Вижте още[редактиране | редактиране на кода]

Външни препратки[редактиране | редактиране на кода]