某一般线性空间

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

逻辑学探幽 Part6

没有逻辑 只有heip

本章继续讨论可满足性的检验问题和随机化问题.

Posted by R1NG on October 24, 2021

逻辑学探幽 Part5

没有逻辑 只有heip

本章介绍一种检验可满足性的算法-DPLL.

Posted by R1NG on October 16, 2021

Prolog 学习 Ch5

Arithmetics

本章将对 Prolog 内置的运算方法进行介绍.

Posted by R1NG on October 16, 2021

Prolog 学习 Ch4

Lists

本章将介绍 Prolog 中一种重要的数据结构-列表.

Posted by R1NG on October 15, 2021

Prolog 学习 Ch3

Recursion

本章将初步介绍 Prolog 中递归程序的设计与理解方法.

Posted by R1NG on October 13, 2021

Prolog 学习 Ch2

Unification & Proof Search

本章将介绍 Prolog 最为重要的工作原理之一-联合与证明搜索的原理.

Posted by R1NG on October 12, 2021

Prolog 学习 Ch1

Facts,Rules and Queries

本章从基本概念的介绍开始Prolog的学习.

Posted by R1NG on October 10, 2021

逻辑学探幽 Part4

没有逻辑 只有heip

本章介绍一些最基本的可满足性检验法.

Posted by R1NG on October 1, 2021

普林斯顿算法4-Ch3 查找

Finding The Essence of your life

本章将介绍, 解释和剖析数种常用的查找算法.

Posted by R1NG on September 25, 2021

普林斯顿算法4-Ch2 排序

Sorting Algorithms

本章将对数据结构与算法的一大重要应用-查找展开介绍, 并从易到难地介绍数种排序算法并分析它们的原理和性能.

Posted by R1NG on September 14, 2021

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

菜

FRIENDS