Topology

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

• Achim Jung (School of Computer Science)
• Wednesday 20 February 2019, 12:00-14:00
• Learning Centre Room UG06.

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.

This talk is included in these lists:

• Learning Centre Room UG06
• SoCS PhD Research Training Sessions

Note that ex-directory lists are not shown.