离散数学:数理逻辑
数理逻辑 命题逻辑 命题及其表示 (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 月因培训发布了两篇内容相似的讲义。但这两个月动笔的文章还是不少的,大多是写了一半或者是写写删删最后也没发表。 大概是与回到家中有关系,没有强…
thumbnail
2023.1.2 STL
2023.1.2 STL 对之前的两篇文章进行了汇总和修改,方便大家阅读 常用的 STL 汇总 再遇 STL STL Outline c++ 基础语法 输入输出 重载运算符 for each 语法 补充内容 string 类型 sort() 排序 STL 基础概念:迭代器 (指示某一个元素) STL 容器 vector *** deque stac…
再遇 STL
再遇 STL 前言 去年寒假集训时整理了一篇关于 STL 的文章,今年借着给学弟学妹讲课的机会再整理一下 STL 的相关知识。 上一篇文章只是简单罗列了一下内容和语法,这篇文章再补充一些基础内容. 前情回顾:常用的 STL 汇总 补充内容 学校第一学期开授的程序设计课程使用的为 C 语言,因此在正式介绍 STL 之前会简单的介绍一下竞赛中基础的 C…

不开心的话,吃块糖吧!

101 日 , 2023 2:20
thumbnail
Strategy 和 Policy,以及 Default
Strategy 和 Policy,以及 Default 最近读到了一个单词 Strategy Model ,被翻译为“策略模式”,之前在阅读 《OSTEP》 的时候经常会有一个单词/概念:Policy,中文翻译为“策略”、“协议”;而此处的 Strategy 也被翻译为了“策略”、作为一名英语学渣看到这种“一词多译”总是感觉疑惑。他们到底有啥区别…
thumbnail
沉住气!
沉住气! 这篇动笔可能是相当早了吧,十一月初威海站后就有想法,再到 11 月 30 日正式动笔,原本计划是生日的时候再发,可是突然的疫情还是打乱了计划。 沉住气! 这三个字是 nj 老师常对我说的话,对于辅导员助理,也时常摸不清对我的意义,但也可能像是对自己说的,磨磨自己的性子吧! 开学初或许是想起了去年的种种不快,或许是心里那一丝冲动的火苗,又大…
Month Log 3
网站已经上线十个月了,还有两个月就到了一周年啦! 自上线以来共发布了 59 篇文章,自 7 月 6 日发布 Log 2 以来共发布了 15 篇文章。 网站流量达到 3万+ ,总访客量也超过了 1 万人次,其中大部分仍是一些未知流量,过了五位数的这个坎才越来越发现这个数字是没有太大意义的,真正有意义的是自己积累了多少东西,而且最近发现这些“神秘流量”…
怎么会对月亮动心呢?

月亮总会在的,可是,真的有时间抬头看吗?

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