2011年11月20日

摘要: 今天在中大看了两场皮影戏,是第十一届广东省艺术节的演出之一。在广州待了也有六七年了,竟是头一回听说这个节。不知道其他省有没有这样的节。 广东素有文化沙漠之称。不过看完皮影戏,发现广东民间文化保留得还是不错的。之前早就看到了皮影戏要在中大演出的预告,但一直找不到卖票的地方。今天才发现原来是免票入场的。 阅读全文

posted @ 2011-11-20 18:57 ilogic 阅读(164) 评论(0) 推荐(0) 编辑

2011年3月29日

摘要: 在条件句逻辑中有如下的推理规则:(RCEA) $\dfrac{A\leftrightarrow B}{(A>C)\leftrightarrow (B>C)}$即,条件句的前件可以进行等价置换而保持条件句真值不变。这是等价置换规则在条件句逻辑中的具体化。一般的,两个逻辑等价的公式可以保真地在任何语境下... 阅读全文

posted @ 2011-03-29 15:39 ilogic 阅读(1040) 评论(0) 推荐(0) 编辑

2011年3月28日

摘要: LaTeX 虽然在公式编辑上远胜任于 Office,但对于作图,初学者可能会觉得门槛较高而对 LaTeX 产生畏难情绪。不过,如果掌握了恰当的工具,LaTeX 下的作图仍然很方便且优于 Office。 利用命令绘图利用命令可以精准控制图形的形状和位置,对于结构性较强的图形,利用命令画图比手工绘图更值得推荐。LaTeX 本身有一些命令可以绘制简单的图形,但绘制复杂图形则需要使用一些宏包,其中常用的宏... 阅读全文

posted @ 2011-03-28 22:43 ilogic 阅读(6603) 评论(1) 推荐(0) 编辑

摘要: 与黄繁讨论,他给出了一个用两个开关控制一盏灯的电路图,这种电路经常用于楼梯设计,可以实现如下效果:上楼时按开关 A,灯亮,上完楼按开关 B,灯灭。第二个人再上楼按开关 A,灯亮,上完楼按开关 B,灯灭。下楼也一样。受经典电路图局限,我认为如果只用两个开关,或每个开关只有两个状态,那么不可能实现这个效... 阅读全文

posted @ 2011-03-28 18:16 ilogic 阅读(429) 评论(0) 推荐(0) 编辑

2011年3月12日

摘要: SOMP 是 Study on Mobile Phone 的缩写,这是个一个3-5年的长期计划。 目标:建成一个手机上的综合学习平台,并针对逻辑学专业提供足够的学习内容。 定位:以大学生为主,以后可扩展至中小学生。 依托系统:以 Android 为主,以后可向 iphone 等其他平台移植。 功能描 阅读全文

posted @ 2011-03-12 20:51 ilogic 阅读(666) 评论(0) 推荐(0) 编辑

2011年3月10日

摘要: 现有的博弈论区分两类博弈:完全信息和不完全信息。在不完全信息博弈中,一方可能不知道另一方的偏好或收益函数。然而,还有一种情况是,一方对另一方的偏好或收益函数存在误解或错误认知。例如,错误假定对方和自己一样都想要更多钱,实际上对方更看重的可能是名而不是钱,这样就造成不必要的冲突和竞争。当博弈双方的偏好处在不同维度时,完全可以实现共赢。我将此类博弈称为不正确信息博弈。如何通过反复博弈从不正确信息博弈走... 阅读全文

posted @ 2011-03-10 11:53 ilogic 阅读(186) 评论(0) 推荐(0) 编辑

2011年3月6日

摘要: 随着智能手机的普及,在手机上使用软件以提高工作效率的软件越来越多,其中包括一些教育方面的软件。不过现有的教育软件大多是面向中小学的。是不是可以把大学的一些课程也做成手机软件的形式,从而让学生能随时随地的学习和复习课堂上的内容呢?特别的,可以通过网络建立学生与老师之间的更即时的互动,从而提高教学效果。换言之,把网络课堂变成手机课堂,把微博这种形式引入到教学系统,我认为这是个不错的主意。 阅读全文

posted @ 2011-03-06 15:55 ilogic 阅读(447) 评论(0) 推荐(0) 编辑

2011年3月2日

摘要: 真相在这个信息过剩的时代显得尤其珍贵。如何在众多信息中沙里淘金,区分出真信息和假信息成为一个非常迫切而现实的问题。特别的,当政府为了政治需要而掩盖真相甚至制造假象时,去伪存真就显得弥足可贵。逻辑在这个问题上或许可以有所作为。 众所周知,逻辑研究的核心问题是推理的有效性,而有效的推理有一个重要特征就是 阅读全文

posted @ 2011-03-02 19:08 ilogic 阅读(266) 评论(0) 推荐(0) 编辑

2011年2月25日

摘要: 从 Journal of Applied Logic 的编委会名单可以大致了解逻辑的应用领域和分支有哪些。这大概是我见过最长的编委会名单了,也是我见过的分类最细的编委会名单。大概也只有 Gabbay 这样的大牛才能聚齐这么多人。从这个名单来看,逻辑仿佛成了一个相当宏伟的领域和事业。逻辑的应用范围从数 阅读全文

posted @ 2011-02-25 23:59 ilogic 阅读(815) 评论(0) 推荐(0) 编辑

2011年1月4日

摘要: 利用出差路上的闲暇看完《怪诞心理学》,其中很多研究似乎和心理学无关,也很难归属于任何正经八百的学术领域。乍一看完全是旁门左道,属于搞笑诺贝尔奖范围的研究。如果科学研究都是这么有趣,那当一名科学家还是值得毕生追求的一件事。 看美女是绝大多数男人的喜好之一,我也不例外。早在高中时代我就加入了班里著名的“ 阅读全文

posted @ 2011-01-04 01:04 ilogic 阅读(202) 评论(0) 推荐(0) 编辑