Read Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition)

Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition)

Unknown Author

4.9/5 (21661 ratings)

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 dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schließlich führt die Kategorientheorie für Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition). To get started finding Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 3540419233

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 dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schließlich führt die Kategorientheorie für Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition). To get started finding Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition)

Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition)

More Books