- 博客(6)
- 资源 (1)
- 收藏
- 关注
转载 「离散数学」是一门什么样的学科
写这篇文章的动机是想探讨从离散数学开始入门数理逻辑的路径以及离散数学与数理逻辑之间的关系。以学习数理逻辑为目的学习离散数学,而一般的以学习计算机为目的的学习还是有相当的不同,最大的不同就是:以数理逻辑为目的的学习,应当以「证明」 — — 形式证明为目的,这其中包括了关于形式证明的理论 — — 一阶理论的句法和语义,以及关于形式证明的实践 — — 证明框架和策略。学习的中心内容有两个:「语言」 — — 「 一阶语言」;「结构」 — — 数学中关于「结构」的思想、概念、种类、实例以及「结构」和「语言」的关系。
2020-06-27 04:41:18
3014
2
转载 十年学会编程
十年学会编程著者: Peter Norvig翻译: Dai Yuwen为何人人都这么着急?信步走进任何一家书店,你会看到名为《如何在7天内学会Java》的书,还有各种各样类似的书:在几天内或几小时内学会Visual Basic, Windows, Internet等等,一眼望不到尽头。我在Amazon上做了如下的强力检索: pubdate: after 1992
2015-01-23 22:46:56
339
原创 自然语言中的普通名词语义和编程语言的对象系统
对于普通名词语义的研究,其中一个重要方面是它的指称性(referencingness)。在这方面,大多数文献只关注不定指称和确定指称之类的定指性(definiteness)的含义,例如,‘一个人’与‘这个人’之间的区别。本人认为除了'确定性'这个层面外,普通名词还存在着另外一个很少有人关注的层面:指称性(referencingness)。亦即,物质名词(substantive nouns)...
2014-08-23 07:58:51
176
原创 自然语言中的名词语义和编程语言的对象系统
对于名词语义的研究,其中一个重要方面是它的指称性(referencingness)。在这方面,大多数文献只关注不定指称和确定指称之类的定指性(definiteness)的含义,例如,‘一个人’与‘这个人’之间的区别。本人认为除了'确定性'这个层面外,名词还存在着另外一个很少有人关注的层面:指称性(referencingness)。亦即,物质名词(substantive nouns)除了可以
2014-08-23 07:58:35
524
原创 利用Iterator模式遍历JavaBean中的属性
缘起 (Motivation/intent)JavaScript中可以遍历对象中的属性,但Java却没有这样的语言支持。例如一个普通POJO对象UserBeanpublic class UserBean { private int id; private String name; private Date birthdate; // ge
2012-12-20 06:48:27
4968
原创 关于抽象类和接口之间的区别
抽象类和接口之间的关系网上有许多文章讲解抽象类和接口之间的关系,但大多偏重于特定的语言语法或设计理念,感觉与程序员希望得到的答案有些距离。作为一个开发者,抽象类与接口之间的语法区别只要查看相应的语言手册即可,而设计理念上的区别与实际开发并没有多大关系。抽象类和接口究竟有什么区别?如果我的回答是:1。类可以实现多个接口而只能继承一个超类。2。抽象类可以有非抽象方法而接口的方法只能都是抽象的。3。
2007-01-13 04:49:00
1077
Adaptive Object Model(自适应对象模型英文版)
2010-06-27
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人