1983年，中国数学家陆家羲在国际上发表关于不相交斯坦纳三元系大集的系列论文，解决了组合设计理论研究中多年未解决的难题
1983年，中国数理逻辑学家和计算机科学家唐稚松提出了世界上第一个可执行时序逻辑语言——XYZ语言
1983年12月，中国第一台每秒运算1亿次以上的巨型计算机——“银河I”型研制成功
科协网
今日科协
科协APP
