Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion

منطق‌ها، مجموعه‌ها، روابط، توابع، استقراء و بازگشت، مفاهیم و روش‌های ریاضی پایه‌ای هستند که در همه حوزه‌های علوم کامپیوتر برای توصیف مسائل و حل آنها مورد نیاز هستند. تسلط بر این مفاهیم و روش ها پیش نیاز مطالعه تقریباً همه ماژول های علوم کامپیوتر دیگر است، نه تنها در زمینه های ریاضیات و علوم کامپیوتر نظری، بلکه در زمینه های علوم کامپیوتر عملی مانند برنامه نویسی، ساختار داده ها، الگوریتم ها و پایگاه های داده. کتاب اصطلاحات اساسی، خواص و کاربردهای احتمالی آنها را مرحله به مرحله معرفی می کند. درک اصطلاحات و ارتباط و تعامل آنها از جمله با اهداف یادگیری، تمرینات یکپارچه با راه حل های نمونه و حاشیه ها پشتیبانی می شود. کتاب برای خودآموزی مناسب است

Logiken, Mengen, Relationen, Funktionen, Induktion und Rekursion sind grundlegende mathematische Konzepte und Methoden, die in allen Bereichen der Informatik für die Beschreibung von Problemen und deren Lösung benötigt werden. Das Beherrschen dieser Konzepte und Methoden ist Voraussetzung für das Studium fast aller weiteren Informatik-Module, nicht nur in Bereichen der Mathematik und der Theoretischen Informatik, sondern auch in Bereichen der Praktischen Informatik, wie z.B. Programmierung, Datenstrukturen, Algorithmen und Datenbanken. Das Buch stellt die grundlegenden Begriffe, ihre Eigenschaften und Anwendungsmöglichkeiten schrittweise vor. Das Verständnis der Begriffe und deren Zusammenhang und Zusammenwirken wird u.a. durch Lernziele, integrierte Übungsaufgaben mit Musterlösungen und Marginalien unterstützt; das Buch ist zum Selbststudium geeignet. ​