Направо към съдържанието

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

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

Роден
15 май 1941 г. (83 г.)

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

Робърт Антъни Ковалски (на английски: 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.