逻辑理论家是问题解决计算机模拟程序。美国认知心理学家纽厄尔、J.C.肖和H.A.西蒙1956年编制。该程序模拟人证明符号逻辑定理的思维活动,并成功地证明了一些数学定理。
理论家喜欢概念和模型,能看到全局的全貌,能感觉到智力的伸展,结构和清晰的目标和思想的逻辑表达。
Theorists like concepts and models, to see the overall picture, to feel intellectually stretched, structure and clear objectives and a logical presentation of ideas.
一些理论家指出网络文学有着后现代文化的逻辑背景,当下网络文学的姿态正是后现代文化姿态的表现。
Some theorists refer to that the net-literature have logical background of post-modern culture, at present, the attitude of net-literature is the show of post-modern culture.
应用推荐