Mathematisch-Strukturelle Grundlagen Der Informatik

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

Im Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pradikatenlogik. Sie sind fur das Verstandnis des formalisierten Problemloesens entscheidend und damit fur den Informatiker unerlasslich. Eine Einfuhrung in die intuitive Mengentheorie vermittelt die notwendigen mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden algebraische Strukturen in der Informatik behandelt. Ausserdem stellt das Buch Aussagen- und Pradikatenlogik aus der Sicht der Mathematik und Informatik dar. Die Kategorientheorie fur Informatiker fuhrt schliesslich in die Welt der Abstraktion ein.