Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
>
Zeitschriftenliste aufblättern
Katalogdatenanzeige
Katalogdatenanzeige
Präzises Denken für Informatiker
.
Bookmark für diesen Satz setzen
Katalogdatensatz500267951
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500267951
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
ger
Hinweise auf parallele Ausgaben
497329611 Erscheint auch als (Druck-Ausgabe): ‡Wolf, Karsten, 1967 - : Präzises Denken für Informatiker
ISBN
978-3-662-54972-8
Name
Wolf, Karsten
T I T E L
Präzises Denken für Informatiker
Verlagsort
Berlin, Heidelberg
Verlag
Springer Vieweg
Erscheinungsjahr
2017
2017
Umfang
Online-Ressource (VI, 184 S. 56 Abb, online resource)
Reihe
SpringerLink. Bücher
Titelhinweis
Druckausg.ISBN: 978-3-662-54972-8
Erscheint auch als (Druck-Ausgabe): ‡Wolf, Karsten, 1967 - : Präzises Denken für Informatiker
ISBN
ISBN 978-3-662-54973-5
Klassifikation
COM051010
UYA
MAT018000
005.131
QA8.9-QA10.3
ST 120
Kurzbeschreibung
Vorrede -- Erste Bekanntschaft -- Weitere Grundlagen -- Höhere Kunst -- Auf dem Weg zur Meisterschaft -- Wie geht es weiter?.
2. Kurzbeschreibung
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 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. .
1. Schlagwortkette
Informatikstudium
Logik
Kernkompetenz
Logisches Denken
ANZEIGE DER KETTE
Informatikstudium -- Logik -- Kernkompetenz -- Logisches Denken
SWB-Titel-Idn
495982229
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-662-54973-5
Internetseite / Link
Volltext
Siehe auch
Volltext
Siehe auch
Cover
.
ISBD-Anzeige
Katalogdatensatz500267951
.
Kategorien-Anzeige
Katalogdatensatz500267951
.
Verwandte Werke
Katalogdatensatz500267951
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500267951
.
Kataloginformation500267951
Datensatzanfang
.
Kataloginformation500267951
Seitenanfang
.
Titel vormerken
Katalogdatensatz500267951
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach