元数学对计算机的一些启示

元数学是一门数理逻辑方面的学科 ,其主要研究对象是数学本身的矛盾性问题 .但是 ,由于元数学的研究空间是在一个形式化的体系中 ,因此 ,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示 ,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面 ,还会起到一定的指导作用     

基于Java的Agent技术在网络资源管理中的应用

目前的Agent技术指的是人工智能、分布式处理以及协同计算等前沿计算机技术的综合。得益于计算机网络、人工智能以及面向对象软件方法等各自的发展,而Java作为一种网络时代诞生的具有划时工意义的面向对象编程语言,正适应了Agent的网络化、分布式、代码可移动、平台无关等方面的要求,非常自然的与Agent技术集合了起来。本文着重讨论了基于Java的Agent技术,并且结合具体的开发过程,给出一个在个人系统中的应用实例。     

元数学对计算机的一些启示

元数学是一门数理逻辑方面的学科,其主要研究对象是数学本身的矛盾性问题但是,由于元数学的研究空间是在一个形式化的体系中,因此,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面,还会起到一定的指导作用.