Prazises Denken Fur Informatiker (German, Paperback, 1. Aufl. 2017 ed.)

Das Lehrbuch befasst sich mit dem prazisen Denken, einer Schlusselkompetenz im Studium der Informatik. Es bildet die Vorstufe fur das Verstandnis 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 fuhrt umfassend in die Aussagenlogik ein und erklart unter anderem die Bedeutungen von logischer AEquivalenz, Implikation und Induktion fur diesen Fachbereich. Daruber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benoetigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des prazisen Denkens erwerben die Studenten die Fahigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begrunden. Viele praxisnahe Aufgaben und Loesungshinweise innerhalb der Kapitel erleichtern die UEberprufung 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 Verstandnis im Informatik-Studium, sondern sind ebenso fur das spatere Berufsleben von grosser Bedeutung. Daruber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die Welt der Informatik und Mathematik und lernen, dass die Fahigkeit zu prazisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	December 2017
Authors:	Karsten Wolf
Dimensions:	244 x 170 x 10mm (L x W x T)
Format:	Paperback - Trade
Pages:	184
Edition:	1. Aufl. 2017 ed.
ISBN-13:	978-3-662-54972-8
Languages:	German
Categories:	Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Applications of computing > General Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
LSN:	3-662-54972-7
Barcode:	9783662549728

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!