Dov Gabbay
Dov Gabbay · Tecnología e ingeniería
Dov Gabbay es un lógico e informático israelí, catedrático emérito de Lógica (cátedra Augustus De Morgan) en el King's College de Londres, autor de aportes pioneros a las lógicas no clásicas, temporales y modales, a los sistemas deductivos etiquetados y a la aplicación de la lógica a la informática y la inteligencia artificial.
1945, Israel
Israel · Estados Unidos · Reino Unido
Dov Gabbay es un lógico e informático israelí, catedrático emérito de Lógica (cátedra Augustus De Morgan) en el King's College de Londres, autor de aportes pioneros a las lógicas no clásicas, temporales y modales, a los sistemas deductivos etiquetados y a la aplicación de la lógica a la informática y la inteligencia artificial. Es judío e israelí; estudió en la Universidad Hebrea de Jerusalén y enseñó en Bar-Ilán y el Imperial College. Editó manuales de referencia de lógica.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Dov Gabbay es un lógico e informático israelí, catedrático emérito de Lógica (cátedra Augustus De Morgan) en el King's College de Londres, autor de aportes pioneros a las lógicas no clásicas, temporales y modales, a los sistemas deductivos etiquetados y a la aplicación de la lógica a la informática y la inteligencia artificial.
Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
