zhbzhbyc1234的博客

内容概要：《OI-wiki.pdf》是一份面向信息学奥林匹克竞赛（OI）参赛者及相关爱好者的综合指南。文档涵盖了从入门到高级的各类知识，包括但不限于OI的基础概念、比赛规则、算法设计、数据结构、数学知识、编程语言特性等。特别强调了如何参与OI Wiki项目的贡献，详细介绍了编辑流程，如通过GitHub平台提交修改建议，确保内容的专业性和准确性。此外，还提供了丰富的学习资源链接，涵盖书籍、在线课程、题库等，帮助读者系统学习和提高。 适用人群：主要适用于对信息学奥林匹克竞赛感兴趣的学生、教师及爱好者，尤其是准备参加各类编程竞赛的中学生群体。 使用场景及目标：①作为自学资料，帮助初学者理解OI的基本概念和技巧；②作为备赛指南，指导参赛者熟悉比赛规则和题型；③作为社区协作平台，鼓励更多人参与到OI知识的共建中来，共同提升OI领域的知识质量。 其他说明：文档不仅提供了理论知识，还包含大量实例和练习题，便于读者实践巩固所学内容。同时，文档持续更新维护，确保信息与时俱进，适应不断变化的比赛环境和技术发展。

模态逻辑 时序逻辑 LTL、CTL、CTL* 模型检验及其应用 演算及组合逻辑

15000行联网源代码 TCP/IP卷2详解

机械工业出版社英文版《计算机体系结构 第三版》习题答案，答案是英文的，但不影响阅读

对TCPIP详解卷2的理解，4.4BSD-lite.tar.gz源代码的解析