1854 年,英国数学家布尔(George Boo1e,1824-1898 年)提出了符号逻辑的思想,数十年后形成了计算科学软件的理论基础。
1936 年,英国数学家图灵(Alan Turing,1912-1954年)提出了著名的“图灵机"模型,探讨了现代计算机的基本概念,从理论上证明了研制通用数字计算机的可行性。
匈牙利出生的美籍数学家冯诺依曼 (John von Neumann,19031957年)提出了在数字计算机内部的存储器中存放程序的概念,这是现代计算机的理论基础,被称为"
京公网安备 11010502049817号