George Logemann - George Logemann
 | tento článek potřebuje další citace pro ověření. (Prosinec 2015) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
George Wahl Logemann | |
|---|---|
| narozený | 31. ledna 1938 |
| Zemřel | 5. června 2012 (ve věku 74) |
| Národnost | Americký Američan |
| Alma mater | Newyorská univerzita |
| Známý jako | Algoritmus DPLL |
| Partneři | Bernice C. Schaefer |
| Vědecká kariéra | |
| Pole | Počítačová věda |
| Teze | Existence a jedinečnost vzácných vln[1] (1965) |
| Doktorští poradci | Peter David Lax, Robert Davis Richtmyer |
George Wahl Logemann (31. ledna 1938, Milwaukee, - 5. června 2012, Hartford )[2] byl americký matematik a počítačový vědec. Stal se dobře známým pro Algoritmus Davis – Putnam – Logemann – Loveland vyřešit Booleovské problémy se uspokojivostí.[3] Přispěl také do oblasti počítačové hudby.[2][4]
Reference
- ^ George Logemann na Matematický genealogický projekt
- ^ A b Nekrolog na www.legacy.com
- ^ Davis, Martin; Logemann, George; Loveland, Donalde (1962). „Strojový program pro dokazování věty“. Komunikace ACM. 5 (7): 394–397. doi:10.1145/368273.368557. hdl:2027 / mdp. 39015095248095.
- ^ George W. Logemann (leden 1967). „Techniky pro programovanou syntézu elektronické hudby“ (PDF). Recenze elektronické hudby (1): 44–53.
 | Tento článek o matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |