摘要: 离散数学 数理逻辑 命题逻辑的基本概念 命题与联结词 非真即假的陈述句称作命题。 作为命题的陈述句所表达的判断结果称作命题的真值,真值只取两个值:真或假。真值为真的称作真命题,真值为假的命题称作假命题。任何命题的真值都是唯一的。既不能为真也不能为假的陈述句称作悖论,悖论不是命题。 不能被分解成更简单 阅读全文
posted @ 2026-01-13 17:06 我就是蓬蒿人 阅读(0) 评论(0) 推荐(0)
摘要: 大学物理-近代物理 目录大学物理-近代物理狭义相对论力学基础狭义相对论的基本原理力学相对性原理、绝对时空观和Galilei变换Einstein相对性原理和光速不变原理相对论时空效应空间和时间的测量时间延缓长度收缩同时性的相对性Lorentz变换Lorentz变换的推导利用Lorentz变换验证相对论 阅读全文
posted @ 2026-01-08 23:35 我就是蓬蒿人 阅读(18) 评论(0) 推荐(0)
摘要: 大学物理-电磁学 目录大学物理-电磁学静电场Coulomb定律电荷Coulomb定律电场力的叠加原理电场 电场强度电场电场强度电场强度的计算点电荷点电荷系电偶极子电荷连续分布的带电体均匀带电细棒均匀带电细圆环均匀带电薄圆盘静电场的Gauss定理电场线电场强度通量Gauss定理利用Gauss定理求静电 阅读全文
posted @ 2026-01-08 06:34 我就是蓬蒿人 阅读(35) 评论(0) 推荐(0)
摘要: 概率论与数理统计 目录概率论与数理统计概率论的基本概念随机试验样本空间、随机事件样本空间随机事件事件间的关系与事件的运算频率与概率频率概率等可能/古典概型条件概率条件概率乘法定理全概率公式和Bayes公式独立性随机变量及其分布随机变量离散型随机变量及其分布律(0-1)分布二项/Bernoulli分布 阅读全文
posted @ 2025-12-27 18:10 我就是蓬蒿人 阅读(21) 评论(0) 推荐(0)
摘要: 等距插值的弗雷瑟图表法(Fraser Diagram) 目录等距插值的弗雷瑟图表法(Fraser Diagram)写在前面方法描述几个特例Newton前插公式Newton后插公式Stirling插值公式Bézier插值公式 写在前面 “然而这教材写的实在是太烂了!!点名批评!数值分析(第三版),史万 阅读全文
posted @ 2025-12-15 03:27 我就是蓬蒿人 阅读(17) 评论(0) 推荐(1)
摘要: 写了半年作业,本就不高的水平越发退步。 阅读全文
posted @ 2025-12-06 22:14 我就是蓬蒿人 阅读(138) 评论(0) 推荐(0)
摘要: 2025 ICPC 沈阳区域赛 游记 计院没钱了,ICPC不给报销,遂开放报名。重金获得一次参赛机会。 为了节省住宿钱,我们选择星期六早上出发,星期天晚上回,只住一晚,订了个三人间。 Day 0 三个人都是两点钟睡觉六点钟起床。六点半出发,坐了快两个小时地铁,从乡里到朝阳站。 在车上吃了前一天预备的 阅读全文
posted @ 2025-11-18 17:54 我就是蓬蒿人 阅读(359) 评论(0) 推荐(3)
摘要: 2024 ICPC Asia Shenyang Regional 目录2024 ICPC Asia Shenyang Regional[B] Magical Palette必要条件充分条件 [B] Magical Palette You are given a magical palette wit 阅读全文
posted @ 2025-11-09 23:43 我就是蓬蒿人 阅读(18) 评论(0) 推荐(0)
摘要: HUST Selection 2025 HUST Selection 2025 这场是真难呵,跟我说这是新生赛??? [J] [2023 ICPC Asia Jinan Regional [I]] Strange Sorting 从A看到I,愣是没做出一个,已耗时四小时。看这个感觉有点想法,懒得证明直接靠感觉猜,没想到一发入魂AC。据说这 阅读全文
posted @ 2025-10-25 03:37 我就是蓬蒿人 阅读(11) 评论(0) 推荐(0)
摘要: 记WSL 2.0网络模式导致的VS Code卡顿问题 在主系统下开启系统代理后启动WSL 2.0终端时,会提示 wsl: 检测到 localhost 代理配置,但未镜像到 WSL。NAT 模式下的 WSL 不支持 localhost 代理。 意思是说,此时主系统的代理在WSL中访问不了。这是因为WS 阅读全文
posted @ 2025-09-09 02:29 我就是蓬蒿人 阅读(149) 评论(0) 推荐(0)