LEADER 03831nam  22005175  450 
001 9910484276203321
005 20200711021212.0
010   $a3-662-54973-5
024 7 $a10.1007/978-3-662-54973-5
035   $a(CKB)4340000000223852
035   $a(DE-He213)978-3-662-54973-5
035   $a(PPN)22124803X
035   $a(EXLCZ)994340000000223852
100   $a20171127d2017      u|         0
101 0 $ager
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPräzises Denken für Informatiker /$fvon Karsten Wolf
205   $a1st ed. 2017.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer Vieweg,$d2017.
215   $a1 online resource (VI, 184 S. 56 Abb.) 
311   $a3-662-54972-7 
327   $aVorrede -- Erste Bekanntschaft -- Weitere Grundlagen -- Höhere Kunst -- Auf dem Weg zur Meisterschaft -- Wie geht es weiter?.
330   $aDas 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 der Kapitel 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. .
606   $aMathematical logic
606   $aAlgorithms
606   $aComputer science?Mathematics
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
615  0$aMathematical logic.
615  0$aAlgorithms.
615  0$aComputer science?Mathematics.
615 14$aMathematical Logic and Formal Languages.
615 24$aMathematical Logic and Foundations.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aSymbolic and Algebraic Manipulation.
676   $a005.131
700   $aWolf$b Karsten$4aut$4http://id.loc.gov/vocabulary/relators/aut$01228422
906   $aBOOK
912   $a9910484276203321
996   $aPräzises Denken für Informatiker$92851833
997   $aUNINA