Boris Trakhtenbrot
Boris Trakhtenbrot · Technologia i inżynieria
Boris Trachtenbrot był radzieckim i izraelskim matematykiem i informatykiem, pionierem teoretycznej informatyki, zapamiętanym dzięki twierdzeniu Trachtenbrota o nierozstrzygalności spełnialności skończonej w logice pierwszego rzędu i dzięki fundamentalnym pracom o automatach i złożoności.
1921, Brichevo, Bessarabia (now Moldova) — 2016, Israel
Soviet Union · Israel · Tel Aviv University
Boris Trachtenbrot był radzieckim i izraelskim matematykiem i informatykiem, pionierem teoretycznej informatyki, zapamiętanym dzięki twierdzeniu Trachtenbrota o nierozstrzygalności spełnialności skończonej w logice pierwszego rzędu i dzięki fundamentalnym pracom o automatach i złożoności. Wyemigrował do Izraela i wykładał na Uniwersytecie Telawiwskim. Był Żydem.
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ć.
Boris Trachtenbrot był radzieckim i izraelskim matematykiem i informatykiem, pionierem teoretycznej informatyki, zapamiętanym dzięki twierdzeniu Trachtenbrota o nierozstrzygalności spełnialności skończonej w logice pierwszego rzędu i dzięki fundamentalnym pracom o automatach i złożoności.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
