Neil Immerman
Neil Immerman · Technologia i inżynieria
Immerman, amerykański informatyk o żydowskich korzeniach z University of Massachusetts Amherst, jest twórcą złożoności opisowej, która mierzy trudność problemów logiką potrzebną do ich opisania.
1953, United States
United States
Immerman, amerykański informatyk o żydowskich korzeniach z University of Massachusetts Amherst, jest twórcą złożoności opisowej, która mierzy trudność problemów logiką potrzebną do ich opisania. Wraz z Robertem Szelepcsényim niezależnie udowodnił twierdzenie Immermana-Szelepcsényiego, pokazujące, że przestrzeń niedeterministyczna jest zamknięta na dopełnienie. W 1995 roku podzielił Nagrodę Gödla.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
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ć.
Immerman, amerykański informatyk o żydowskich korzeniach z University of Massachusetts Amherst, jest twórcą złożoności opisowej, która mierzy trudność problemów logiką potrzebną do ich opisania.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
Podobni twórcy
Noam Nisan
Ronald Fagin
Shmuel Safra
