搜索内容

最新文章
  • 测试逻辑[番外] 超限归纳在拓扑上的一个应用
    教程

    测试逻辑[番外] 超限归纳在拓扑上的一个应用

    此文作讲解的不是数理逻辑, 而是测试逻辑中一个重要定理---超限归纳在拓扑的一个基本定理上的应用(其实还顺带介绍了不少拓扑). 当然, 在本篇的之后可能会讲到佐恩引理, 那么这些用超限归纳解题的过程都能被简化, 这也是大多数教科书所用的做法. 不过归根结底本文目的……
    HDD 2023年5月13日
  • 物竞速成[6] 经典力学-1
    教程

    物竞速成[6] 经典力学-1

    本文pdf地址
    HDD 2023年5月11日
  • Crimson-boi[11] 创新高考题
    题&解

    Crimson-boi[11] 创新高考题

    题目背景 总有人喜欢在高考数学中嚷嚷"仿射变换", 于是一道纯正射影几何高考"创新题"应运而生(其实还顺便测试一下QuickLaTex). 题面 如上图, , , 共线, , , 共线, , , 共线, 且, , 不共线, , , 不共线. (1) 若与不是同一平面, 求证与的交点, 与的交点, 与的交点共线.……
    HDD 2023年4月23日
  • 物竞速成[5] 微积分基础-5
    教程

    物竞速成[5] 微积分基础-5

    本文pdf地址
    HDD 2023年3月19日
  • Orange Boy Can You Solve It Out? Ep. 53 - Gaokao Special 2
    OBCYSIO

    Orange Boy Can You Solve It Out? Ep. 53 - Gaokao Special 2

    思考题 which is an adaptation from a popular problem. The source problem is very popular. IDK if this adaptation has been made or not. Adaptation There are N people indexed from 1 to N in a room. Each of them is given a hat of a random color. The t……
    XGN 2023年3月15日
  • Orange Boy Can You Solve It Out? Ep. 52 - Gaokao Special 1
    OBCYSIO

    Orange Boy Can You Solve It Out? Ep. 52 - Gaokao Special 1

    Finally some geometry! Maybe very easy though. Currently I am undergoing the College Entrance Exam(GK) so I don't have many ideas for Competitive Programming problems. This problem is inspired by some math problem in GK Simulation. Of course, this ……
    XGN 2023年3月15日
  • 测试逻辑[1]
    教程

    测试逻辑[1]

    本文pdf链接
    HDD 2022年12月11日
  • 矢量图测试
    未分类

    矢量图测试

    HDD 2022年11月29日
  • 测试逻辑[0]
    教程

    测试逻辑[0]

    本文pdf链接
    HDD 2022年11月28日
  • Orange Boy Can You Solve It Out? Ep. 51
    OBCYSIO

    Orange Boy Can You Solve It Out? Ep. 51

    思考题 of Div2B-C Elevator Welcome back to OBCYSIO! Orange Boy has been promoted to LGM boy so this series is in an awkward situation. This problem is very easy. Consider an elevator with a max speed of v_m m/s and an acceleration of a m/s^2. When ……
    XGN 2022年10月30日