Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Mathematisch-Strukturelle Grundlagen der Informatik

Mathematisch-Strukturelle Grundlagen der Informatik( )
Author: Ehrig, Hartmut
Mahr, Bernd
Cornelius, Felix
Große-Rhode, Martin
Zeitz, Philip
Series title:Springer-Lehrbuch Ser.
ISBN:978-3-540-63865-0
Publication Date:Dec 1998
Publisher:Springer
Book Format:Paperback
List Price:Contact Supplier contact
Book Description:

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen, werden...
More Description

Book Details
Pages:534
Physical Dimensions (W X L X H):15.5 x 23.5 cm
Book Weight:0.83 Kilograms



Featured Books

Alice's Adventures in Wonderland
Carroll, Lewis
Paperback: $10.25
The Prince
Machiavelli, Niccolo
Hardback: $12.99
These Truths
Lepore, Jill
Paperback: $19.95

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.