An error occurred while loading the video player, or it takes a long time to initialize. You can try clearing your browser cache. Please try again later and contact the helpdesk if the problem persists.
In allen Anwendungen in der Informatik steckt eine große Portion Mathematik. Insbesondere basieren viele Algorithmen, die uns täglich helfen (zum Beispiel Googles Suchalgorithmen oder Routenfindung bei Navigationssytemen) auf cleveren mathematischen Einsichten.
In diesem Kurs wird die Sprache der modernen Mathematik vorgestellt. In der ersten Woche werden wir dazu die grundlegenden Bausteine einführen; dabei wird es um Quantoren und Junktoren, sowie Formalisierungen und Spezifikationen gehen. In der zweiten Woche werden wir diese Themen anhand ausgewählter Beispiele (zum Beispiel Logarithmengesetze und Landau-Notation) anwenden.
Für diesen Kurs ist kein akademisches Vorwissen aus der Mathematik nötig.
Idioma: Deutsch
Información del curso
In allen Anwendungen in der Informatik steckt eine große Portion Mathematik. Insbesondere basieren viele Algorithmen, die uns täglich helfen (zum Beispiel Googles Suchalgorithmen oder Routenfindung bei Navigationssytemen) auf cleveren mathematischen Einsichten.
In diesem Kurs wird die Sprache der modernen Mathematik vorgestellt. In der ersten Woche werden wir dazu die grundlegenden Bausteine einführen; dabei wird es um Quantoren und Junktoren, sowie Formalisierungen und Spezifikationen gehen. In der zweiten Woche werden wir diese Themen anhand ausgewählter Beispiele (zum Beispiel Logarithmengesetze und Landau-Notation) anwenden.
Für diesen Kurs ist kein akademisches Vorwissen aus der Mathematik nötig.
Contenido del curso
Woche 1:
Aussagen- und Prädikatenlogik, sowie Graphen.Woche 2:
Münzwiegen, kürzeste Pfade und PageRank.Abschlussprüfung
I like, I wish
Reactivar este curso
Puede acceder a todos los trabajos evaluados y obtener un certificado de estudios con la opción de reactivación del curso. Obtenga más información o
Matricularme en este curso
Learners
Requisitos para el certificado
- Obtenga un certificado de estudios al obtener más del 50% del número máximo de puntos de todos los trabajos evaluados.
- Obtenga una confirmación de participación al completar al menos el 50% del material del curso.
Para saber más, consulte la guía de certificados.
Curso impartido por
Timo Kötzing is postdoctoral researcher at the Algorithm Engineering group of the Hasso Plattner Institute (HPI). His research concerns the theory and application of randomized search heuristics, in particular evolutionary computation and swarm intelligence. He received his PhD in computer science from the University of Delaware, USA, in 2009 and was afterwards a research scientist at the Max Planck Institute for Informatics and at the University of Jena. Since June 2015 he works at the HPI.
Pascal Lenzner is postdoctoral researcher at the Algorithm Engineering group of the Hasso Plattner Institute (HPI). His research focuses on the intersection of graph algorithms, networks and algorithmic game theory. After studies at the University of Jena and ETH Zurich, Switzerland, he received his PhD in computer science from Humboldt-University Berlin in 2014. Before joining HPI in October 2015, he worked as research scientist at the University of Jena.
Thomas Bläsius is postdoctoral researcher at the Algorithm Engineering group of the Hasso Plattner Institute (HPI), with his research centering around graph algorithms. Starting in 2006, he studied computer science at the Karlsruhe Institute of Technology (KIT), finishing in 2011 with a diploma. Afterwards, he did his PhD in computer science (also at the KIT), finishing in 2015. Since then, he is at his current position at the HPI.
Karen Seidel ist Doktorandin am Algorithm Engineering Lehrstuhl des Hasso-Plattner-Instituts (HPI). In ihrer Forschung im Bereich künstliche Intelligenz beschäftigt sie sich mit der Modellierung von Lernprozessen mittels Automaten und Turing-Maschinen. 2010 schloss sie ihr Mathematikstudium an der Universität Bonn ab, um anschließend in mathematischer Logik und kognitiver Mathematik an den Universitäten Münster, Osnabrück und Köln zu forschen. Sie verfügt über ein breites Spektrum pädagogischer Erfahrung und arbeitet seit April 2017 am HPI.