软件
geneculture
《融智学导论》作者
目录(修订版)
第一章 绪论:言本位转向(普通语言学基础)
第二章 综述:汉语形式化(形式信息学基础)
第三章 方法:间接形式化(工程融智学基础)
第四章 结果:孪生图灵机(狭义融智学基础)
第五章 结论:第三类脑智(理论融智学基础)
第六章 议论:入门和提高(应用融智学基础)
展开
-
麻省:计算机科学及编程导论——让学生培养计算式思维能力,并通过编程实现一些实用目的
http://edu.sina.com.cn/video/open/MITocw6.00IntroductiontoComputerScienceandProgramming.html格里姆森教授Prof. Eric Grimson,为MIT的计算机系主任。转载 2011-09-06 06:02:27 · 1468 阅读 · 0 评论 -
Indirect Computing Model with Indirect Formal Method
SOFTWARE(Published monthly since 1979)Vol.32 No.5 May 2011ISSN 1003-6970 CN12-1151/TPExperts ForumIndirect Computing Model with Indirect Formal Method……………………… ZOU Xiaohui, ZOU Shunpeng原创 2011-09-01 08:50:37 · 1005 阅读 · 0 评论 -
Collaborative Intelligent Computing System:Theoretical Model with Its Application
SOFTWARE(Published monthly since 1979)Vol.32 No.6 June 2011ISSN 1003-6970 CN12-1151/TPExperts ForumCollaborative Intelligent Computing System:Theoretical Model with Its Application………………原创 2011-10-04 15:25:45 · 1173 阅读 · 0 评论 -
Virtual Twin Turing Machine: Bilingual Information Processing as an Example
SOFTWARE(Published monthly since 1979)Vol.32 No.8 Aug.2011ISSN 1003-6970 CN12-1151/TPExperts Forum Virtual Twin Turing Machine: Bilingual Information Processing as an ExampleZOU原创 2011-11-08 05:14:52 · 1206 阅读 · 0 评论 -
《集万千智慧于一身的广义双语信息处理技术系统》
《集万千智慧于一身的广义双语信息处理技术系统》作者:邹晓辉Geneculture利用全球现有的云计算网络建构集万千智慧于一身的广义双语系统旨在帮您更好地优选各类专家的方略来解决自己的实际问题广泛深入地洞悉各类专家系统怎样改变您的生活方式 注:旨在让您采用云端的广义双语信息处理协同智能计算系统,为您赢得更多的发展机会,助您塑造更强的综合能力,帮您协调各类愿望的矛盾,在协同智能原创 2012-03-29 08:08:09 · 813 阅读 · 0 评论 -
邹晓辉公开提出自然语言理解的形式化双重路径与第六代编程语言及其三类双语协同计算平台
图1 强调自然语言理解的形式化双重路径是建立在具有异曲同工之妙的直接和间接两条形式化路径的基础之上的图2 请注意六代编程语言发展的六个特征凸显了第五代和第六代务必结合方可形成协同智能计算系统的开发平台回顾图灵奖(Turing Award)获得者们的贡献,可以发现:.... http://blog.sciencenet.cn/blog-94143-589630.html原创 2012-07-07 04:19:26 · 4768 阅读 · 0 评论 -
回顾2006编辑的人工智能科学,现在已有更新充实(2012-06-25 22:12:29)
人工智能科学——普及、探讨和提高(邹晓辉编英文资料来源AAAI[2])目 录00 人工智能(哲学篇)01 人工智能(科学篇:总论)02 人工智能(历史篇)03 人工智能(科学篇:专论)04 人工智能(科学篇:各论)05 人工智能(科学篇:概论)06 人工智能(教学篇)07 人工智能(文献)转载 2012-06-25 22:16:05 · 1311 阅读 · 0 评论 -
标读“逻辑编程语言(Programming in Logic)”
Prolog(Programming in Logic的缩写)是一种逻辑编程语言。它建立在逻辑学理论基础之上,最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序,因为它的编程方法更象是使用逻辑的语言来描述程序。历史 Prolog原创 2012-06-26 21:21:43 · 898 阅读 · 0 评论 -
计算机软件之母
所谓计算机软件之母,其实是创造第一个现代编译程序的妇女,她同时也是商用计算机编程语言的发明人。 附录:葛丽丝·穆雷·霍普(英语:Grace Murray Hopper,1906年12月9日-1992年1月1日),女,本姓穆雷(Murray),霍普(Hopper)为夫姓。美国海军准将及计算机科学家,世界最早一批的程序设计师之一。她创造了现代第一个编译程序A-0系统,以及商用计算机程序原创 2012-06-26 17:17:48 · 2424 阅读 · 0 评论 -
标读“链表处理语言(LISt Processor)”
链表处理语言 LISP语言(全名LISt Processor,即链表处理语言),由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。 约翰·麦卡锡于2011年10月24日因病逝世于美国,享年84岁。 LISP有很多种方言,各个实现中的语言不完全一样。各种LISP方言的长处在于操作符号性的数据和复杂的数据结构。1980年代Guy L. Steele编写原创 2012-06-26 20:57:20 · 875 阅读 · 0 评论 -
The Uniqueness of Software Engineering: The Dual Formalizations
SOFTWARE(Published monthly since 1979)Vol.32 No.7 Jul.2011ISSN 1003-6970 CN12-1151/TPExperts ForumThe Uniqueness of Software Engineering: The Dual Formalizations ……………………… ZOU Xiaohui, ZOU原创 2011-11-08 05:30:59 · 1153 阅读 · 0 评论 -
“第三脑智”与“自然语言理解”【邹星智融QQ:949309225】
ZouXiaohui 6:51:59邹星智融的QQ空间(学术和爱好)http://949309225.qzone.qq.com学术信息:让同行分享,尤其是让师生们;爱好信息:让同好分享,尤其是让网友们。http://user.qzone.qq.com/9493092原创 2011-10-10 07:09:51 · 1331 阅读 · 1 评论 -
软件工程基本路径的拓展,为何可带来软件产业的重新洗牌?
说明:以下就是我昨天报告正文部分的三组图解。 http://blog.sina.com.cn/s/blog_65197d930100uxrc.html原创 2011-10-16 15:34:22 · 808 阅读 · 0 评论 -
37所国家示范性软件学院
37所国家示范性软件学院1 北京大学 软件与微电子学院 School of Softwa转载 2011-09-06 18:57:47 · 7267 阅读 · 0 评论 -
揭示自然语言数字化的两条路径(前者是美国人开辟的;后者是本人中国人开辟的)
过去和现在流行的做法就是美国人开辟的自然语言数字化的第一条路径,其特点是数字计算机人机交互的过程在本质上是就低(机器语言)不就高(日常语言),其理由就是因为后者存在多义性而计算机不能直接处理这种多义造成的歧义性难题;而本人即中国人开辟的自然语言数字化的第二条路径,其特点是不在低(原创 2011-09-11 19:57:33 · 901 阅读 · 0 评论 -
私人公司并购凭什么就可改变未来国际软件市场竞争格局?
谷歌兼并摩托罗拉预示着什么?附录1惠普收购鳌头糯米又预示什么?附录2微软收购思凯普也很耐人寻味!附录3这三件事情对未来通信软件市场竞争格局的改变具有非常特殊的意义。 附录1:1.Google and Moto: google与mo原创 2011-08-24 18:30:56 · 1381 阅读 · 0 评论 -
软件工程(Software Engineering)作为一级学科的内在建制
软件工程(Software Engineering)作为一级学科的内在建制原创 2011-10-12 15:01:09 · 643 阅读 · 0 评论 -
(协同智能计算系统)软件≥程序+ 界面
软件工程(Software Engineering)作为一级学科的软件理论知识和学术基础研究(协同智能计算系统)软件≥程序+ 界面(协同智能计算系统)程序≥算法+ 数据结构(协同智能计算系统)界面≥知识本体+ 对象from:中国知网:邹晓辉-协同智能计算系原创 2011-10-12 15:03:17 · 1452 阅读 · 0 评论 -
从甲乙丙的关系看自然语言理解的“第二路径”
http://blog.sina.com.cn/s/blog_65197d930100uwa5.html http://blog.sciencenet.cn/home.php?mod=space&uid=94143&do=blog&id=496708原创 2011-10-14 15:51:03 · 796 阅读 · 0 评论 -
0835软件工程(Software Engineering)作为一级学科的外在建制已经确立,其内在建制还缺什么?
from:http://wenku.baidu.com/view/f3dcb003bed5b9f3f90f1ccc.htmlfrom: http://blog.sciencenet.cn/home.php?mod=space&uid=94143&do=blog&id=原创 2011-10-12 14:15:52 · 4861 阅读 · 1 评论 -
学术报告会: 软件工程学科发展与创新研究
时间:本周六(10月15日)2:00~6:00目的:了解软件工程学科及其发展,更好地把握职场空间定位;了解形式化方法研究的价值,拓展创新思维能力 报告1:(2小时)“第三脑智”与“自然语言理解”—如何在软件工程领域开展间接形式化教育?报告人: 邹晓辉原创 2011-10-14 13:09:50 · 4210 阅读 · 0 评论 -
Computer Science
Computer Science CS 01 Computer fundamentalsCS 02 Intro to SoftwareCS 03 Programming in COBOLCS 04 Data Structure with C and PascalCS 05 Elements of System Analysis & DesignC转载 2012-07-02 13:46:54 · 673 阅读 · 0 评论