Mathematical thinking is crucial in all areas of computer science: algorithms, bioinformatics, computer graphics, data science, machine learning, etc. In this course, we will learn the most important tools used in discrete mathematics: induction, recursion ...

The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning toward solving complex problems with predictive models.

Mathematics and computer science give two complementary ways to engage with our modern world. In today’s world, where science and technology shape so much of our lives, mathematics and computer science provide students with the tools to enter exciting ...

The Indian sacred texts of the Vedas have been studied for millennia. But now, for the first time in history, computer scientists in Vienna analyse them by applying the methods of mathematical logic. This gives Sanskritists new insights and can even settle ...