• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Mathematisch-Strukturelle Grundlagen Der Informatik

Mathematisch-Strukturelle Grundlagen Der Informatik

Paperback

Series: Springer-Lehrbuch

FictionGeneral Computers

ISBN10: 3540419233
ISBN13: 9783540419235
Publisher: Springer
Published: Apr 12 2001
Pages: 622
Weight: 1.96
Height: 1.30 Width: 6.14 Depth: 9.21
Language: 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.

Also from

Ehrig, Hartmut

Also in

General Computers