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