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

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

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

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

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

Библиография[редактиране | редактиране на кода]

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

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

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