dunai2003-优快云博客

转载「离散数学」是一门什么样的学科

写这篇文章的动机是想探讨从离散数学开始入门数理逻辑的路径以及离散数学与数理逻辑之间的关系。以学习数理逻辑为目的学习离散数学，而一般的以学习计算机为目的的学习还是有相当的不同，最大的不同就是：以数理逻辑为目的的学习，应当以「证明」 — — 形式证明为目的，这其中包括了关于形式证明的理论 — — 一阶理论的句法和语义，以及关于形式证明的实践 — — 证明框架和策略。学习的中心内容有两个：「语言」 — — 「一阶语言」；「结构」 — — 数学中关于「结构」的思想、概念、种类、实例以及「结构」和「语言」的关系。

2020-06-27 04:41:18 3609 3

转载十年学会编程

十年学会编程著者： Peter Norvig翻译： Dai Yuwen为何人人都这么着急？信步走进任何一家书店，你会看到名为《如何在7天内学会Java》的书，还有各种各样类似的书：在几天内或几小时内学会Visual Basic, Windows, Internet等等，一眼望不到尽头。我在Amazon上做了如下的强力检索： pubdate: after 1992

2015-01-23 22:46:56 376

原创自然语言中的普通名词语义和编程语言的对象系统

对于普通名词语义的研究，其中一个重要方面是它的指称性（referencingness）。在这方面，大多数文献只关注不定指称和确定指称之类的定指性（definiteness）的含义，例如，‘一个人’与‘这个人’之间的区别。本人认为除了'确定性'这个层面外，普通名词还存在着另外一个很少有人关注的层面：指称性（referencingness）。亦即，物质名词（substantive nouns）...

2014-08-23 07:58:51 204

原创自然语言中的名词语义和编程语言的对象系统

对于名词语义的研究，其中一个重要方面是它的指称性（referencingness）。在这方面，大多数文献只关注不定指称和确定指称之类的定指性（definiteness）的含义，例如，‘一个人’与‘这个人’之间的区别。本人认为除了'确定性'这个层面外，名词还存在着另外一个很少有人关注的层面：指称性（referencingness）。亦即，物质名词（substantive nouns）除了可以

2014-08-23 07:58:35 598

原创利用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 5014

原创关于抽象类和接口之间的区别

抽象类和接口之间的关系网上有许多文章讲解抽象类和接口之间的关系，但大多偏重于特定的语言语法或设计理念，感觉与程序员希望得到的答案有些距离。作为一个开发者，抽象类与接口之间的语法区别只要查看相应的语言手册即可，而设计理念上的区别与实际开发并没有多大关系。抽象类和接口究竟有什么区别？如果我的回答是：1。类可以实现多个接口而只能继承一个超类。2。抽象类可以有非抽象方法而接口的方法只能都是抽象的。3。

2007-01-13 04:49:00 1109

Adaptive Object Model（自适应对象模型英文版）

We have noticed a common architecture in many systems that emphasize flexibility and run-time configuration. In these systems, business rules are stored externally to the program such as in a database or XML files. The object model that the user cares about is part of the database, and the object model of the code is just an interpreter of the users’ object model. We call these systems “Adaptive Object-Models”, because the users’ object model is interpreted at runtime and can be changed with immediate (but controlled) effects on the system interpreting it. The real power in Adaptive Object- Models is that the definition of a domain model and rules for its integrity can be configured by domain experts external to the execution of the program. These systems are important when flexibility and dynamic runtime configuration is needed, but their architectures have yet to be described in detail. This paper describes the Adaptive Object-Model architecture style along with its strengths and weaknesses. It illustrates the Adaptive Object- Model architectural style by outlining examples of production systems.

2010-06-27

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

转载 「离散数学」是一门什么样的学科

转载 十年学会编程

原创 自然语言中的普通名词语义和编程语言的对象系统

原创 自然语言中的名词语义和编程语言的对象系统

原创 利用Iterator模式遍历JavaBean中的属性

原创 关于抽象类和接口之间的区别