离散数学 第一单元 logic and proofs

已于 2024-03-05 13:16:22 修改
阅读量348 收藏 8
点赞数 7
分类专栏： 离散数学 文章标签： 人工智能
于 2024-02-29 14:57:42 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ZChuashifeng/article/details/136352818
版权

目录

命题

​复合命题

​命题联结词

否定

​合取

​析取

蕴涵

​等价

​优先级

基本等价关系

范式

推理

推理的判定定理

推理定律

演绎法推理

直接证明

​间接证明（反证法）

命题演绎举例

谓词引入

​个体词

谓词

复合命题的谓词符号化

​量词引入

谓词逻辑符号化

一元谓词

​二元谓词

​个体域如何选取

前束范式​​​​​​​

谓词综合推理​​​​​​​

命题

推理的前提和结论都是命题

具有确切真值的陈述句，真值可取1或0两种值（尽管我们可能不知道这个句子是真的还是假的，但是只要这个句子是有真假的，那这个句子就是命题）

复合命题

命题联结词

否定

合取

析取

蕴涵

等价

优先级

基本等价关系

范式 

推理

推理的判定定理

推理定律

 

演绎法推理

直接证明

从结论出发，考虑问题

间接证明（反证法）

命题演绎举例

谓词引入

我们可以对简单命题继续分解（分为个体词和谓词），从谓词和量词的角度去理解

个体词​​​​​​​

谓词

谓词实际上就是函数

 复合命题的谓词符号化

量词引入

​​​​​​​​​​​​​​谓词逻辑符号化

一元谓词

二元谓词​​​​​​​

个体域如何选取​​​​​​​

前束范式​​​​​​​

谓词综合推理​​​​​​​

补充

 

所以说合取是AND，我都要看；析取是OR，有一个就可以

