某一般线性空间

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

逻辑学探幽 Part10

没有逻辑 只有heip

本章介绍有限域下的谓词逻辑.

Posted by R1NG on December 5, 2021

逻辑学探幽 Part9

没有逻辑 只有heip

本章介绍一种基于谓词公式的推广：量化布尔公式.

Posted by R1NG on November 19, 2021

逻辑学探幽 Part8

没有逻辑 只有heip

本章介绍一种可高效表示含连接词的复杂谓词公式的数据结构-二元决策图.

Posted by R1NG on November 12, 2021

C/C++

Introduction to C/C++

本章介绍C语言和C++.

Posted by R1NG on November 11, 2021

人工智能导论 经典规划

Planning

本章将介绍如何使用问题的结构来构造行动的复杂规划.

Posted by R1NG on November 6, 2021

人工智能导论 约束满足问题

Constraint Satisfation

本章将介绍约束满足问题及其处理方法.

Posted by R1NG on November 6, 2021

人工智能导论 对抗搜索算法

Adversarial Search Algorithms

本章将介绍数种对抗搜索算法.

Posted by R1NG on November 5, 2021

人工智能导论 基础搜索算法

Basic Search Algorithms

本章将介绍数种基础的搜索算法.

Posted by R1NG on November 4, 2021

Prolog 学习 Ch6

Cut and Negation

本章将介绍剪枝谓词, 回溯谓词和否定即失败谓词的概念与应用.

Posted by R1NG on October 31, 2021

逻辑学探幽 Part7

没有逻辑 只有heip

本章介绍另一种可满足性检测工具-语义树.

Posted by R1NG on October 30, 2021

STATISTICS
Viewed by Users
FEATURED TAGS
COMP12111 课程笔记 前端学习 50P50D 大二上期末总复习 大二下期末总复习 大一上期末总复习 大三上期末总复习 人工智能 数据结构与算法 大一下期末总复习 逻辑学 高级计算机图形学 COMP15111 扩展自习 COMP21111 奇技淫巧 机器学习 计算机图形学 COMP11212 Prolog 人工智障 自然语言处理 大三下期末总复习 数据库导论 COMP15212 博弈论 数据结构和算法 数值计算方法 算法 软件工程概论 Lab
ABOUT ME

菜

FRIENDS