Conversion from NFA to DFA with the transition table

形式语言与自动机

简单实现内嵌上拉刷新、下拉加载的RecyclerView布局

技术文章地址记录

RecyclerView使用、上拉加载、局部刷新、多种布局、点击事件和坑

Java多线程编程的synchronized

synchronized in java

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

Equivalence, paradigm, and inference calculus in predicate logic.

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

Predicate logic

软件测试--覆盖与覆盖率

Software Testing -- coverage

Haskell语法现象总结(2-list及递归)

Haskell List

Haskell语法现象总结(1-基本语法现象)

Programming with Haskell

数理逻辑常用恒等式

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