Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Präzises Denken für Informatiker
Langbeschreibung
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.
Inhaltsverzeichnis
Vorrede.- Erste Bekanntschaft.- Weitere Grundlagen.- Höhere Kunst.- Auf dem Weg zur Meisterschaft.- Wie geht es weiter?.
Karsten Wolf studierte (1988-1993), promovierte (1996),
ISBN-13:
9783662549735
Veröffentl:
2017
Seiten:
184
Autor:
Karsten Wolf
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Deutsch
24,99 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.