Ich bin auf der Suche nach einem kurzen Einführungstext zu Algorithmen mit einem hohen Verhältnis vonEs sollte am Anfang beginnen, dann aber schnell voranschreiten, ohne zu viel Zeit mit Beispielen aus der Praxis, Beweistechniken usw. zu verbringen. Als wissenschaftlicher Mathematiker habe ich einen soliden mathematischen Hintergrund, den ich gerne zum Verständnis von Formalismen und kondensierten Beweisen einsetze .
Gibt es solche Texte? Irgendwelche Empfehlungen?