Publikation: Monographie

Präzises Denken für Informatiker

Grunddaten
Abstract
Autoren
Einrichtung

Grunddaten

Titel	Präzises Denken für Informatiker
Erscheinungsjahr	2017
Verlag	Springer Vieweg
Verlagsort	Berlin; [Heidelberg]
Seitenzahl	184
Serie	Lehrbuch
Publikationsform	Druckschrift
Publikationsart	Monographie
Sprache	Deutsch
ISBN	3-662-54972-7
Letzte Änderung	20.12.2023 13:01:59
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/70696
Links zu Katalogen

Abstract

Informatik und Mathematik gelten als schwierige Studienfächer, die gleich bei Studienaufnahme als Schlüsselkompetenz die Fähigkeit zum präzisen Denken voraussetzen. Der Autor wendet sich vornehmlich an Bachelorstudierende im 1. Semester insbesondere der Informatik und führt sehr anschaulich in das präzise Denken als Fähigkeit, Richtiges zu formulieren ein. Schwerpunkte liegen beim Bilden von Begriffen, bei der missverständnisfreien Formulierung von Aussagen und der zweifelsfreien Begründung ihrer Richtigkeit. Ausführlich eingegangen wird auf die Frage "Was ist ein Beweis?" sowie auf Beweise für All- und Existenzaussagen, induktive Beweise und Nichtexistenzbeweise. Das Buch stützt sich auf informative Abbildungen, Beispiele und Tabellen; viele Aufgaben (mit Lösungshinweisen). Definitionen werden grafisch hervorgehoben. Neuere Literatur zum Thema ist bisher kaum besprochen worden. - Ergänzend empfohlen werden kann O. Deiser, wo allerdings gröere Vorkenntnisse vorausgesetzt werden

Autor

Wolf, Karsten

Einrichtung

IEF/IN/IFI/Theoretische Informatik