数理逻辑吧 - RAT

2

2014-11-22

请问世界数理逻辑的中心在哪儿

rt，准备申请这个方向的phd。还有就是国外的话数理逻辑到底划在数学下面还是划在哲学下面？

🧑南苑老妖

0

2014-11-15

这吧真冷

🧑abcde1996

1

2014-11-15

概念求解释，急

请帮忙解释一下，逻辑等价、演绎等价、同可满足性三个概念。

🧑gouzhinan019

1

2014-11-06

有兴趣整理一下数学和逻辑中不定义词么？

比如点线面

🧑逍遥无涯海

15

2014-11-02

急求资源！！！

Enderton和艾宾浩斯的数理逻辑，最好放在百度云上。

🧑孤城1片

1

2014-10-30

【求教】公理模式，这个东西求解释

求帮忙

🧑一个浪漫的康德

1

2014-08-31

新手，想请教各位

一阶逻辑中不可以量化谓词，等于公理是如何描述的呢？

🧑freeun_know

2

2014-08-25

如何证明二难论证正确

H>P S>W //(HvS)>(PvW) 想了很久也解不到 ~~

🧑s20011301

1

2014-08-25

有问题求助

请问哪本书上讲到了二阶逻辑的形式推演。我想学习下。

🧑prolee2008

6

2014-07-31

易字有什么意义？

🧑刘森分解

2

2014-01-24

写一个公式，使得满足它的任何解释的论域里仅有2个元素

🧑魂00魂

1

2014-01-12

问，关于等势的证明问，关于等势的证明

a等势于b的某子集，且b等势于a的某子集，求证a等势于b

🧑a3260366

4

2014-01-07

本人数学系大二，想学哲学和逻辑学

问一下，那啥，大家对哲学或逻辑学有研究吗？哲学和数学哲学有什么关联或区别，逻辑学和数理逻辑呢？另外，我想系统学习哲学，不只是为了数学，也是为了我的人生。有……

🧑残月之殇♥

1

2013-12-25

求大神！！！！！！！

下列推理建立有效性演算 ∀x(Jx→┐Kx)

🧑zzyuni

0

2013-12-02

请各位大神推荐国内有哪些逻辑代数书籍写的比较好

如题比较浅入深出的。。

🧑silverpool7

8

2013-10-28

关于等于

http://tieba.baidu.com/mo/q/checkurl?url=http%3A%2F%2Fzh.m.wikipedia.org%2Fwi……

🧑incemo

2

2020-02-07

问下有一下文献的电子版没？

A.G.Hamilton Logic for Mathematicians Cambridge University Press, 1988 (Revis……

🧑virgo哥

2

2013-09-18

Tukey 引理怎么证明

第6题

🧑伤心邪神

0

2013-09-14

问下问题

集合有定义吗？分离公式：{x属于X/x满足性质P（x）}中的“性质”可以被描述吗？也就是“性质”有定义吗？

🧑z13281732010

1

2013-09-10

求解 x+y=xy 的通解表达式

并给出整数解的条件。

🧑亦民科亦民科

5

2013-09-10

请教一题:三个开关控制一盏灯

有三个开关(不是三极管开关,而是那种几刀几抛的普通开关),怎么控制一盏灯?使不论动哪个开关,都可以控制灯的明灭.也就是说,随便按一个开关,灯由灭变亮,再随……

🧑劳技老师

2

2013-09-05

新人初到，请各位数理逻辑的大神笼罩

吼吼，表示自己想要考武大的数理逻辑系，对于这门学科十分钟爱，可是不知道看一些什么样的书，求大神推荐各种相关的逻辑书籍，小弟不胜感激。。。。最后吐槽一下。。……

🧑Zz0小宇0

0

2013-08-16

求教命题逻辑

逻辑系统中有以下规则 1.公理模式2，推理规则Mp规则，如何判定其和命题逻辑具有相同的定理，即通过该公理模式如何证明命题逻辑的三大公理模式

🧑望断九霄

3

2013-08-01

数理逻辑。。。

逻辑和思维敏捷度是两码事儿，，，人们总是将思维敏捷度高者称为“逻辑敏锐者”，，，，懂鸡毛。。。逻辑是学科，是研究人类理性，人类语言的工具性学科，，，而不……

🧑lotti4

0

2013-07-28

公开课

网上有哪些数理逻辑方面的公开课和比较好的数理逻辑方面的网站？求神赐网址~

🧑z13281732010