| book details |

Präzises Denken für Informatiker

By (author) Karsten Wolf

| on special |

normal price: R 1 062.95

Price: R 955.95

| add to trolley |

| book description |

Das Lehrbuch befasst sich mit dem prÃ¤zisen Denken, einer SchlÃ¼sselkompetenz im Studium der Informatik. Es bildet die Vorstufe fÃ¼r das VerstÃ¤ndnis 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 fÃ¼hrt umfassend in die Aussagenlogik ein und erklÃ¤rt unter anderem die Bedeutungen von logischer Ã„quivalenz, Implikation und Induktion fÃ¼r diesen Fachbereich. DarÃ¼ber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benÃ¶tigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des prÃ¤zisen Denkens erwerben die Studenten die FÃ¤higkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begrÃ¼nden. Viele praxisnahe Aufgaben und LÃ¶sungshinweise innerhalb derKapitel erleichtern die ÃœberprÃ¼fung 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 VerstÃ¤ndnis im Informatik-Studium, sondern sind ebenso fÃ¼r das spÃ¤tere Berufsleben von groÃŸer Bedeutung. DarÃ¼ber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in dieÂ Welt der Informatik und Mathematik und lernen, dass die FÃ¤higkeit zu prÃ¤zisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann.Â