厚切薯片-CSDN博客

原创离散数学-命题逻辑学习笔记-3

本文介绍了命题逻辑中的对偶原理及其应用。首先定义了对偶公式的构造方法：将合取与析取互换、真值与假值互换。随后提出三个重要定理：对偶等价关系、对偶原理以及逆对偶关系。接着讲解了联结词的完备集概念及其判定标准，并列举了多个极小完备集的例子。文章还详细介绍了析取范式与合取范式的定义、性质及求解方法，并通过具体例题展示了范式转换过程。最后阐述了主析取范式和主合取范式的概念，讨论了极小项和极大项的编码方法及其性质，强调任何命题公式的主范式存在且唯一。

2025-06-27 16:13:08 411

原创 C++实现简易连接池（详细版）上

《数据库连接池技术介绍与实现》摘要：本文介绍了一个数据库连接池的实现方案，旨在提高高并发场景下的数据库访问效率。该连接池基于C++11开发，采用单例模式设计，包含初始连接量、最大连接量、最大空闲时间和连接超时时间等核心功能点。项目涉及MySQL编程、线程同步互斥、智能指针管理、生产者消费者模型等多个关键技术。作者详细讲解了连接池的工作原理，通过预先建立连接避免频繁的TCP握手和验证过程，并提供了配置文件读取、线程安全队列等具体实现细节。文章还预告了后续将介绍的连接类实现、连接回收等功能。该项目适用于需要优

2025-06-27 08:53:35 774

原创离散数学-命题逻辑学习笔记-2

本文是离散数学命题逻辑学习笔记的续篇，主要介绍了命题逻辑中的三种特殊公式（G1恒真、G2可假可真、G3恒假）、重言式（永真公式）和永假式（矛盾式）的定义及判定方法。重点讲解了恒等式的概念与定理，强调摩根定律的重要性，并详细说明了永真蕴含式及其传递性。文章还介绍了代入定理和替换定理两个重要工具，通过具体例题展示了如何判定永真公式和验证逻辑等价关系。笔记内容详实，逻辑严谨，最后预告了后续连载内容。

2025-06-26 12:52:32 574

原创 C++实现简易内存池（详细版）

内存池是一种预先分配和管理内存的技术，通过预先分配大块内存（内存池）并自主管理分配/释放，可以提高内存分配效率、减少内存碎片。本文介绍了可变长内存池的设计与实现：1. 小内存分配（小于设定阈值）通过small_block链表管理，动态扩容时会创建新内存块；2. 大内存分配直接开辟新内存块，由big_block链表管理。实现采用单例模式，包含创建/销毁内存池、大小内存分配等核心接口。测试案例验证了内存池的基本功能，包括小内存多次分配、扩容处理和大内存管理。该设计参考了Nginx内存池的实现思路，用C++进行了

2025-06-26 08:47:37 695

原创离散数学-命题逻辑学习笔记-1

(3) 如果P，Q是公式，则P∧Q﹑ P∨Q﹑ P→Q﹑ P↔Q也是公式；公式常用符号G﹑ H…否定¬常用“非”、“没有”、“不”，合取∧常用“并且”、“和”，析取常用“或者”、“或”、“近似或”等等，蕴含常用“如果，，，那么，，，”、“，，仅当，，，”，等价常用“当且仅当”。简单命题是不可拆分的命题，相反复合命题就是由简单命题复合而成。注意：蕴含→有多种叫法，P→Q，那么P是Q的充分条件，Q是P的必要条件。(¬ P∧Q)是命题公式，(P →Q )∧¬ Q)就不是。→（P→Q指的是如果P，那么Q）、

2025-06-25 15:34:41 565