It will be shipped from our warehouse between Wednesday, May 29 and Monday, June 03.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Mathematisch-Strukturelle Grundlagen der Informatik (in German)
Hartmut Ehrig; Bernd Mahr; F. Cornelius; Martin Große-Rhode; P. Zeitz
Synopsis "Mathematisch-Strukturelle Grundlagen der Informatik (in German)"
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 algebraische Strukturen in der Informatik behandelt. Au erdem stellt das Buch Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dar. Die Kategorientheorie für Informatiker führt schlie lich in die Welt der Abstraktion ein.