yhlin
文章 46
离散数学 利用归结原理求解问题
求解问题的步骤 (1) 已知前提 $F$ 用谓词公式表示并化为子句集 $S$ (2) 把待求解的问题 $Q$ …
离散数学 2023-01-19
论文笔记 2023-01-19
底层原理 浮点数在计算机中的表示
一道 C 语言题: #include <stdio.h> int main() { int num…
底层原理 2023-01-17