Das Eindringen der modernen Computertechnik in alle Lebensbereiche verlangtvon immer mehr Menschen tiefergehende Kenntnisse über mathematisch-logischeZusammenhänge. In der vorliegenden kompakten Einführung werden für dieelementaren Sprachen die grundlegenden Ideen, Ergebnisse und Methoden dermathematischen Logik entwickelt. Ausgehend von der Aussagen- und Prädikatenlogiküber Modelltheorie und Entscheidbarkeit bis hin zur Mengenlehre wird derLeser über wichtige Aspekte der mathematischen Logik informiert. DetaillierteBeweise und ausführlich erläuterte Beispiele helfen beim Verständnis dessehr abstrakten Stoffes. Zur besseren Orientierung und für spätere Wiederholungensind wichtige Begriffsbildungen in gerahmten Boxen zusammengefasst. Durchdie Konzentration auf Basiswissen und den Verzicht auf größte Allgemeinheitist das Buch besonders verständlich für den Nicht-Spezialisten Mathematiker,Informatiker, Natur- und Geisteswissenschaftler. Da keine Vorkenntnissevorausgesetzt werden und alle Grundbegriffe in systematischer Weise eingeführtwerden, ist es gleichermaßen für Studenten und Lehramtskandidaten geeignet. Quelle:
|