| 書目名稱 | Pr?zises Denken für Informatiker | | 編輯 | Karsten Wolf | | 視頻video | http://file.papertrans.cn/763/762345/762345.mp4 | | 概述 | 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
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2026-1-20 21:16
發(fā)表于 2025-3-21 19:56:56
