【伟人事迹】计算机科学家们的传奇人生

于 2022-07-16 12:22:30 发布
阅读量716 收藏
点赞数
CC 4.0 BY-SA版权
分类专栏： 伟人事迹 文章标签： 伟人事迹 计算机科学家
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Xminyang/article/details/125818237
本文介绍了2013年图灵奖得主Leslie Lamport在分布式系统领域的杰出贡献，包括Paxos算法、LaTeX排版系统和TLA+规格语言，以及他的思考比编码更重要的理念。深入解析了如何写出数学上完美的软件算法，并涉及了分布式时序问题的理论应用。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

1 计算机科学家

1.1 分布式系统

在这里插入图片描述

参考资料

评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值