Introduction to Mathematical Thinking - Week 4

否定的逻辑

应该思考符号背后表示的逻辑,而不是像操作算术运算符一样操作逻辑符号。

比如

对于任意的 x,x属于自然数,那么 x 是偶数或者奇数;这是对的

如果使用“乘法分配律”拆分,变成“对于任意的x,x属于自然数,那么x是奇数或者对于任意的x,x属于自然数,那么x是奇数” 这是错的

疑惑

但是做练习的时候,还是把其当做符号来运算。For all 变成 at least one;At least one 变成 for all;v 变成  ^;

计算机也是把逻辑规则抽象成符号来运算的。

注意言论的范围

如果你要讨论的是动物,那么应该以动物为主体,而不是以动物的子集为主体。

比如,应该是“对于任意的动物,如果它是老虎,那么它是猫科动物”,而不是“对于任意的老虎,它是猫科动物”。

习题

1.

Which of the following is equivalent to ¬∀x[P(x)⇒(Q(x)∨R(x))]? (Only one is.) [5 points]

∃x[P(x)∨¬Q(x)∨¬R(x)]

∃x[¬P(x)∧Q(x)∧R(x)]

∃x[P(x)∧¬Q(x)∧¬R(x)]

∃x[P(x)∧(¬Q(x)∨¬R(x))]

∃x[P(x)∨(¬Q(x)∧¬R(x))]

解:¬的范围是 ∀x 还是 ∀x[P(x)⇒(Q(x)∨R(x))]?

如果不考虑¬,答案是 ∃x[P(x)∧¬Q(x)∧¬R(x)]。然后答案是这个。这让我疑惑¬是不是印刷错误。

打分题

总评给了0分,正确性给了3分,其他满分。理由是division‘s not an operation in the integers

改写后的结果:

that means that 1 is divisible by P. But, that‘s a contradiction, P is a prime number. So, it‘s at least equal to 2. So, it can‘t divide into 1.

时间: 2024-10-18 18:53:37

Introduction to Mathematical Thinking - Week 4的相关文章

Introduction to Mathematical Thinking - Week 6 - Proofs with Quantifieers

Mthod of proof by cases 证明完所有的条件分支,然后得出结论. 证明任意 使用任意 注意,对于一个任意的东西,你不知道它的具体信息.比如对于任意正数,你不知道它是 1 还是 2等等. 使用矛盾 证明相反的结论是错误的 归纳法 Prove the initial step, then apply to the induction step. Prove the mathematical theorems Assignment 解析:首先尝试找到 m, n 使得结论成立.因为

Introduction to Mathematical Thinking - Week 9 评论答案2

根据 rubic 打分. 1. 我认为,如果说明 m, n 是自然数,所以最小值是 1 会更清楚.所以 Clarity 我给了 3 分.其他都是 4 分,所以一共是 23 分. 2.  我给出的分数 0 + 4 + 4 + 4 + 4 + 0. 明显可以看出是计算错误,但由于目前是考察数学思考,并不需要像工程师一样精确.所以这个被视为 slip. Logical correctness: 2 分.逻辑正确但是计算错误. Overall valuation: 2 分.同理,逻辑正确但是计算错误.

Introduction to Mathematical Thinking - Week 3

there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions says that there is no largest prime. (There may be more than one. You have to select all correct propositions.) The variables denote natural numbers. [6

机器学习经典书籍

前面有一篇机器学习经典论文/survey合集331.本文总结了机器学习10的经典书籍,包括数学基础和算法理论的书籍.本文会保持更新,欢迎推荐. 入门书单 <数学之美> PDF683作者吴军大家都很熟悉.以极为通俗的语言讲述了数学在机器学习和自然语言处理等领域的应用. <Programming Collective Intelligence>(<集体智慧编程>)PDF389作者Toby Segaran也是<BeautifulData : The Stories Be

转:机器学习资料书籍

链接:http://suanfazu.com/t/topic/15 入门书单 <数学之美> PDF586作者吴军大家都很熟悉.以极为通俗的语言讲述了数学在机器学习和自然语言处理等领域的应用. <Programming Collective Intelligence>(<集体智慧编程>)PDF343作 者Toby Segaran也是<BeautifulData : The Stories Behind Elegant Data Solutions>(<数

南开大学数学院本科生课程信息汇总表(2013.11.19)

      数学院本科生课程信息汇总表         课程代码 课程名称 英文课程名称 课程组成员 学分 先导课程 参考教材 作者 出版社 1010011090 概率论 江一鸣 4 数学分析 概率论基础 李贤平 高等教育出版社 1010011690 金融信用风险 江一鸣 3 概率论 金融衍生品定价模型---数理金融引论 孙健 中国经济出版社 1010010120 抽象函数与Banach代数 Abstract Functions and Banach Algebras 刘锐 3 实变函数(实分析

psu online course

https://onlinecourses.science.psu.edu/statprogram/programs Graduate Online Course Overviews Printer-friendly versionPrinter-friendly version Picture of Thomas Building where the Eberly College of Science and the Department of Statistics resides.The D

Github 的一个免费编程书籍列表

Index Ada Agda Alef Android APL Arduino ASP.NET MVC Assembly Language Non-X86 AutoHotkey Autotools Awk Bash Basic BETA C C# C++ Chapel Cilk Clojure COBOL CoffeeScript ColdFusion Cool Coq D Dart DB2 Delphi / Pascal DTrace Elasticsearch Emacs Erlang F#

[转]机器学习经典书籍

算法组 注册 登录 机器学习经典书籍 机器学习 machine-learning 书单 你已经选择了 0 个帖子. 全选 取消选择 1 / 6 sys 14-12-9 5 选择以及回复其的帖子 选择 前面有一篇机器学习经典论文/survey合集223.本文总结了机器学习的经典书籍,包括数学基础和算法理论的书籍.本文会保持更新,欢迎推荐. 入门书单 <数学之美> PDF364作者吴军大家都很熟悉.以极为通俗的语言讲述了数学在机器学习和自然语言处理等领域的应用. <Programming C