( ´ρ`)性感红名♡在线要饭(`ε´ )
https://afdian.com/a/nmbxd

版本是Kenneth H. Rosen 精编版，人生第一次正式啃英文教材| ω・´)

仅用于发癫( ・_ゝ・)

Product强调的是乘积作为结果，而multiply是做乘法的过程，Cartesian product翻译为笛卡尔积实在是妙

conceive和deceive搞混了，不愧是我( ´∀`)

Cardinal是红衣主教，但是cardinality就变成了基数(*ﾟ∇ﾟ)

po呢(｀･ω･)

>>No.61715136
cardinal也有最重要的 基本的意思喔

>>No.61737242
复活了复活了，被ddl杀麻了（

>>No.61738152
| ω・´)此之前对cardinal的理解还是刀剑神域里C姐

感觉英文书对比中文教材区别主要就在于解释概念确实很详细，而且书中已经列出了很多容易被误解的东西，比如谓词逻辑任意xF(x)还专门解释了一下空集是成立的，因为定义是找不到一个counterexample(=ﾟωﾟ)=

不过有时候太多的example就有点冗余了，重复的还是比较多，可能跟离散在阿美是叫什么基础什么课有关系罢( ・_ゝ・)

发现一个问题。作者说“we cannot distribute a universal quantifier over a disjunction，nor can we distribute an existential quantifier over a conjunction.”
但是单向的存在合取应该是可以单方向拆分辖域的，个人猜测此处作者在讲逻辑等值，应该只是不能等值互推，语言描述还是有些问题的?

没想到借着离散复习了一个高中做英语阅读被坑的点。。。
All ... are not...表示部分否定，意为不是所有的...都...

最想夸这本课本的一集。ﾟ ∀ﾟ)ノ
国内教材生搬硬套把什么是个体域，什么是量词等等概念之后，就开始当做题家。习题直接让你自己去把自然语言转化为逻辑语言，连怎么选个体域都不清楚。只看到这题有一个x是人类，x是学生开出一个谓词。而另一道题直接x是学生，被搞得晕头转向。
但是此书专门开了一节怎么转化，并且点名了个体域的不同用于讨论不同层面的问题。清晰条理的多😭

欧美教材特别喜欢举具体例子，个人感觉各有利弊吧

>>No.61836766
确实

每一章序言的废话是真多。。。

蓝桥结束了，准备复更

>>No.62037958
( ﾟ∀ﾟ)bbb