Mehrdad Maleki: Introduction to information systems

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 24 August 2016, 17:00 hrs

Room: S17#04-05, Department of Mathematics, NUS

Speaker: Mehrdad Maleki

Title: Introduction to information systems


Information systems are another approach to domain theory which was
introduced by Dana Scott in 1982. Information systems give
information about possible elements of domains by means of some kind
of logical systems. Although Scott shows that information systems and
algebraic domains are equivalent, so it seems information systems give
no new information about domains, however, the former approach is more
constructive. In this talk, we will introduce information systems and
show information systems are a kind of observable properties of
domains. At the end application of information systems in Computer
Science will be introduced.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.