Mathematisch-logische Grundlagen der Informatik

En savoir plus sur le livre

Mathematische Logik, Boolesche Netze, Expertensysteme, Modallogik, Beweisverfahren, Relationen und Funktionen, Graphentheorie, topologische Betrachtungen, algebraische Strukturen, Rekursivität sowie Fuzzy-Mengen und Fuzzy-Logik werden behandelt. Die Fähigkeit zum formalen Denken ist für Studierende und Wissenschaftler, die mit Computersystemen arbeiten, unerlässlich. Diese Einführung legt den Schwerpunkt auf die Vermittlung der wichtigsten mathematisch-logischen Strukturen und zeigt, wie neue Strukturen durch Kombinationen und Einschränkungen aus einfachen Basisstrukturen entstehen. Anhand von Anwendungsbeispielen wird verdeutlicht, dass die abstrakte Strukturmathematik konkrete Bedeutung für die Informatik hat. Das Vorwort richtet sich primär an Studierende der Informatik, ist jedoch auch für andere Wissenschaftler relevant, deren Forschung durch Computerarbeit geprägt ist. Dies gilt insbesondere für Sozial- und Kognitionswissenschaften, die mit Computermodellen arbeiten. Die Beherrschung der mathematischen Grundlagen ist in diesen neuen Disziplinen ebenso wichtig wie in Physik oder Chemie. Das Buch setzt möglichst wenig Vorwissen voraus; Kenntnisse aus den Grundkursen der Sekundarstufe II sind in der Regel ausreichend. An einigen Stellen werden die Leser an schulische Kenntnisse erinnert.