Przises Denken fr Informatiker

Das Lehrbuch befasst sich mit dem przisen Denken, einer Schlsselkompetenz im Studium der Informatik. Es bildet die Vorstufe fr das Verstndnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor fhrt umfassend in die Aussagenlogik ein und erklrt unter anderem die Bedeutungen von logischer quivalenz, Implikation und Induktion fr diesen Fachbereich. Darber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium bentigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des przisen Denkens erwerben die Studenten die Fhigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begrnden. Viele praxisnahe Aufgaben und Lsungshinweise innerhalb derKapitel erleichtern die berprfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verstndnis im Informatik-Studium, sondern sind ebenso fr das sptere Berufsleben von groer Bedeutung. Darber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die Welt der Informatik und Mathematik und lernen, dass die Fhigkeit zu przisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann.