小站介绍

头版头条 ( 全部 )

话题作者回应更新时间
站主,求后续文章 来自 许旻 2022-07-01 08:00
一枚路人的提问, 来自 明域 1 2022-03-12 17:15
说谎者悖论试解请赛义甫老师批评 来自 hanyupinyin 21 2021-12-21 22:54
逻辑学,开源啦!—— 介绍一个逻辑学教科书... 来自 赛义甫 20 2021-12-10 22:34
问题征集:你心目中最理想的数理逻辑教科书应... 来自 赛义甫 13 2021-04-15 03:06
从逻辑上分析应该测不到引力波 来自 hanyupinyin 2021-01-01 07:01
「逻辑专业」小议 来自 赛义甫 2020-07-19 19:50
国内用户可以正常访问Medium吗? 来自 赛义甫 4 2020-07-12 23:21
请关注【世界逻辑日】 来自 赛义甫 2020-01-17 00:14
一点感想 来自 赛义甫 5 2019-12-21 15:38
飞矢不动悖论试解 来自 hanyupinyin 15 2019-12-06 06:19
瞬间的矛盾 来自 hanyupinyin 1 2019-10-28 06:29
芝诺悖论试解 来自 hanyupinyin 2019-08-18 20:07
薛定谔猫实验续 来自 hanyupinyin 2019-02-27 15:29
【书籍资料】栏目新加了【国外优秀教科书拔萃... 来自 赛义甫 2018-12-05 05:24
回答chglyq的问题 来自 赛义甫 2 2018-11-01 18:59
【数理逻辑进阶】准备开辟《证明论》话题 来自 赛义甫 3 2018-10-19 18:49
小站内容一直未更新向各位致歉 来自 赛义甫 3 2018-10-03 13:56
都来谈谈,觉得学了逻辑有什么用吧 来自 李高尚 31 2018-08-21 17:03
刚刚接手本站管理,谢谢小丘 来自 赛义甫 3 2018-08-01 19:00
增添了【逻辑与AI】栏目 来自 赛义甫 2018-06-20 16:25
小站在新的一年里推出的重点内容:GAMUT 来自 赛义甫 6 2018-03-08 09:01
已删除 来自 DSCH-G 7 2018-03-07 11:51
【逻辑和语言】与【逻辑与计算】栏目顺序对调 来自 赛义甫 2018-02-17 18:01
新建立投票站,希望朋友们踊跃投票 来自 赛义甫 1 2018-02-06 17:42
今天终于回来了 来自 赛义甫 2 2017-12-19 18:21
《谓词逻辑:一阶谓词逻辑的语义(一)》又重... 来自 赛义甫 2017-12-14 06:00
【逻辑与计算】栏目增添了[程序员园地]专栏 来自 赛义甫 2017-07-03 02:13
【名师名著】中【王浩】的照片被更新 来自 赛义甫 2017-03-16 19:43
想了解一下有多少人对拿编程语言学习逻辑感兴趣 来自 赛义甫 6 2017-03-08 14:09

逻辑杂谈 ( 全部34条 )

许旻
许旻: 站主,您好!请问《逻辑学到底是什么——历史观(一)》还有后续吗?就是介绍为何用逻辑表述数学的那一部分,在哪里有看? 06-30 08:15
 
赛义甫
赛义甫: "头版头条”论坛恢复。 01-02 05:18
 
赛义甫
赛义甫: 见本栏顶部公告栏 2021-10-09 16:21
 
火星最强指挥官
火星最强指挥官: 记得以前逻辑小站有一个论坛的界面,怎么没了? 2021-10-09 12:21
 
赛义甫
赛义甫: 我的答复发表在【头版头条】中。 2018-08-24 23:54
 
chglyq
chglyq: 老师你好! 我在看 http://ishare.iask.sina.com.cn/f/7648114.html 【计算机科学的逻辑基础】这篇文章,其中第四页标题3下的第一句话: “使用计算机必须编程序,最初,程序是用机器指令编制,人们很快发现机器运行时实际上是对一个形式语言中的公式进行变换,于是开发了各种高级形式语言。” 请教一下老师, 1、如何理解:“机器运行时实际上是对一个形式语言中的公式进行变换”这句话? 2、能否举一个简单的例子说一下? 2018-08-24 11:00
 
[已注销]
[已注销]: 被一个人推荐而来这里,膜拜一下_(:з」∠)_感谢站长的笔记整理 2018-02-15 16:53
 
赛义甫
赛义甫: A thing is a thing not what is said of that thing 2017-09-19 10:24
 
赛义甫
赛义甫: 我们训练机器更灵活、适应模糊、含混和马马虎虎,训练人类更严格、精确和一丝不苟;而这些都离不开逻辑。 2016-09-27 07:35
 
老少女
老少女: 哪位网友能帮我解答吹笛手游行这题?一个吹笛手带着镇上的孩子游行,因为他用笛声吓跑了所有的老鼠,但是政府不给他钱。从下列线索中找出四个孩子的名字、年龄和父亲的职业:1、牧羊者的小孩紧跟在六岁格雷琴后面。2、汉斯要比约翰纳小。3、最前面的孩子后面紧跟的不是屠夫的孩子。4、队列中3号位置小孩7岁。5、玛利亚父亲是药剂师,她比2号位置孩子小。【谁能做出来答案?】谢谢!我真想知道思路! 2013-08-27 21:18
 
>

小站活动日志 ( 全部 )

写了新日记

【符号逻辑】逻辑连接符的意义和转换
大多数逻辑教科书只介绍五种常见逻辑连接符,而我们在上篇笔记看到,如果参加逻辑运算的对象有两个,那么最多可能有十六种运算。下面,我们就来仔细分析一下这十六种运算的具体细节。 首先,在运算种类上,我们可以按照参加运算的运算...

写了新日记

【符号逻辑专题】逻辑连接符
逻辑连接符是我们学习符号逻辑、数理逻辑、形式逻辑和离散数学等相关学科必然遇到的内容,但是大多数教科书都是浅尝辄止,一般是给出常见的五类连接符,然后给出各自的真值表完事。很少有人对逻辑连接符做深入的讨论。这里就准备填补...

写了新日记

【数学基础】集合概念在数学中的应用:代数结构
集合是一种普遍语言,可以描述任何定义清楚的概念,但是一旦将集合概念应用于实际的数学对象,所获得的结果就是一个抽象概念:【结构】 (structure)。结构的概念,本质上是带运算的集合,同时集合中的元素不再是一堆「乌合之众」,而...
3人
逻辑
逻辑学是哲学、数学、语言学和计算机科学的基础。本站将为所有同好提供一个展示、介绍各种逻辑知识以及语义论和相关逻辑语法的平台。欢迎豆友关注。

关注该小站的成员 ( 5548 )

  • 山石
  • 三角函数α
  • Violet
  • 6&T4cG
  • 宴之敖
  • 傻乎乎大熊猫
  • 泽马
  • 墨白

关注该小站的成员也关注

本站 由 李高尚 于2012年03月20日创建