Mathematisch-Strukturelle Grundlagen Der Informatik [German]

by Hartmut Ehrig, Bernd Mahr, Hartmut Ehrig Bernd Mahr

Im Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pr dikatenlogik. Sie sind f r das Verst ndnis des formalisierten Probleml sens entscheidend und damit f r den Informatiker unerl lich. Eine Einf hrung in die intuitive Mengentheorie vermittelt die notwendigen mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden...

• Format: Paperback
• Language: German
• ISBN: 3540419233
• ISBN13: 9783540419235
• Release Date: April 2001
• Publisher: Springer
• Length: 622 Pages
• Weight: 1.96 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"