Articles liés à Mathematisch-strukturelle Grundlagen der Informatik

Mathematisch-strukturelle Grundlagen der Informatik - Couverture souple

Ehrig, H.

 
9783540638650: Mathematisch-strukturelle Grundlagen der Informatik
Couverture souple
ISBN 10 : 3540638652 ISBN 13 : 9783540638650
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1999

Synopsis

In funf sorgfaltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pradikatenlogik, die fur das Verstandnis des formalisierten Problemlosens entscheidend und damit fur Informatiker unerlasslich sind. Eine Einfuhrung in die intuitive Mengentheorie vermittelt zunachst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen, werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Pradikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schliesslich fuhrt die Kategorientheorie fur Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1999
Langue
allemand
ISBN 10 
3540638652
ISBN 13 
9783540638650
Reliure
Broché
Nombre de pages
553
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne