Mathematisch-Strukturelle Grundlagen Der Informatik 2. Aufl. Edition Contributor(s): Ehrig, Hartmut (Author), Mahr, Bernd (Author), Cornelius, F. (Author) |
|
ISBN: 3540419233 ISBN-13: 9783540419235 Publisher: Springer OUR PRICE: $37.99 Product Type: Paperback Language: German Published: April 2001 |
Additional Information |
BISAC Categories: - Computers | Computer Science - Mathematics | Logic - Computers | Data Modeling & Design |
Dewey: 004.015 |
Series: Springer-Lehrbuch |
Physical Information: 1.3" H x 6.14" W x 9.21" (1.96 lbs) 622 pages |
Descriptions, Reviews, Etc. |
Publisher Description: In f nf sorgf ltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pr dikatenlogik, die f r das Verst ndnis des formalisierten Probleml sens entscheidend und damit f r Informatiker unerl lich sind. Eine Einf hrung in die intuitive Mengentheorie vermittelt zun chst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Pr dikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schlie lich f hrt die Kategorientheorie f r Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein. Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. bungsaufgaben wurden erg nzt. |