1900 Giuseppe Peano集合论(1895) 910 Alfred north Whitehead, Bertrand russell符号逻辑(1910) 920 自动数学POST 不完全理论, Goedel(1931) 1930POST系统—递归函数论可计算理论 Church, Rosser(1930s) Turing(1936) 940 信息论 Shannon 电子学 形式语言理论 950 Chomsky 开关理论 960形式语法定义 自动化理论 Backus和Naur 1970Kuh:词法分析方法 复杂性理论 编译理论 编译的编译 EL/l:可扩展式语法 diffie 计算机密码学(1976) 980 e.Hellman 随机算法 公共密钥系统(1978) Rivest shamir. Adelman 1990 第8页第8页 1900 1930 1940 1950 1960 1970 1980 1990 1910 1920 自动数学 POST Alfred North Whitehead BertrandRussell 符号逻辑(1910) 不完全理论 , Goedel(1931) Giuseppe Peano集合论(1895) POST系统 递归函数论 Church,Rosser(1930s) 可计算理论 Turing(1936) 信息论Shannon 形式语法定义 Backus 和Naur 随机算法 形式语言理论 Chomsky 自动化理论 电子学 开关理论 复杂性理论 计算机密码学(1976) Diffie,Hellman 公共密钥系统(1978) Rivest,Shamir,Adelman Knuth:词法分析方法 编译理论 编译的编译 EL/1:可扩展式语法