Placeholder text

Go to cart

Mathematisch-strukturelle Grundlagen der Informatik

By Hartmut Ehrig

Mathematisch-strukturelle Grundlagen der Informatik Computer Science

Mathematisch-strukturelle Grundlagen der Informatik

Only 1 item left in stock
Description
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.
Product details
Binding:
Paperback
Edition:
2
Number of Pages:
644
Release Date:
2013-10-04
Publication Date:
2001-04-12
Publisher:
Springer
Languages:
Original: German
ISBN10:
3540419233
ISBN13:
9783540419235
GPSR Manufacturer Reference:
[email protected]
Weight:
961 g
Height:
155 cm
Width:
235 cm
Thickness:
35 cm

Condition

Show more

Show less
Good
The items bear minimal signs of past use, such as light scratches or memories in the form of markings. These signs of wear give the items a charming character and tell stories of their previous owners, while not affecting their functionality.
Available immediately
€11,49

Incl. VAT, plus shipping costs

PayPal
Visa
Mastercard
American Express
Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€11,49