CS KnowledgeBase
7 – First Order Logic -Proof
正在初始化搜索引擎
Home
Backend
Frontend
Database
Others
CourseNotes
Tools
Web3
CS KnowledgeBase
Home
Backend
Backend
Basic
Basic
AOP&IoC&DI
CICD
Fintech
HTTPRequest
JavaWeb框架分析
MVC设计与其他设计
SpringMVC详解
UI
前端框架对比
加密
基础概念
如何提供API以及API类型
常用设计模式
数据库操作
测试
算法和数据结构
语言特性
身份授权
软件开发
部署问题
Java
Java
Java环境服务器配置
Java
Web环境搭建
入门
入门
计算机基础
认识Java_进制_注解
变量
运算符
流程控制
输入输出
数组Array
面对对象
面对对象
上
上
关键字package、import
关键字this
内存
封装与隐藏
属性
方法（函数）
构造器
类和对象
面对对象与面对过程
中
中
Object类的使用
关键字super
包装类的使用
多态性
子类对象实例化过程
方法重写override
继承性inheritance
下
下
main方法的语法
package restaurant.service;
代码块
关键字final
关键字static
内部类
单例设计模式
None
异常
抽象类与抽象方法
接口interface
高级
高级
GUI
GUI
GUI概述
jar包双击执行
JFrame
菜单制作
贪吃蛇
重点：模拟文件查询
重点：记事本制作
鼠标键盘
IO
IO
Files
IP
NIO
Path
RandomAccessFile
图片加密，字符计算
对象序列化机制
概述和方法
流的分类
端口
第三方jar包
缓冲流
网络编程概述
转换流
Java常用类
Java常用类
None
None
None
None
None
None
None
None
None
None
多线程
多线程
Lock锁
Thread类的有关方法
创建线程的4种方法
基本概念
存钱练习
懒汉式线程安全
死锁
源代码
线程同步-售票问题
线程的生命周期
线程通信
练习
反射
反射
创建运行时类的对象
创建运行时类的对象
动态代理
概述
理解
类的加载和ClassLoad
获取Class实例
获取运行时类的完整结构
泛型
泛型
概述
练习
继承
集合
集合
None
Collections工具类
Collection接口方法
For each
List接口
Map概述
Properties性质
TreeMap演示
练习
集合概述
枚举和注解
枚举和注解
枚举
注解
网络编程
网络编程
TCP网络
UDP网络编程
URL网络编程
网络编程概述
通信要素1：IP和端口号
通信要素2：网络协议
补充
补充
序列化问题
耦合度
Rust
Rust
入门
入门
入门Rust
Requirement
通用概念
所有权&借用引用&切片
Struct
枚举和判断
代码组织
搜索关键词实战
None
发布到crates.io
NestJS
NestJS
01介绍
Docker
Docker
Docker入门
Nginx
Nginx
Nginx入门
Frontend
Frontend
HTML
HTML
查阅文档
HTML概述和认识语法
列表标签
常用标签
注解和特殊字符
表单标签
表格标签
CSS
CSS
CSS书写顺序
CSS基本知识
CSS基础选择器
CSS的三大特性
CSS的元素显示模式
CSS的复合选择器
CSS的背景
CSS盒子模型学习
圆角边框
浮动
设置字体、文本样式
JavaScript
JavaScript
0.note
01.JavaScript介绍
02.HelloWorld
03.基本语法
04.严格检查模式
05.数据类型
06.流程控制
07.函数
内部对象
面对对象编程
10.操作BOM对象
11.操作DOM对象
操作表单
13.jQuery
TypeScript
TypeScript
01简介
02开发环境搭建
03类型
04面向对象
05类
06构造函数和this
07继承和抽象类
08接口
09属性的封装
10泛型
Vue
Vue
Vue2后台管理系统
Vue3安装
Vscode生成vue3模板
React
React
01.初认React
02.构建项目
03.JSX基础
04.事件绑定
05.组件基础使用
06.useState基础使用
07.基础样式控制
08.案例 评论
Database
Database
SQL
SQL
SQL基础
安装Mysql和SQLYog
MySQL基本操作
Others
Others
Google账号无法登录
CourseNotes
CourseNotes
软件工程
软件工程
1-软件工程学简介
2-模型介绍
3-敏捷开发
4-Requirements Engineering
5-System Modelling
6-Architectural Design
7-系统分析、建模与设计
None
9-用户界面(UI)设计和用户体验(UX)设计
10-测试
11-Project Management&Risk
23种设计模式
23种设计模式
1-Singleton Pattern
2-Prototype Pattern
3-Builder Pattern
4-Factory Method Pattern
5-Abstract Pattern
6-Proxy Pattern
7-Decorator Pattern
8-Adapter Pattern
9-Façade Pattern
10-Flyweight Pattern
11-Composite Pattern
12-Bridge Pattern
13-Visitor Pattern
14-Observer Pattern
15-Strategy (Policy) Pattern
16-Template Method Pattern
17-Command Pattern
18-Iterator Pattern
19-Memento Pattern
20-State Pattern
21-Mediator Pattern
22-Chain-of-Responsibility
23-Interpreter Pattern
复习
类图
概率论
概率论
13-From Randomness to Probability
14-Probability Rules!
15-Random Variables
16-Probability Models
17-Sampling Distribution Models
18-Confidence Interval
19-Testing Hypotheses About Proportions
20-Inferences About Means
22
23-Paired Samples and Blocks
24-Comparing Counts
计算机结构
计算机结构
1 介绍
2-布尔代数1
3-延迟问题
4-K-Maps
5-进制转换
6-全加器&&全减器
6-补充
7&8-信息传输和相关配件
7&8-总结
9&10-Sequential Logic Design
9&10总结
9-D,JK,主从JK
9-补充-触发器
11&12
13&14
15&16
1516补充
17&18
19&20
软件测试
软件测试
0-介绍
1-Perspectives and Concepts
2-Test Design Process
黑盒测试
黑盒测试
黑盒测试
3–Equivalence Class Testing
None
5-Combinational Testing组合测试
6.1-Random Testing &
6.2-Error Guessing
Functional Testing Summary
白盒测试
白盒测试
白盒测试
7-Statement Coverage
8-Branch Coverage
9.1-Condition Coverage
9.2-Multiple Condition Coverage
10-Path Coverage
12-MutationTesting
13-Unit Testing Object-Oriented Software
计算机视觉
计算机视觉
02卷积与边缘提取-线性滤波器
03边缘检测canny detection
04拟合fitting-ransac, hough
05Harris角点检测
06Blob detection
07SIFT
08Texture 纹理
Canny detection
小记
直方图均衡
霍夫
图像的处理
图像的处理
1.Image processing from scratch从零开始的图像处理
2.1卷积基础
2.2 Canny detection
3.1 Hough transform霍夫变换直线检测
3.2 Hough circle(霍夫圆变换)
4-角点检测Harris corner detection
6. SIFT
9 Ransac
数值计算
数值计算
0 Introduction to Numerical Analysis
1-Solving Equations
2-Systems of Equations课件
3 Interpolation重点
3-Interpolation
4-Least Squares
4-Least Squares重点
5 - 数值差异计算与积分法
6-Ordinary Differential Equations
6-Ordinary Differential Equations重点版
6-常微分方程
7-边值问题
复习重点
求导公式
数学建模
数学建模
图论模型-Dijkstra算法
图论模型-Floyd算法
多属性决策模型
层次分析法
应用场景
模拟退火模型
灰色预测
种群竞争模型
线性规划
非线性规划与01规划模型
算法1
算法1
1 –Intro
2-Revision
3-Methods and Objects
4-Arrays and Array Algorithms
5-Big O Notation
6-sorting
7 – Stacks and Queues
7x-Heap Sort
8-LinkedList
9-recursion
10-Bit Manipulation
算法2
算法2
1.0数据结构
1.1数据结构基本概念
1.2.1算法基本概念
1.2.2时间复杂度
1.2.3空间复杂度
2.1,线性表基本定义
2.2.1顺序表的增删
2.2.2顺序表查找
2.2顺序表
2.3.1单链表定义
2.3.2_1单链表的插入和删除
2.3.2_2单链表查找
2.3.2_3单链表的建立
2.3.3双链表
2.3.4循环链表
2.3.5静态链表
2.3.6顺序表VS链表
6.1基本定义
6.2.1图的存储-邻接矩阵
6.2.2图的存储-邻接表
6.2.3图的存储-十字链表，邻接多重表
6.2.4图的操作
6.3.1 图的遍历DFS
6.3.1图的遍历BFS
6.4.1最小生成树
6.4.2 最短路径BFS算法
6.4.3 Dijkstra算法（带权图，无权图）
6.4.4 Floyd算法
6.4.5 有向无环图
6.4.6 拓扑排序
6.4.7关键路径
最短路径
算法3
算法3
11-Hash
12-Binary Search Tree
13-avl
14-红黑树
14-红黑树补充
15-Trie Data Structure
16-图-BFS
16-图-DFS
16-图-拓扑排序
16-图
17-贪心算法
18-最小生成树Minimum Spanning Tree
19-最短路径
20-N&NP&NPC
操作系统
操作系统
1-认识操作系统
2-进程管理
34-传统的Unix调度程序（?）
34-抢占式算法
34-进程调度概念和公式
34-非抢占式算
5-多处理器调度-(?)
6-磁性硬盘操作和调度
7-Unix流程管理和进程间通信
8-Unix进程间通信机制
9-进程间通信机制
10-线程
10-线程
11-The Mutual Exclusion Problem
12-Algorithmic Solutions to the Mutual Exclusion P...
13-信号量
19,20内存管理
19补充
20-2文件的物理结构
进程调度算法1
进程调度算法2
软件验证
软件验证
5 – First Order Logic
6-First Order Logic (Part 2)
7 – First Order Logic -Proof
L1-introduction
L2-Design by Contract
L3- Logic for Program Specification
L4-logic for program specification part2
L7练习
L8-9-Formal Proof in Logic
Prolog笔记
Prolog笔记
Arithmetic &Comparing Integers
Lists&Member/2
Programming with Logic
Recursion
Unification&Proof search
黑客相关
黑客相关
1-基本介绍&DVWA
2-SQL工具注入(low)
3-SQL手工注入
4-文件上传漏洞low/medium
5.1-文件上传漏洞（网站）
5.2-弱口令爆破
Tools
Tools
Git
Git
多账号管理
GPG签名
Github注册和第一次提交
Git简单操作
还原原仓库内容到修改的fork仓库
其他
其他
Onenote导出markdown
PPT
PPT
1、基本操作
2、字体
3、形状
4、图片
5、配色
6、排版
7、动画
8、工作性PPT
Version Control
Version Control
DVC
Quilt Data
敏感信息扫描
敏感信息扫描
Sensleak
gitleaks
博客搭建
博客搭建
MkDocs
VuePress
WordPress
Vscode插件
Vscode插件
RESTClient测试接口
VScode快速连接数据库
Web3
Web3
None
7 – First Order Logic -Proof
1, Natural Deduction Proof Rules: Equality
2,
3,
回到页面顶部
