Pr?zises Denken f?r Informatiker【電子書籍】[ Karsten Wolf ]

＜p＞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.＜/p＞ ＜p＞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 derK．．．楽天市場のショップで商品詳細の続きを見る