数理逻辑 命题逻辑 命题及其表示 (1-1) 联结词及其他联结词 (1-2，1-6) 命题公式与翻译 (1-3) 真值表与等价公式 (1-4) 重言式与蕴含式 (1-5) 对偶与范式 (1-7) 推理理论 (1-8) 谓词逻辑 谓词概念与表示 (2-1) 命题函数与量词 (2-2) 谓词公式与翻译 (2-3) 主要知识点 命题的概念、表示、类型（重…

周年志 2022 年 2 月 1 日这个博客站点正式上线，也恰是正月初一。 还是照例先总结一下过去一年的网站运行： 自上线以来共发布了 64 篇文章，最近一段时间更新的文章较少，12 月仅更新了 3 篇， 1 月因培训发布了两篇内容相似的讲义。但这两个月动笔的文章还是不少的，大多是写了一半或者是写写删删最后也没发表。 大概是与回到家中有关系，没有强…

2023.1.2 STL 对之前的两篇文章进行了汇总和修改，方便大家阅读 常用的 STL 汇总 再遇 STL STL Outline c++ 基础语法 输入输出 重载运算符 for each 语法 补充内容 string 类型 sort() 排序 STL 基础概念：迭代器 （指示某一个元素） STL 容器 vector *** deque stac…

再遇 STL 前言 去年寒假集训时整理了一篇关于 STL 的文章，今年借着给学弟学妹讲课的机会再整理一下 STL 的相关知识。 上一篇文章只是简单罗列了一下内容和语法，这篇文章再补充一些基础内容. 前情回顾：常用的 STL 汇总 补充内容 学校第一学期开授的程序设计课程使用的为 C 语言，因此在正式介绍 STL 之前会简单的介绍一下竞赛中基础的 C…

Strategy 和 Policy，以及 Default 最近读到了一个单词 Strategy Model ，被翻译为“策略模式”，之前在阅读 《OSTEP》 的时候经常会有一个单词/概念：Policy，中文翻译为“策略”、“协议”；而此处的 Strategy 也被翻译为了“策略”、作为一名英语学渣看到这种“一词多译”总是感觉疑惑。他们到底有啥区别…

沉住气！ 这篇动笔可能是相当早了吧，十一月初威海站后就有想法，再到 11 月 30 日正式动笔，原本计划是生日的时候再发，可是突然的疫情还是打乱了计划。 沉住气！ 这三个字是 nj 老师常对我说的话，对于辅导员助理，也时常摸不清对我的意义，但也可能像是对自己说的，磨磨自己的性子吧！ 开学初或许是想起了去年的种种不快，或许是心里那一丝冲动的火苗，又大…

网站已经上线十个月了，还有两个月就到了一周年啦! 自上线以来共发布了 59 篇文章，自 7 月 6 日发布 Log 2 以来共发布了 15 篇文章。 网站流量达到 3万+ ，总访客量也超过了 1 万人次，其中大部分仍是一些未知流量，过了五位数的这个坎才越来越发现这个数字是没有太大意义的，真正有意义的是自己积累了多少东西，而且最近发现这些“神秘流量”…

使用 Python 批量添加图片水印 本文所给出的代码适用于为图片添加简单水印，实质上是通过程序实现两张图片的叠加，从而达到水印的效果。 文章前半段主要是介绍了几种 python 中图像合成的方式，如果需要代码，请直接查看文章后半部分。 Python 中关于图像合并的方式 这里主要借助了 PLI(Pillow) 库中的几个方法。合并图像的方式常用的…