逻辑的公告栏

小站介绍

逻辑杂谈 ( 全部30条 )

赛义甫
赛义甫: 我的答复发表在【头版头条】中。 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
 
李高尚
李高尚: @skim 我不赞同逻辑即理性的观点,非理性同样有非理性的逻辑,我觉得和逻辑最接近的词语是规律。 2013-04-24 16:08
 
skim
skim: 逻辑即理性。 2013-04-23 23:27
 
李高尚
李高尚: @牧笛的翅膀 共勉,加油~ 2012-10-23 12:43
 
[已注销]
[已注销]: @清风丘 咱俩差不多 2012-10-21 22:51
 
>

小站活动日志 ( 全部 )

写了新日记

【数学基础】对「什么是数」问题的再思考(一)
「什么是数?」的问题,对我来说是最难挑战性最大的问题。有过很多思考,但是都很碎片,无法形成一个一贯而统一的思想。而现代「数学分析」标准教科书中对这个问题很少有严肃认真的回答,所谓严格建立实数理论云云实际上是在后人为前...

写了新日记

【逻辑史】读张家龙《数理逻辑发展史——从莱布尼茨到哥德尔》
最近将相当一部分经历放在了代数的学习——欣赏上,故对各种代数系统、包括逻辑代数、关系代数(其实是逻辑代数的发展)以及泛代数,以及抽象代数的一般理论,看了一些书,都是从史开始讲起。特别是作为逻辑代数的一部分关系代数,所...

写了新日记

逻辑运算与集合运算的关系
当我们学习集合时,,会发现许多集合运算是由逻辑运算定义的,反之,谓词逻辑的量词语义需要集合作为工具才能定义。那么,逻辑运算与集合运算到底是什么关系呢? 首先,我们已经知道,逻辑是关于演绎推理形式的学问,这门学问的特点是...

写了新日记

【抽象代数】群的概念(2) —— 模式
【抽象代数】群的概念(2) —— 模式 上一篇,我们从数学的形式侧面初步讨论了群的概念。不过,这种讨论似乎没有涉及到「群」这个概念背后所要表达的思想。例如我们前面只是说,所谓群就是一个集合加上一个运算,运算要满足一些条件和...

写了新日记

【抽象代数】再谈代数结构
本文基本上是我的个人日记文本《从零开始学习线性代数:浅谈代数结构》的修改版。最大的不同在于本文试图将数学结构与数学的逻辑基础相连,因此深度上或有所不同。 代数结构,是通过统一框架进行数学形式化尝试的结果之一。数学形式化...
2人
逻辑
逻辑学是哲学、数学、语言学和计算机科学的基础。本站将为所有同好提供一个展示、介绍各种逻辑知识以及语义论和相关逻辑语法的平台。欢迎豆友关注。

关注该小站的成员 ( 5379 )

  • 张达玮
  • 潇湘素士
  • RZYN
  • 明明如月
  • 蒋文豪
  • apricotvillage
  • 速度超级快水母
  • 芥隐

关注该小站的成员也关注

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