Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Neben zentralen Instrumenten der Berechenbarkeit, wie etwa der Gödelisierung von berechenbaren Funktionen und der Existenz universeller berechenbarer Funktionen, stehen unentscheidbare Probleme im Fokus, wie etwa das Halteproblem sowie das Wortproblem für die Term-Ersetzung.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Im Zentrum dieses essentials steht der gefeierte Abzählsatz von Pólya. Darauf aufbauend kann anhand der Operation der jeweiligen Symmetriegruppe auf den gefärbten Figuren die Anzahl der verschiedenen Muster ermittelt werden.