Cristopher Moore (Santa Fe Institute)
Computational complexity and phase transitions
10:15 • ETH Zentrum, Rämistrasse 101, Zürich, Building HG, Room G 19.1
Kaibo Hu (University of Oxford)
Finite Element Tensor Calculus
10:15 • ETH Zentrum, Rämistrasse 101, Zürich, Building HG, Room G 43
Alan Reid (Rice University)
Arithmetic groups and their profinite completions
14:15 • ETH Zentrum, Rämistrasse 101, Zürich, Building HG, Room G 43
Andreas F. Müller (Ostschweizer Fachhochschule)
Von der Komplexität, Komplexitätstheorie zu unterrichten abstract
Abstract:
Der Satz von Cook-Levin ist die überraschende Erkenntnis, dass es in der Klasse NP eine Art maximal schwieriges Problem gibt. Die Einsicht, dass gewisse informatische Aufgabenstellungen grundsätzlich nicht gut skalieren, gehört zu den Grundpfeilern der Ausbildung eines Informatikingenieurs. Die Gedankenwelt der logischen Formeln des Satzes von Cook-Levin ist unseren heutigen Studenten jedoch eher fremd. Die Idee des polynomiellen Ausfüllrätsels ermöglicht ein intuitiveres Verständnis der Komplexitätstheorie.
17:15 • ETH Zentrum, Rämistrasse 101, Zürich, Building HG, Room G 19.1
Title T.B.A.
17:15 • ETH Zentrum, Rämistrasse 101, Zürich, Building HG, Room G 43