http:^^www.phil.indiana.edu^~barwise^information.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 52 行

HTML
52 行
字号 
Date: Wed, 20 Nov 1996 19:15:35 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Tue, 28 Nov 1995 19:50:01 GMTContent-length: 1584<html><HEAD><TITLE> Logic of Distributed Systems </TITLE></HEAD><BODY background = "pentag8.gif"><H2> Logic of Distributed Systems </H2><Strong>Description: </Strong> <Blockquote>This project is the current form of a long term effort by Jon Barwiseto come to grips with the relationship between the concept ofinformation and logical notions like inference and proof.  What isinformation?  What is it that makes your screen carry informationabout what is going on at Indiana University? How does this notion ofinformation fit into standard notions of logic and logical system.<p>Over the past year or two, in joint work with Seligman, Barwise hascome to see this problem as one of trying to understand the logicalstructure of distributed systems.  This idea has led to a mathematicalframework containing notions like local logic and information channelwhich seems very promising.   </Blockquote><P><Strong> Associated Faculty: </Strong>  Jon Barwise<P><Strong> Affiliated Projects: </Strong> The project has grown out of work on situation theory, especially withthe STASS Project at CSLI.  Current work is being carried out with DovGabbay at Imperial College, and Jerry Seligman at theNational Chung Cheng University in Taiwan.   Barwise and Seligman arefinishing up a book called <strong> Information Flow in DistributedSystems </strong>. <P><Strong> Support: </Strong> COAS College Professorship Research Funds<p> <!WA0><A HREF="http://www.cs.indiana.edu/research/index.html"><!WA1><IMG SRC="http://www.phil.indiana.edu/~barwise/back.gif"> Return toComputer Science Research Page  </A></body>

http:^^www.phil.indiana.edu^~barwise^information.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.phil.indiana.edu^~barwise^information.html 源码文件，采用 HTML 编程语言编写，共 52 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?