茗苕芝士铺
命题逻辑
正在初始化搜索引擎
    wwoozyq/mingshao-notes
    • 首页
    • AI
    • 生物医学
    • 数学基础
    • 计算机
    • 工具
    • 留学
    wwoozyq/mingshao-notes
    • 首页
    • AI
      • 模式识别与机器学习
      • AI Agent 学习路线
        • NLP 总览
        • CS224n 官方 PPT 中文笔记
          • 1. NLP 导论与历史
          • 2. 词向量
          • 3. 反向传播与神经网络基础
          • 4. 语言模型与 RNN
          • 5. Transformer
          • 6. 预训练
          • 7. 后训练
          • 8. 提示工程与参数高效微调
          • 9. RAG 与语言智能体
          • 10. 基准测试与评测
          • 11. 推理一:解码、RL 与 CoT
          • 12. 推理二:加速、蒸馏、长上下文与推理时扩展
          • 13. 分词与多语言
          • 14. NLP 的社会影响
          • 15. 开放问题:小模型推理
    • 生物医学
      • 生物医学图像处理
    • 数学基础
      • 离散数学
        • 1.集合论
        • 2.二元关系
        • 函数
        • 初等数论
        • 图的基本概念
        • 欧拉图与哈密顿图
        • 树
        • 平面图
        • 支配集独立集匹配与着色
        • 命题逻辑
        • 一阶逻辑
    • 计算机
        • 总览
        • 一、算法分析
        • 二、列表
        • 三、栈和队列
        • 四、二叉树
        • 五、搜索树
        • 六、优先队列
        • 七、并查集
        • 八、线段树
        • 九、图的定义与拓扑排序
        • 十、最短路径算法
        • 十一、网络流与最小生成树
        • 十二、深度优先搜索的应用
        • 十三、排序
        • 编程错题本
      • Hot100 刷题
      • 在线视频播放
      • 期末日程表
      • AI CLI 使用笔记
    • 留学

    命题逻辑

    上一页
    支配集独立集匹配与着色
    下一页
    一阶逻辑
    Made with Material for MkDocs