Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Präzises Denken für Informatiker
Taschenbuch von Karsten Wolf
Sprache: Deutsch

32,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
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. 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 derKapitel 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.
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. 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 derKapitel 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.
Über den Autor
Karsten Wolf studierte (1988-1993), promovierte (1996),
habilitierte sich (2002) und arbeitete mehrere Jahre (1993-2005)
an der Humboldt-Universität zu Berlin. Zwischendurch war er
jeweils 8-12 Monate an der Helsinki University of Technology (1996),
der Technischen Universität Dresden (1997) und der Carnegie Mellon
University Pittsburgh (2000-2001) tätig. Seit 2006 ist er Professor
an der Universität Rostock, zunächst für Theorie der Programmiersprachen
und Programmierung, seit 2014 für Theoretische Informatik.
Karsten Wolf forscht an computergestützten Methoden, deren Ziel es ist,
Fehler in verteilten Informationssystemen zu finden bzw. zu vermeiden.
Im vorliegenden Buch verarbeitet er seine über 20-jährige Erfahrung in
Lehrveranstaltungen für Erstsemester zum Thema "Logik für Informatiker".
Zusammenfassung

Eine unverzichtbare Grundlage für das Verständnis des Informatikstudiums.

Mathematische Logik einfach erklärt.

Die vermittelten Kompetenzen verbessern erheblich das Verständnis im gesamten Informatik-Studium

Mit vielen Aufgaben und Lösungshinweisen.

Includes supplementary material: [...]

Inhaltsverzeichnis
Vorrede.- Erste Bekanntschaft.- Weitere Grundlagen.- Höhere Kunst.- Auf dem Weg zur Meisterschaft.- Wie geht es weiter?.
Details
Erscheinungsjahr: 2017
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: vi
184 S.
56 s/w Illustr.
184 S. 56 Abb.
ISBN-13: 9783662549728
ISBN-10: 3662549727
Sprache: Deutsch
Herstellernummer: 978-3-662-54972-8
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wolf, Karsten
Auflage: 1. Aufl. 2017
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 240 x 168 x 11 mm
Von/Mit: Karsten Wolf
Erscheinungsdatum: 06.12.2017
Gewicht: 0,332 kg
Artikel-ID: 110759826
Über den Autor
Karsten Wolf studierte (1988-1993), promovierte (1996),
habilitierte sich (2002) und arbeitete mehrere Jahre (1993-2005)
an der Humboldt-Universität zu Berlin. Zwischendurch war er
jeweils 8-12 Monate an der Helsinki University of Technology (1996),
der Technischen Universität Dresden (1997) und der Carnegie Mellon
University Pittsburgh (2000-2001) tätig. Seit 2006 ist er Professor
an der Universität Rostock, zunächst für Theorie der Programmiersprachen
und Programmierung, seit 2014 für Theoretische Informatik.
Karsten Wolf forscht an computergestützten Methoden, deren Ziel es ist,
Fehler in verteilten Informationssystemen zu finden bzw. zu vermeiden.
Im vorliegenden Buch verarbeitet er seine über 20-jährige Erfahrung in
Lehrveranstaltungen für Erstsemester zum Thema "Logik für Informatiker".
Zusammenfassung

Eine unverzichtbare Grundlage für das Verständnis des Informatikstudiums.

Mathematische Logik einfach erklärt.

Die vermittelten Kompetenzen verbessern erheblich das Verständnis im gesamten Informatik-Studium

Mit vielen Aufgaben und Lösungshinweisen.

Includes supplementary material: [...]

Inhaltsverzeichnis
Vorrede.- Erste Bekanntschaft.- Weitere Grundlagen.- Höhere Kunst.- Auf dem Weg zur Meisterschaft.- Wie geht es weiter?.
Details
Erscheinungsjahr: 2017
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: vi
184 S.
56 s/w Illustr.
184 S. 56 Abb.
ISBN-13: 9783662549728
ISBN-10: 3662549727
Sprache: Deutsch
Herstellernummer: 978-3-662-54972-8
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wolf, Karsten
Auflage: 1. Aufl. 2017
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 240 x 168 x 11 mm
Von/Mit: Karsten Wolf
Erscheinungsdatum: 06.12.2017
Gewicht: 0,332 kg
Artikel-ID: 110759826
Sicherheitshinweis