In diesem Buch der SMILE-Reihe werden mathematische Grundlagen und deren Beweise für die konkreten Anwendungen im SMILE- Kompaktband dargestellt. Aus diesem Grund ist die inhaltliche Struktur an die des Kompaktbandes ausgerichtet. Logik und Mengenlehre werden im Kapitel 'Grundlagen' erörtert. Sie bilden die Grundlage der Mathematik zum Formulieren theoretischer Aussagen und durchführen zugehöriger Beweise. Im Kapitel 'Wareneingangskontrolle' werden darauf aufbauend die Grundlagen zur Fehlercodeübertragung und -zerlegung präsentiert. Teilen mit Rest beruht auf dem Maximumprinzip natürlicher Zahlen und ist die mathematische Basis dieser Anwendung, aus der per vollständiger Induktion ein Algorithmus zur Binärdarstellung abgeleitet wird. Was eine Charge und ein Split mathematisch sind, wird durch die algebraische Konstruktion sog. freier Monoide über einem Alphabet realisiert. Im Praxisteil wird basierend auf dem Chargen- und Splitalphabet eine injektive Schnittstellenfunktion zwischen Logistik- und ERP-System definiert. Für die 'Kühlguteinlagerung' benötigt man Temperaturen und Vergleichsprüfungen. Aus diesem Grund werden die mathematischen Konzepte der ganzen Zahlen inkl. deren Ordnung und Intervallzugehörigkeit vorgestellt. Äquivalenzrelationen und -klassen spielen nicht nur hier ein Rolle, sondern auch bei der komplexen Einlagerung von Beständen. Zum Sortieren nach Kapazität werden grundlegende Begriffe und Rechenregeln zu sog. Ordnungen eingeführt. Betrachtet man die Kapazitäten möglicher Lagerplätze zur Einlagerung als Tupel, können Umsortierungen mittels Permutationen dargestellt werden. Beispiele zu Sortieralgorithmen sind Bubble-Sort , Insertion-Sort , Merge-Sort und Bucket-Sort. Diese sortieren die erwähnten Tupel auf- oder absteigend, um einen Lagerplatz zur Einlagerung zu bestimmen. Im Kapitel 'Python-GUI-Dialoge mit Tkinter ' wird auf einigen Stammdatendialogen ein Suchfeld eingeblendet, mit dem der Benutzer eingegebene Worte in den angezeigten...