Derzeit nicht verfügbar
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Optischer Zustand
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 Dieses Produkt haben wir gerade leider nicht auf Lager.
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Technische Daten
Erscheinungsdatum
06.12.2017
Sprache
Deutsch
EAN
9783662549728
Herausgeber
Springer Berlin
Sonderedition
Nein
Autor
Karsten Wolf
Seitenanzahl
184
Auflage
1. Auflage 2017
Einbandart
Taschenbuch
Autorenporträt
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 erjeweils 8-12 Monate an der Helsinki University of Technology (1996),der Technischen Universität Dresden (1997) und der Carnegie MellonUniversity Pittsburgh (2000-2001) tätig. Seit 2006 ist er Professoran der Universität Rostock, zunächst für Theorie der Programmiersprachenund 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 inLehrveranstaltungen für Erstsemester zum Thema "Logik für Informatiker".
Schlagwörter
Aussagenlogik Informatik, Aussagenlogik wenn dann, logische Äquivalenz, Implikation Informatik, grundlegende Beweisstrategien, Mathematik für Informatiker, mathematische Logik lernen, logische Grundfunktionen Informatik, logisches Denken Informatik, Beweis Mathematik Definition, Grundlagen Informatik, Präzision Informatik, Boolesche Algebra Informatik, Induktion Informatik, Beweismuster Informatik, algorithm analysis and problem complexity
Thema-Inhalt
UYA - Theoretische Informatik
PBCD - Mathematik: Logik
PBC - Mathematische Grundlagen
UMB - Algorithmen und Datenstrukturen
UYAM - Mathematik für Informatiker
Höhe
240 mm
Breite
16.8 cm
Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH
-.-
Leider noch keine Bewertungen
Leider noch keine Bewertungen
Sicher bei rebuy kaufen
Schreib die erste Bewertung für dieses Produkt!
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!
Sicher bei rebuy kaufen