Робърт Ковалски: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Addbot (беседа | приноси)
м Робот: Преместване на 3 междуезикови препратки към Уикиданни, в d:q3490465.
мРедакция без резюме
Ред 3:
| портрет = Robert Kowalski.jpg
| описание = американски логик
| роден-дата = [[15 май]] [[{{дрг|1941]] |5|15|1}}
| роден-място = [[Бриджпорт]], [[Съединени американски щати|САЩ]]
| починал-дата =
| починал-място =
}}
 
'''Робърт Антъни Ковалски''' ({{lang-en|Robert Anthony Kowalski}}) е [[Съединени американски щати|американски]] [[логик]], който прекарва повечето време на своята кариера в [[Англия]]. Робърт Ковалски е от голямо значение за създаването на логическото програмиране, и най вече на програмния език [[Пролог]].
 
Бил е студент в [[Чикагски университет|Чикагския университет]], [[Бриджпортски университет|Бриджпортския университет]] (бакалавър по математика, 1963), [[Станфордски университет|Станфордския университет]] (магистър по математика, 1966), [[Варшавски университет|Варшавския университет]] и [[Единбургски университет|Единбургския университет]] (докторска степен по компютърни науки, 1970). Бил е аспирант в Единбургския университет (1970–75) и заема мястото на ръководител по Компютърна логика в [[Имперски колеж|Имперския колеж]] през 1982. От 1999, е заслужил преподавател по компютърна логика на департамента по компютърни изчисления в Имперския колеж.
Ред 19:
* [http://www.doc.ic.ac.uk/~rak/ Личната страница на Робърт Ковалски]
 
[[Категория{{СОРТКАТ:Логици|Ковалски, Робърт]]}}
[[Категория:Американски математици|Ковалски, РобъртЛогици]]
[[Категория:Американски математици]]
[[Категория:Личности (Кънектикът)]]