University of Birmingham > Talks@bham > SoCS PhD Research Training Sessions > Topology


Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Fatma Faruq.

Mathematicians conceive everything as sets, even the real line. As a set, the real line is just an unordered collections of real numbers whereas our intuitive understanding arranges these as a “continuum”. Topology is a way of turning sets into spaces. It allows us to talk about continuity of functions, limit processes, and concepts such as compactness and connectedness.

In this lecture I will present some of the basic notions from topology and illustrate its expressive power.

For a long time it was thought that topology had no role to play in computer science since computers deal with discrete (usually finite) structures. This is not so, however. I will give two examples. One is the recognition and classification of manifolds (but I am not a practitioner in this field) and the other is from the semantics of programming languages.

This talk is part of the SoCS PhD Research Training Sessions series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.