Dov Gabbay
Dov Gabbay · Technologia i inżynieria
Dov Gabbay jest izraelskim logikiem i informatykiem, emerytowanym profesorem logiki im.
1945, Israel
Israel · United States · United Kingdom
Dov Gabbay jest izraelskim logikiem i informatykiem, emerytowanym profesorem logiki im. Augustusa De Morgana w King's College London, autorem pionierskich prac o logikach nieklasycznych, temporalnych i modalnych, o etykietowanych systemach dedukcyjnych oraz o zastosowaniach logiki w informatyce i sztucznej inteligencji. Jest Żydem i Izraelczykiem; studiował na Uniwersytecie Hebrajskim w Jerozolimie, wykładał na Uniwersytecie Bar-Ilana i w Imperial College London. Napisał setki artykułów i redagował przełomowe podręczniki logiki filozoficznej oraz logiki w informatyce.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Dov Gabbay jest izraelskim logikiem i informatykiem, emerytowanym profesorem logiki im.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
