Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Mathematisch-logische Grundlagen der Informatik - Jürgen Klüver, Christina Stoica, Jörn Schmidt

Mathematisch-logische Grundlagen der Informatik

Buch | Softcover
VIII, 336 Seiten
2006 | 1., Aufl.
w3l (Verlag)
978-3-937137-13-1 (ISBN)
CHF 27,85 inkl. MwSt
zur Neuauflage
  • Titel erscheint in neuer Auflage
  • Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Die Fähigkeit zum formalen Denken benötigen alle Studierende und alle Wissenschaftler, die mit Computersystemen arbeiten. Da Mathematik und Logik reine Strukturwissenschaften sind, wird auch in dieser Einführung der Schwerpunkt auf die Vermittlung der wichtigsten mathematisch-logischen Strukturen gelegt. Bei diesen Darstellungen wird gezeigt, wie aus einfachen Basisstrukturen durch Kombinationen und Einschränkungen neue Strukturen erzeugt werden. Gleichzeitig wird durch Anwendungsbeispiele demonstriert, dass die Gebiete der abstrakten Strukturmathematik teilweise eine sehr konkrete Bedeutung für die Informatik haben.
Diese Einführung in die mathematisch-logischen Grundlagen der Informatik wendet sich primär an Studierende der Informatik in Haupt- und Nebenfächern. Allerdings braucht jeder andere Wissenschaftler, dessen Forschungen durch Arbeiten mit dem Computer determiniert sind, die Fähigkeit des formalen Denkens. Dies gilt auch für die noch relativ neuen Gebiete der Sozial- und Kognitionswissenschaften, soweit diese mit Computermodellen arbeiten. Auch an diese Gruppe wendet sich diese Einführung. In diesen neuen Gebieten ist die Beherrschung der hier thematisierten mathematischen Grundlagen genauso unerlässlich wie in der Physik oder Chemie die Kenntnis der mathematischen Verfahren aus Analysis und linearer Algebra. Dieses Buch versucht, möglichst wenig Kenntnisse vorauszusetzen. Sie werden mit Mathematikkenntnissen, die Sie in den Grundkursen der Sekundarstufe II erworben haben, in aller Regel auskommen. An einigen wichtigen Stellen werden wir Sie an die Kenntnisse aus der Schule erinnern...

Jürgen Klüver, Jörn Schmidt und Christina Stoica arbeiten gemeinsam im Forschungsprojekt "Computerbasierte Analyse sozialer und kognitiver Komplexität" (www.cobasc.de). Jürgen Klüver ist Professor für Informationstechnologien und Bildungsprozesse, Jörn Schmidt ist Akademischer Oberrat, Christina Stoica ist Privatdozentin für Informatik und Mitglied des ICB, alle in Essen.

Mathematische Logik
Boolesche Netze&Expertensysteme
Modallogik
Beweisverfahren
Relationen&Funktionen
Einführung in die Graphentheorie
Topologische Zwischenbetrachtung
Algebraische Strukturen
Rekursivität
Fuzzy-Mengen&Fuzzy-Logik
78 Abbildungen

Reihe/Serie Mathematik lernen, die Grundlagen, für die Praxis, Schritt für Schritt
Sprache deutsch
Maße 148 x 210 mm
Gewicht 467 g
Einbandart Paperback
Themenwelt Mathematik / Informatik Mathematik
Schlagworte Algebra • Beweistechnik • Graphentheorie • Hardcover, Softcover / Mathematik/Grundlagen • HC/Mathematik/Grundlagen • Informatik; Grundwissen • Komplexitätstheorie • Mathematische Logik • Mengentheorie • Programmiersprache • Topologie
ISBN-10 3-937137-13-0 / 3937137130
ISBN-13 978-3-937137-13-1 / 9783937137131
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Von Logik und Mengenlehre bis Zahlen, Algebra, Graphen und …

von Bernd Baumgarten

Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
CHF 104,90
Analysis und Lineare Algebra mit Querverbindungen

von Tilo Arens; Rolf Busam; Frank Hettlich; Christian Karpfinger …

Buch | Hardcover (2022)
Springer Spektrum (Verlag)
CHF 97,95