3 Review(s)

Das Lehrbuch befasst sich mit dem praezisen Denken, einer Schluesselkompetenz im Studium der Informatik. Es bildet die Vorstufe fuer das Verstaendnis 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 fuehrt umfassend in die Aussagenlogik ein und erklaert unter anderem die Bedeutungen von logischer AEquivalenz, Implikation und Induktion fuer diesen Fachbereich. Darueber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benoetigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des praezisen Denkens erwerben die Studenten die Faehigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begruenden. Viele praxisnahe Aufgaben und Loesungshinweise innerhalb derKapitel erleichtern die UEberpruefung 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 Verstaendnis im Informatik-Studium, sondern sind ebenso fuer das spaetere Berufsleben von grosser Bedeutung. Darueber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die Welt der Informatik und Mathematik und lernen, dass die Faehigkeit zu praezisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann.