Джордж Логеманн - George Logemann
 | Эта статья нужны дополнительные цитаты для проверка. (Декабрь 2015 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Джордж Валь Логеманн | |
|---|---|
| Родившийся | 31 января 1938 г. |
| Умер | 5 июня 2012 г. (74 года) |
| Национальность | Американец |
| Альма-матер | Нью-Йоркский университет |
| Известен | Алгоритм DPLL |
| Партнер (ы) | Бернис К. Шефер |
| Научная карьера | |
| Поля | Информатика |
| Тезис | Существование и уникальность волн разрежения.[1] (1965) |
| Докторанты | Питер Дэвид Лакс, Роберт Дэвис Рихтмайер |
Джордж Валь Логеманн (31 января 1938 г., Милуоки, - 5 июня 2012 г., Хартфорд )[2] был американским математиком и ученым-компьютерщиком. Он стал известен благодаря Алгоритм Дэвиса – Патнэма – Логеманна – Ловленда. решать Проблемы логической выполнимости.[3] Он также внес свой вклад в область компьютерной музыки.[2][4]
Рекомендации
- ^ Джордж Логеманн на Проект "Математическая генеалогия"
- ^ а б Некролог на www.legacy.com
- ^ Дэвис, Мартин; Логеманн, Джордж; Лавленд, Дональд (1962). "Машинная программа для доказательства теорем". Коммуникации ACM. 5 (7): 394–397. Дои:10.1145/368273.368557. HDL:2027 / mdp.39015095248095.
- ^ Джордж В. Логеманн (январь 1967 г.). «Методы программного синтеза электронной музыки» (PDF). Обзор электронной музыки (1): 44–53.
 | Эта статья о математике заглушка. Вы можете помочь Википедии расширяя это. |