2301_80256141 2023-11-03 20:45
浏览 6
已结题

大一逻辑数学小证明，求证

img


大一中外合作数学逻辑的题，除了用逻辑表格以为，能用公式证明吗？真的不会了，求解！谢谢了谢谢了

  • 写回答

0条回答 默认 最新

    报告相同问题？

    • 大一微积分笔记整理_大一高等数学学习方法
      2021-02-11 22:44
      weixin_39608457的博客 数学的逻辑性、分析性极强，可以说是一种纯理性的科学，要求思维清晰明了，因而基础知识十分重要，那么大一的同学该如何学习高数呢?下面是由小编整理的，希望对您有用。一学习方法与学习的过程、阶段、心理条件等...
    • 线代[13]｜网课《俗说矩阵》线代题37道以及数学分析题3道（多图预警）
      2025-02-10 15:03
      汉密士2025的博客 在我心中共有两门神课是最适合大一新生入门学习线性代数的网络课程：前者为初学者建立几何直观，后者为初学者为工科学生和考研学子打下扎实的基础，两者相辅相成。我刚刚又去哔哩哔哩看了一下《线性代数的本质
    • 数据分析师进阶必备6大数学利器
      2018-11-22 15:40
      R3eE9y2OeFcU40的博客 精通离散数学：集合与数学逻辑 —Udemy 六、最优化、运筹学 学什么 这一部分主题说得都是与应用数学相关的知识，最常用的是计算机科学原理、控制论、运筹学等。理解这些概念对机器学习实践来说非常重要...
    • 杨振宁-清华大一物理系列讲座（3）
      2025-12-10 23:42
      dfsj66011的博客 本文探讨了矢量概念的发展历程及其在物理学中的...文中强调这些数学工具对现代物理学发展的深远影响，特别是麦克斯韦方程组奠定了整个现代通信技术的基础，而哈密尔顿-雅可比方程则架起了经典物理与量子世界的桥梁。
    • 【呆鸟译Py】数据分析师进阶必备6大数学利器
      2018-10-19 14:40
      weixin_34217773的博客 数学是现代科学的基石，几乎所有现代科学都与数学密不可分，尤其是数据科学与机器学习。 要想成为资深数据分析师，必须具备一定的数学知识，熟练应用数学技巧，才能更好地使用程序自带的算法。...
    • 矢量光速螺旋时空归一化体系完整阅读指南
      2026-04-27 14:02
      张祥前世界大同的博客 全文精读螺旋世界线有效场论，理解耦合算符的几何唯一性证明 中文 #40 / 英文 #23：全文精读螺旋时空涨落有效场论，掌握真空极化计算与实验约束推导 阅读建议：结合英文论文阅读，重点关注理论的数学严谨性与逻辑自...
    • ICML机器学习重要会议
      2025-11-25 00:43
      腾讯天美工作室群的博客 小结：ICML不止于会议，更是一种思维方式 虽然ICML不是一个硬件模块，也不能焊在PCB板上，但它代表了一种 追求本质、严谨求证的技术精神 。 在这个人人都能跑通一个BERT的时代，真正拉开差距的，是你是否理解它的...
    • 逆向工程实战：如何用Python解密酷狗音乐缓存文件（附完整代码）
      2025-07-27 02:12
      postgres8guard的博客 本文通过Python实战案例，详细解析了音频缓存文件...文章从文件结构分析入手，深入探讨了基于异或运算的加密逻辑，并提供了完整的解密代码实现，旨在帮助开发者学习逆向工程思维与数据保护机制，而非用于破解版权保护。
    • 2025 年日祭
      2025-02-08 18:52
      GetawayCar1024的博客 （这里具体不想证明。）对于某一个节点，设其儿子数量为 c n t u cnt_u cntu​，则计算 ∏ C c n t u − 1 \prod C_{cnt_u - 1} ∏Ccntu​−1​（卡特兰数）即可。 下午先把E题改了，学习了一下吉司机线段树。这东西...
    • 自动控制的故事
      2021-02-26 08:55
      automan_huyaoge的博客 打小就没有弄明白，这机械化和自动化到底有什么差别，机器不是自己就会动的吗？长大了，总算稍微明白了一点，这机械化是力气活，用机器代替人的体力劳动，但还是要人管着的，不然机器是不知道该干什么不该干什么的；...
    • 自动控制的历史发展
      2019-06-25 22:33
      song430的博客 在数学上，动态过程用微分方程描述，反馈过程就是在描述动态过程的微分方程的输入项和输出项之间建立一个关联，这样改变了微分方程本来的性质。自动控制就是在这个反馈和动态过程里做文章的。房间内的空调是一个简单...
    • 论基础的重要性---算法--bat的敲门砖
      2019-04-06 16:31
      悟道识术的博客 真正学懂计算机的人（不只是“编程匠”）都对数学有相当的造诣，既能用科学家的严谨思维来求证，也能用工程师的务实手段来解决问题——而这种思维和手段的最佳演绎就是“算法”。 通俗来说，算法是数学理论和工程...
    • 人性的弱点
      2019-04-06 18:14
      蜀山量化策略程序的博客 　这该是个谜了，从悠久的历史文化到现在，关于希腊，和拉丁，以及高等数学的渊深著作极多，而这类学理，是眼前并不受一般成人所欢迎的。可是关于一般求知若渴者所重视的一类书，却完全没有。 　这就告诉了我们，为...
    • RSA算法原理2
      2016-08-17 13:15
      凌风探梅的博客 但找到这样的算法的可能性是非常小的。今天只有短的RSA密钥才可能被暴力破解。到2008年为止，世界上还没有任何可靠的攻击RSA算法的方式。 　只要密钥长度足够长，用RSA加密的信息实际上是不能被解破的。" ...
    • 李开复写给中国大学生的信
      2015-07-29 15:01
      wu_qionglove的博客 一些贪小便宜、耍小聪明的行为只会把自己定性为一个贪图小利、没有出息的人的形象，最终因小失大。中国有 " 勿以恶小而为之 " 的古训，很值得记取。  生活在群体之中  与大多数美国学生比较而言，中国学生的...
    • 算法
      2012-10-27 23:25
      等风来啊的博客 真正学懂计算机的人（不只是“编程匠”）都对数学有相当的造诣，既能用科学家的严谨思维来求证，也能用工程师的务实手段来解决 问题——而这种思维和手段的最佳演绎就是“算法”。  记得我读博时写的Othello对弈...
    • Phi-4-mini-reasoning数学解题实战：从入门到精通
      2026-02-12 10:58
      彭喵喵的博客 本文介绍了如何在星图GPU平台上自动化部署【ollama】Phi-4-...该轻量级推理模型专为密集逻辑推演优化，可精准完成代数求解、几何证明、方程分步验算等典型场景，显著提升学生、教师及工程师的数学问题分析与教学效率。
    • SCU BSS讨论帖子
      2008-06-19 13:29
      HashCodeWithJava的博客 真正学懂计算机的人（不只是“编程匠”）都对数学有相当的造诣，既能用科学家的严谨思维来求证，也能用工程师的务实手段来解决问题——而这种思维和手段的最佳演绎就是“算法”。 记得我读博时写的Othello对弈软件...
    • 毕业那天我们一起失恋
      2004-10-09 16:37
      weixin_30416871的博客 桃子是大二的而不是我一直以为的大一新生；桃子居然也是学热动的正好是我小师妹，那天找艺术学院只是办点事情；桃子那天其实早知道我在带着她兜圈子，只不过她觉得听我讲解的挺有意思所以跟着我满校园逛，之所以后来...
    • 没有解决我的问题, 去提问

    问题事件

    • 系统已结题 11月11日
    • 创建了问题 11月3日