Робърт Ковалски: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м Замяна на Шаблон:Биография инфо с Шаблон:Личност |
+ Нормативен контрол, допълнения в шаблона, + 3 категории, + библиография |
||
Ред 10:
| вложки = {{Личност/Учен | категория = математик
| област = [[Математика]]
| образование = [[Чикагски университет]]<br />[[Бриджпортски университет]]<br />[[Станфордски университет]]<br />[[Варшавски университет]]<br />[[Единбургски университет]]
| учил-при =
| работил-в = [[Единбургски университет]]<br />[[Имперски колеж Лондон|Имперски колеж в Лондон]]
| студенти =
| публикации =
Ред 22:
'''Робърт Антъни Ковалски''' ({{lang-en|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.
== Вижте още ==
* [[Логическо програмиране]]
== Външни препратки ==
* [http://www.doc.ic.ac.uk/~rak/
{{Нормативен контрол}}
{{СОРТКАТ:Ковалски, Робърт}}
[[Категория:Математици (логика и теория на множествата)]]
[[Категория:Американски математици]]
[[Категория:Възпитаници на Единбургския университет]]
[[Категория:Преподаватели в Единбургския университет]]
[[Категория:Чикагски университет]]
[[Категория:Личности (Кънектикът)]]
| |||