Find your perfect holiday reading
Mathematisch-strukturelle Grundlagen der Informatik - Springer-Lehrbuch (Paperback)
  • Mathematisch-strukturelle Grundlagen der Informatik - Springer-Lehrbuch (Paperback)
zoom

Mathematisch-strukturelle Grundlagen der Informatik - Springer-Lehrbuch (Paperback)

(author), (author), (author), (author), (author)
£42.99
Paperback 553 Pages / Published: 11/12/1998
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540638650
Number of pages: 553
Weight: 830 g
Dimensions: 235 x 155 x 29 mm

You may also be interested in...

Algorithms
Added to basket
£66.49
Hardback
Boosting
Added to basket
£28.00
Paperback
Purely Functional Data Structures
Added to basket
Algorithm Design
Added to basket
£110.99
Hardback
Introduction to Algorithms
Added to basket
Understanding Cryptography
Added to basket
Algorithms on Trees and Graphs
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Engineering Mathematics
Added to basket
Algorithms Unlocked
Added to basket
Understanding Cryptography
Added to basket

Please sign in to write a review

Your review has been submitted successfully.