- 博客(1071)
- 资源 (18)
- 收藏
- 关注
RSS订阅原创 2026中国马年欢庆动画效果程序（两种代码）
2026中国马年欢庆动画效果程序（两种代码），用两种方式实现：用python+pygame和HTML5 (Canvas + JavaScript)实现
2026-01-05 21:30:00
187
原创 用两种代码庆贺2026元旦
用代码实现庆贺2026元旦：Python+turtle 代码实现 和 HTML5 (Canvas + JavaScript) 实现。
2026-01-01 16:53:13
197
原创 轻量级数学符号点击复制工具HTML版
摘要：本文介绍了一个轻量级数学符号点击复制工具，通过网页程序实现常用数学符号的一键复制功能。简化了数学符号的输入。
2025-12-22 21:30:00
536
原创 python导入基础概念解析及使用说明
本文系统介绍了Python中导入模块的核心概念，包括目录/文件结构（模块、包、库、项目）、路径类型（绝对/相对）及实际应用场景。重点分析了绝对导入（推荐方式，基于项目根目录）和相对导入（基于当前文件位置）的差异，通过典型项目结构示例演示了两种导入方式的正确用法。
2025-12-20 09:20:31
791
原创 关于数学公理浅谈
数学公理是构建理论体系的逻辑基础，具有自洽性、独立性和推导性三大特征。从欧几里得《几何原本》的五条公设和五条公理，到希尔伯特20条形式化公理体系，数学公理经历了从直观到抽象的发展。现代公理不再要求"不证自明"，而是强调形式系统的相容性，如非欧几何突破了欧氏公理的限制。判断公理合理性的标准包括：相容性（无矛盾）、独立性（不可推导）、可模型化（有数学结构对应）和实用性，而非单纯符合直觉。不同公理系统可能推导出完全自洽但结论相异的数学体系，这体现了数学公理的相对正确性。
2025-12-16 09:22:22
847
原创 Python的类型提示（Type Hints）介绍
Python 的类型提示（Type Hints是 Python 3.5 及以上版本引入的特性，用于在代码中显式标注变量、函数参数和返回值的预期数据类型。它的核心目的是增强代码的可读性、可维护性，并为静态类型检查工具（如 mypy）、IDE（如 PyCharm、VS Code）提供类型信息，帮助提前发现潜在的类型错误。类型提示仅用于静态分析和开发辅助，Python 解释器在运行时完全忽略这些注解，不会影响程序运行性能。类型提示的核心特点•。
2025-12-01 21:30:00
1071
原创 HTML实现的python程序员英语学习小工具
HTML实现的python程序员英语学习小工具。本小工具为无英语基础或英语基础弱的同学学习python奠定基础，本小工具发音原理是有道词典的在线发音API。
2025-11-29 21:45:00
488
原创 基于多个大模型自己建造一个AI智能助手(增强版)
基于多个大模型自己建造一个AI智能助手(增强版)，利用开源大模型和API构建一个具有自然语言处理和多模态感知能力的AI智能助手。此版本最大的改进是： • 可以上传图片 • 历史记录保存及管理
2025-11-27 22:00:00
1101
原创 如何自己建造一个AI智能助手（修改）
本文介绍了如何基于现有AI技术构建自己的智能助手。首先概述了主流AI助手的特点。然后详细讲解了搭建AI助手的技术方案：使用Python的FastAPI框架构建后端，调用阿里云通义千问API，配合简单HTML前端实现对话界面。文章提供了完整的代码示例和运行步骤。
2025-11-22 15:57:56
1107
2
原创 逻辑推理四卡片问题
逻辑推理四卡片问题。问题源自彼得·沃森（Peter Wason）于1966年设计的“选择任务”（Selection Task），这是认知心理学中研究逻辑推理的经典实验。
2025-11-19 06:30:00
503
原创 中文编码、乱码问题解析处理
中文乱码问题源于字符编码与解码规则不一致。计算机通过编码将字符转换为二进制存储，常见编码包括ASCII（英文）、GBK（中文）和UTF-8（国际通用）。乱码通常发生在：1）文件编码与打开方式不匹配；2）跨平台传输时系统默认编码不同；3）数据库字符集设置不一致。解决方案是统一使用UTF-8编码，并在文件中明确声明编码格式。现代编程语言和工具已普遍支持UTF-8，采用这一标准能从根源避免大部分乱码问题。
2025-11-01 20:24:55
724
原创 使用Python实现播放“.gif”文件增强版
用Python实现的GIF制播放器，用户更加细致的控制，包括：打开、播放、暂停、停止，设置播放速度，逐帧控制——前一帧、后一帧。状态栏：显示播放中还是暂停状态，当前设置的延迟时间，显示当前帧位置和总帧数（例如："帧 5/24"），当前设置的帧延迟时间。前一帧：允许用户逐步后退到前一帧，自动暂停播放。停止：暂停播放并重置到第一帧。
2025-10-27 21:00:00
758
原创 浅谈看似简单的纪年方法
纪年起初我以为很简单，但深入一想，才发现其中有不少容易混淆的地方，比如“世纪”“年代”“世纪初”“公元前”“公元后”等概念。
2025-10-18 07:31:51
1775
原创 逻辑方阵（Logical Square）解说
逻辑方阵是波爱修斯在5-6世纪基于亚里士多德逻辑思想提出的图表工具，展示了四种直言命题（A、E、I、O）之间的真假关系。这四种命题通过量项（全称/特称）和联项（肯定/否定）组合而成，形成四种基本关系：矛盾关系（必一真一假）、反对关系（不能同真）、下反对关系（不能同假）和差等关系（全称与特称的从属关系）。逻辑方阵作为传统形式逻辑的核心工具，既奠定了形式推理基础，又简化了判断过程，至今仍是逻辑学入门的重要方法。现代逻辑学已将其思想扩展到复合命题和模态命题等领域。
2025-10-16 21:45:00
2332
原创 “美就是不丑，不美就是丑” ——可否这样说？为什么要学点逻辑学？
这篇文章探讨了逻辑学中的矛盾关系与反对关系。解这些逻辑关系有助于避免思维误区，进行更准确的判断和推理。
2025-10-13 21:30:00
798
原创 用python制作相册浏览小工具
近日，欢度国庆、中秋节双节，朋友们应拍了一些相片，故用python制作相册浏览小工具试用。主要功能包括： 支持两种视图模式： 单图视图：高清显示单张图片，支持特效处理 ；网格视图：缩略图展示所有图片，便于快速查找。 核心功能： 图片文件夹加载 图片旋转、翻转操作、多种特效处理（柔化、黑白、复古等） 幻灯片自动播放功能 ，适合个人照片管理和浏览使用。
2025-10-09 21:45:00
413
原创 充分条件、必要条件、充要条件、既不充分也不必要条件的认知与应用漫谈（修订）
逻辑条件的认知与应用，理解充分条件、必要条件、充要条件、既不充分也不必要条件对思维训练至关重要。
2025-10-05 10:19:52
1158
Python实现的中学数学函数画图器
2025-05-09
python编程实现GUI界面的排序与查找算法动态模拟演示程序
2025-07-16
python打包pyinstaller辅助工具
2025-06-03
中学物理实验模拟实验室
2025-07-11
AI图像生成器工具软件
2025-06-03
Python之pip图形化（GUI界面）辅助管理工具
2025-05-09
斯坦福JSKarel编程机器人运行环境及说明文件
2023-10-18
C及C++实验学习环境合集.rar
2019-08-24
Visual C++ 2010 Express独立安装包
2022-11-11
用Excel操作SQLServer数据
2009-12-28
用Excel操作SQLServer2000数据
2010-01-02
win10之PHP开发工具集（httpd-2.4.41+php-7.4.4）.rar
2020-03-25
中英文小助手2021.06.27.rar
2021-07-12
在windows下搭建汇编语言（Assembly language）编程环境工具包.rar
2020-06-10
中学数理小助手2021.05.09.rar
2021-05-09
C及C++实验学习环境合集.rar
2019-08-24
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人