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