996 Worker's Blog

菜单

996 Worker's Blog

所有标签

#PWA 1 #Angular 2 #AWS 3 #Computation 3 #2FA 1 #JWT 1 #Ada 1 #Django 1 #Machine Learning 1 #React.js 3 #.NET 3 #PyQt5 2 #Agile 1 #cooking 5 #Git 1 #MyBatis 1 #Data Structure 5 #k8s 1 #Python 10 #网上冲浪 5 #Jupyter 1 #Nginx 2 #MQ 1 #Go 3 #墙 4 #Mail 2 #Redis 4 #test 1 #SpringCloud 14 #Web 10 #Theories 14 #Reading 3 #Notes 80 #Testing 2 #Development 92 #Android 8 #Security 2 #Mac 4 #Haskell 4 #Random 8 #Front-End 4 #OpenCV 3 #SpringBoot 9 #Shiro 1 #Database 17 #Utils 10 #Uni-app 1 #Javascript 4 #Java 33 #Operating System 2 #Improvement 34 #Algorithm 21 #Test 1 #Docker 8 #Halo 0
单射，满射和双射
Learning #Notes

单射，满射和双射

injection, surjection and bijection

996Worker 发布于 2021-09-22
Conversion from NFA to DFA with the transition table
Learning #Notes

Conversion from NFA to DFA with the transition table

形式语言与自动机

996Worker 发布于 2021-09-15
数理逻辑--谓词逻辑的等值、范式和推理演算
Learning #Notes

数理逻辑--谓词逻辑的等值、范式和推理演算

Equivalence, paradigm, and inference calculus in predicate logic.

996Worker 发布于 2021-08-17
数理逻辑--谓词逻辑概念
Learning #Notes

数理逻辑--谓词逻辑概念

Predicate logic

996Worker 发布于 2021-08-17
Mac删除Git目录下的.DS_Store文件
Notes #Mac#Notes

Mac删除Git目录下的.DS_Store文件

Remove redundant .DS_Store in Git.

996Worker 发布于 2021-08-15
计算机行业求助bug的高效提问方式
Utilities #Notes#Reading

计算机行业求助bug的高效提问方式

As a programmer, how to ask for help?

996Worker 发布于 2021-08-12
数据库事务的隔离级别
Notes #Development#Notes#Database

数据库事务的隔离级别

The isolation level of database transactions.

996Worker 发布于 2021-08-06
数理逻辑常用恒等式
Learning #Notes

数理逻辑常用恒等式

常用AbsorptionP ∧ P ≡ PP ∨ P ≡ PCommutativityP ∧ Q ≡ Q ∧ PP ∨ Q ≡ Q ∨ PAssociativityP ∧ (Q ∧ R) ≡ (P ∧ Q) ∧ RP ∨ (Q ∨ R) ≡ (P ∨ Q) ∨ RDistributivityP ∧

996Worker 发布于 2021-08-04
Learning #Notes#Computation

命题逻辑符号和日常语言例子

Symbols and examples of propositional logic

996Worker 发布于 2021-08-02
[Note]Introduction to Software Testing
Learning #Development#Testing#Notes

[Note]Introduction to Software Testing

软件测试课程学习笔记。

996Worker 发布于 2021-08-01
上一页 8 / 8 下一页