A team of mathematicians based in Vienna is developing tools to extend the scope of general relativity.

This course covers elementary discrete mathematics for science and engineering, with a focus on mathematical tools and proof techniques useful in computer science. Topics include logical notation, sets, relations, elementary graph theory, state machines and…