数学
文章平均质量分 92
minglie1
这个作者很懒,什么都没留下…
展开
-
魔方的公式
因为面与心块是一 一 对应的所以表示不会冲突,在数学上凡是可以一 一 对应的东西 都可以用相同的符号表示。公式1 A=UFR到RFD (上左下右)=[RU]=RUR’U’=上前回回=上前线。这个公式是逆时针转三角的,执行两次就是顺时针转, 当然也可以用它的对称公式 挂帽子。公式4: FAF’= F上左下右F’=(F,上前回回,F’)=在F的保护下上前。用(1,1,1)表示UFR块 , 用 (-1,0,0) 表示 B面中心的块。交换子的阶比较小, 影响的块也少,大多数公式都是交换子的形式。原创 2023-11-26 11:45:47 · 507 阅读 · 0 评论 -
闰年相关问题
闰年相关问题原创 2022-05-04 22:27:55 · 587 阅读 · 1 评论 -
蕴含连接词的真值表为什么这样定义?
蕴含→的真值表是这样的对于¬,∧,∨,→→是唯一不符合直觉的一个连结词,但它必须这么定义,并且只能这么定义.在人们刚能够使用语言的时候,在还没有真值表之前,人们就一直在用¬,∧,∨,→,只是可能没有意识到自己在用→真值表定义必须考虑人们对→的使用习惯,下面的三个规则是所有人都公认的L1: p→q 与 ¬q→¬p 等价L2: p→q 与 q→p 不等价L3: 1→1=1,1→0=...原创 2019-10-02 23:28:40 · 13513 阅读 · 2 评论 -
命题节点法
语雀命题节点法命题节点法的目的自定义语言命题节点 法的目的是希望找一种适合描述证明的一种格式。无论是计算还是证明都希望找到一个机械化的,去技巧化,可扩展的方法。每个定理一定存在一个证明。每个定理都是为了更方便的证明或计算。复杂问题证明可以很长,但复杂问题的证明应该有大小目标,尽量无跳跃,线性可读,易向可视化转换。命题节点法能在不同层次构建出某个知识点以及相关定理的证明网,使得自己对该知识点认知感到达到非常自然合理的程度。命题节点法是描述问题的一个模版。P1,P2,P3看似简单的命题序列,有简化证明,留原创 2021-09-05 12:54:16 · 360 阅读 · 0 评论 -
电枢公式
电枢公式电枢公式问题12槽电机中,为什么3与9是同绕的,为什么4与8是同绕的,是什么性质让他们是同绕的,为什么5是全可达的,是不是质数都是全可达的?电枢公式会从零到1清晰的解释这几个问题电枢公式用于处理等步周期问题 电枢公式讨论的是循环等步转圈问题。循环等步就是线性绕法,这种绕法最常用也最简单。电枢公式主要讨论的就是线性绕法下的 同绕关系, 阶, 可达 以及一些同绕恒等式,至于非线性绕法会使问题变得复杂与难以处理,分析中非线性问题常常使用线性近似的方式处理,但数论中极少出现近似的词。第t步绕原创 2021-02-10 00:52:53 · 3585 阅读 · 1 评论 -
逻辑中的对偶原理与蕴含定理
逻辑中的对偶原理与蕴含定理这两个都是简单实用的, 但没有教材正式的提及过,其中对偶原理只是感觉是对的, 而蕴含定理却是精确和毫无疑问的,这两个技巧我觉得是几乎不需要记忆的逻辑技巧。对偶原理 (MP)’=M’P’这个对偶原理和数字电路的对偶原理很像,但并不一样,这里的对偶并不是对立,否定的意思, 因为 命题,连接词,量词,模态词,都有各自的对偶,这个对偶原理是个模糊定理 , 因为我说不清公式...原创 2019-10-02 23:40:11 · 13709 阅读 · 0 评论