摘要: $ x\ /\ mm$ $+I_S\ ,\ +I_M$ $+I_S\ ,\ -I_M$ $+I_S\ ,\ -I_M$ $+I_S\ ,\ -I_M$ $U_H = \frac{\mid\ U_1\ -\ U_2\ +\ U_3\ -\ U_4\ \mid}{4}/mV$ $B = \frac{U_ 阅读全文
posted @ 2023-09-16 21:30 IronRoc 阅读(98) 评论(0) 推荐(0)
摘要: $ I_M\ /\ mA$ $+I_S\ ,\ +I_M$ $+I_S\ ,\ -I_M$ $+I_S\ ,\ -I_M$ $+I_S\ ,\ -I_M$ $U_H = \frac{\mid\ U_1\ -\ U_2\ +\ U_3\ -\ U_4\ \mid}{4}/mV$ $\ \ \ U_1\ 阅读全文
posted @ 2023-09-16 18:05 IronRoc 阅读(126) 评论(0) 推荐(0)
摘要: $ I_S\ /\ mA$ $+I_S\ ,\ +I_M$ $+I_S\ ,\ -I_M$ $+I_S\ ,\ -I_M$ $+I_S\ ,\ -I_M$ $U_H = \frac{\mid\ U_1\ -\ U_2\ +\ U_3\ -\ U_4\ \mid}{4}/mV$ $\ \ \ U_1\ 阅读全文
posted @ 2023-09-16 17:53 IronRoc 阅读(110) 评论(0) 推荐(0)
摘要: 命题逻辑那些事 | 3. 等价式&永真蕴含式 (主要是后者) #### 一、等价式 啥是等价式?要我说**带等价符号的就是等价式**。 比如说 $$ A \Leftrightarrow B $$ 就是个等价式 硬要说的复杂一点,就是等价式两边可以**互相推出,完全等价** 比如我说 $$ A \lor B \Leftrightarrow B \lor A $$ 阅读全文
posted @ 2023-06-26 06:05 IronRoc 阅读(2053) 评论(0) 推荐(2)
摘要: 命题逻辑那些事 | 2. 主析(合)取范式 一、必要概念 简单X取式 简单析取式、简单合取式,说白了就是不知道这个简单是个啥? 简单就是有限 你可以说是公式的长度有限,或者公式包含的命题变项有限,反正就是有限 当然,还都得是析(合)取联结词 这个概念有啥用吗?大抵是没啥用罢。 X取范式 析取范式、合取范式,这个范,又从何说起? 打个比方: \ 阅读全文
posted @ 2023-05-28 03:58 IronRoc 阅读(3215) 评论(0) 推荐(0)
摘要: 命题逻辑那些事 | 1. 概念前摇 #### 一、必要概念(**不懂不行的**nouns) ![](https://img2023.cnblogs.com/blog/2232396/202305/2232396-20230526211641157-1631221699.png) 以上是我在与一位朋友谈论起离散数学时的评价。 离散中的概 阅读全文
posted @ 2023-05-21 18:33 IronRoc 阅读(179) 评论(0) 推荐(0)