某一般线性空间

高阶线性微分方程组会梦见基础解系吗?

数据库导论 关系数据库理论

DROP 'theory' FROM 'dbKnowledgeBase';

关系数据库理论

数据结构与算法 复习

REVISION

数据结构与算法期末复习

人工智能导论 用于通讯的自然语言

Communication

本章将介绍人们通过自然语言交流的方式, 并探讨计算机 Agent 如何加入这样的会话中.

人工智能导论 自然语言处理

NLP

本章将介绍自然语言处理的一般概念与信息检索和信息提取的一般方法.

人工智能导论 模糊逻辑

Fuzzy Logic

本章将介绍用于研究模糊性思维, 语言形式及其规律的工具-模糊逻辑.

人工智能导论 知识表示

Knowledge Representation

本章说明如何使用一阶逻辑对现实世界中的知识进行建模.

人工智能导论 不确定性的量化和概率推理

Uncertainty & Bayes Network

本章将介绍Agent如何对环境中的不确定性进行量化并使用概率推理感知非确定性的环境.

逻辑学探幽 Part12

没有逻辑 只有heip

本章介绍线性时态逻辑.

逻辑学探幽 Part11

没有逻辑 只有heip

本章介绍状态转换系统.

函数式编程

Introduction to Functional Programming

本章介绍函数式编程.