| 书目名称 | Präzises Denken für Informatiker | | 编辑 | Karsten Wolf | | 视频video | | | 概述 | Eine unverzichtbare Grundlage für das Verständnis des Informatikstudiums..Mathematische Logik einfach erklärt..Die vermittelten Kompetenzen verbessern erheblich das Verständnis im gesamten Informatik- | | 图书封面 |  | | 描述 | .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 Lo | | 出版日期 | Textbook 2017 | | 关键词 | Aussagenlogik Informatik; Aussagenlogik wenn dann; logische Äquivalenz; Implikation Informatik; grundleg | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-662-54973-5 | | isbn_softcover | 978-3-662-54972-8 | | isbn_ebook | 978-3-662-54973-5 | | copyright | Springer-Verlag GmbH Deutschland 2017 |
The information of publication is updating
|
|
发表于 2025-3-21 19:56:56