雨枪幻。
关注
  • 7
    点赞
  • 踩
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 1
01-31
这是 Mathematics for Computer Science, MIT 6.042J - Fall 2010 - Lecture 1 (Introductions and Proofs) 的笔记 PDF 版（Teddy van Jerry 整理），文件中有网课的地址链接。
揭秘系列-离散数学
12-27
揭秘系列，离散数学 In today’s world, analytical thinking is a critical part of any solid education. An important segment of this kind of reasoning—one that cuts across many disciplines—is discrete ...
离散结构：基础：逻辑和证明（Discrete Structures ：The Foundations: Logic and Proofs）(3)
//柏拉图的双斜杠
09-12 2288
第一章，第三部分：证明 汇总 有效的论据和推理规则 证明方法 证明策略 有效的论据和推理规则 小节汇总 有效论证 命题逻辑的推理规则 使用推理规则构建参数 量化陈述的推理规则 建立量化陈述的论据 有效论证 数学证明是确定数学陈述真实性的有效论据。 ...
【快乐离散数学】Discrete Structure 课程计划书
⚡ 柠檬叶子C
08-29 426
離散結構（Discrete Structure）
离散结构：基础：逻辑和证明（Discrete Structures ：The Foundations: Logic and Proofs）(2)
//柏拉图的双斜杠
09-10 1165
第一章，第二部分：谓词逻辑(Chapter 1, Part II: Predicate Logic) 汇总(Summary ) 谓词逻辑（第一次序逻辑）述词计算(Predicate Logic (First-Order Logic (FOL), Predicate Calculus)) 量词语言(The Language of Quantifiers) 逻辑等价(...
离散数学学习笔记目录
whj95的专栏
05-21 2144
[toc] 1、Logic and Proofs（数理逻辑） 2、 Sets,Functions,Sequences,Matric（集合、函数、数列、矩阵） 3、Algorithms(算法) 4、Number Theory(数论) 5、Induction and Recursion(递归) 6、Counting（计数） 7、Discrete Probability（离散概率） 8、A
离散数学复习笔记
2301_82047568的博客
03-16 1080
教材为机械工业出版社离散数学（英文版）
中山大学计算机学院离散数学,《离散数学》课程习题与解答(2011级使用)中山大学计算机科学系_推荐.pdf...
weixin_39595430的博客
07-02 323
《离散数学》课程习题与解答(2011级使用)中山大学计算机科学系_推荐第一章 The Foundations: Logic andProofs1.1 Propositional Logic作业 1.1 【习题1.1第8题 】：设p是 “你有流感”；q是 “你错失期末考试 ”；r是 “你通过课程 ”，翻译下列公式成 自然语句：a) p → q b...
SUSTech CS201 离散数学期末复习
Clover Wang的博客
05-24 789
离散这门课的考评期中期末占比： 根据教工部安排，离散数学的期末考试安排在6月4号下午，也就是考试周第一周的周二下午。 然而不幸的是周一也有一门硬核专业课的考试。。。 ~~为了能活过期末考试周，~~决定提前开始复习计划。 先看一眼课程的大纲： 复习就按下面的列表来： Logic & Mathematical Proofs 逻辑和证明（Lecture 1-3） Sets and Fun...
Discrete mathematics and its applications笔记01
乃乃天外仙
08-22 930
Discrete mathematics and its applications笔记 第一章 1.The conditional statement p–>q is false when p is true and q is false,and true otherwise. 2.p–>q is called a conditional statement .A conditiona...
（译）离散数学Discrete Mathematics James L. Hein
Kemin | 本博客独立到nakeman.cn
05-04 2254
kemin原创翻译，引用注明出处，谢谢。Discrete Mathematics James L. Hein Department of Computer Science Portland State University http://www.amazon.com/Discrete-Mathematics-James-L-Hein/dp/0763722103This book is design
math-formulas-and-proofs:数学公式和证明
04-29
数学公式 数学公式和证明 有趣-著名的数学公式（定理）及其证明:) 您可以将项目添加到静态目录中的Formulas.json文件中，以添加公式和证明。 然后，将检查这些内容并将其输入到Firebase数据库中。 样本数据结构： ...
CrossOver支持M4新品吗？苹果M4芯片对游戏支持的怎么样？
软妹子的博客
06-01 928
CrossOver是一款可以在不同平台之间无缝切换的软件，它可以让你在MacOS或者Linux操作系统上运行Windows应用程序，无需安装双系统或虚拟机。CrossOver是基于Wine项目开发的，Wine是一个可以在非Windows平台上运行Windows应用程序的兼容层。那么，CrossOver是否支持M4新品呢？M4芯片又对游戏支持的怎么样呢？本文将从以下几个方面来探讨这个问题。M4芯片正式亮相，首发产品是2024款的iPadPro。
pytorch学习笔记5
drarad的博客
06-02 1320
前向钩子（forward hook）在模块的前向传播开始时触发，前向后钩子（forward pre-hook）在前向传播之前触发，反向钩子（backward hook）在反向传播过程中触发。总结来说，钩子提供了一种在 PyTorch 模型的执行过程中插入自定义代码的方法，使得用户可以灵活地调试、监控和扩展模型的功能。作用: 这是一个内部的 C 语言指针，指向张量在底层库（通常是 C++ 实现的 PyTorch 核心）中的具体数据结构。这些钩子可以在张量的梯度计算之前或之后执行自定义的操作。
[数据概念]数据要素和智能算力市场关系解析
最新发布
IT鼹鼠
06-05 396
GPT-4o这些新的模型的推出，不仅是AI领域的一个重大突破，也是对算力和数据需求的一次极大推动。为了更好地把握这一趋势，企业和政府机构需要加大对相关技术的研发投入，培养专业人才，同时加强数据治理和安全保护，确保数据要素市场的健康发展。目前，国内多个城市已经布局或正在建设智能计算中心，如北京、上海、深圳等，这些中心不仅为AI企业提供了强大的算力支持，也成为推动地方经济发展的新引擎。数据标注和清洗服务需求的增长，数据交易和共享机制的建立，以及数据治理的加强，共同构成了数据要素市场的新生态。
LangChain大模型应用开发指南-AI大模型衍生的新能力
2401_85325557的博客
05-31 924
本文以传统应用编程设计模式和思维为对比对象，介绍了LangChain基于AI大模型衍生出的三种新的能力：Model I/O、Retrieval和Memory，它们分别解决了传统AI应用开发中遇到的IO、Query和Storage方面的问题和挑战。通过利用这些能力，应用开发者可以开发出更简单、更高效、更创新的AI应用。通过本文的指导，读者可以迭代在传统应用编程中累积的思维方式和经验，充分利用了AI大模型衍生的新能力的创新应用。那么，我们该如何学习大模型？
llama-factory微调大模型
05-31 386
微调或者全量调大语言模型，还包括deepseek,想找个快速的微调教程，网上暂时没有。原理：搭建环境太累了，还是docker环境镜像简单快捷。如果用本身的会自动从huggingface下载，2、拉去LLAMA-factory repo。3、要根据自己的目录调整启动镜像。这下不了（也没有提示）
Casola, V., & Castiglione, A. (2020). Secure and Trustworthy Big Data Storage. Springer. Corriveau, D., Gerrish, B., & Wu, Z. (2020). End-to-end Encryption on the Server: The Why and the How. arXiv preprint arXiv:2010.01403. Dowsley, R., Nascimento, A. C. A., & Nita, D. M. (2021). Private database access using homomorphic encryption. Journal of Network and Computer Applications, 181, 103055. Hossain, M. A., Fotouhi, R., & Hasan, R. (2019). Towards a big data storage security framework for the cloud. In Proceedings of the 9th Annual Computing and Communication Workshop and Conference (CCWC), Las Vegas, USA (pp. 402-408). Rughani, R. (2019). Analysis of Security Issues and Their Solutions in Cloud Storage Environment. International Journal of Computer Trends and Technology (IJCTT), 67(6), 37-42. van Esbroeck, A. (2019). Zero-Knowledge Proofs in the Age of Cryptography: Preventing Fraud Without Compromising Privacy. Chicago-Kent Journal of Intellectual Property, 19, 374. Berman, L. (2021). Watch out for hidden cloud costs. CFO Dive. Retrieved from https://www.cfodive.com/news/watch-out-for-hidden-cloud-costs/603921/ Bradley, T. (2021). Cloud storage costs continue to trend downward. Forbes. Retrieved from https://www.forbes.com/sites/tonybradley/2021/08/27/cloud-storage-costs-continue-to-trend-downward/?sh=6f9d6ade7978 Cisco. (2019). Cost optimization in the multicloud. Cisco. Retrieved from https://www.cisco.com/c/dam/en/us/solutions/collateral/data-center-virtualization/cloud-cost-optimization/cost-optimization_in_multicloud.pdf IBM. (2020). Storage efficiency solutions. IBM. Retrieved from https://www.ibm.com/blogs/systems/storage-efficiency-solutions/ Microsoft Azure. (n.d.). Azure Blob storage tiers. Microsoft Azure. Retrieved from https://azure.microsoft.com/en-us/services/storage/blobs/#pricing Nawrocki, M. (2019). The benefits of a hybrid cloud strategy for businesses. DataCenterNews. Retrieved from https://datacenternews.asia/story/the-benefits-of-a-hybrid-cloud-strategy-for，请把这一段reference list改为标准哈佛格式
05-29
(2019) 'Zero-Knowledge Proofs in the Age of Cryptography: Preventing Fraud Without Compromising Privacy', Chicago-Kent Journal of Intellectual Property, 19, p.374. Berman, L. (2021) 'Watch out for ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值