Can I read Modellierung : Grundlagen und formale Methoden$nElektronische Ressource on EtoBox?

Modellierung : Grundlagen und formale Methoden$nElektronische Ressource by Kastens, Uwe; Kleine Büning, Hans is a nonfiction available to read on EtoBox.

What is Modellierung : Grundlagen und formale Methoden$nElektronische Ressource about?

Modellierung - Grundlagen und formale Methoden (Team PDFWriters) ......Page 1 Vorwort......Page 14 Inhalt......Page 10 1.1 Einführendes Beispiel......Page 18 1.2 Modellbegriff......Page 21 Übungen......Page 26 2 Modellierung mit Wertebereichen......Page 28 2.1 Mengen......Page 30 2.2 Potenzmengen......Page 32 2.3 Kartesische Produkte......Page 33 2.4 Vereinigung......Page 34 2.5 Folgen......Page 36 2.6 Relationen......Page 37 2.7 Funktionen......Page 40 2.8 Beispiel im Zusammenhang......Page 45 2.9.1 Produkte und Vorrat......Page 47 2.9.2 Kassieren......Page 48 2.9.3 Bedienung und Zustand......Page 49 Übungen......Page 51 3 Terme und Algebren......Page 58 3.1.1 Sorten und Signaturen......Page 59 3.1.2 Notationen für Terme......Page 62 3.2 Substitution und Unifikation......Page 65 3.2.1 Substitution......Page 66 3.2.2 Unifikation......Page 69 3.3 Algebren......Page 71 3.3.1 Abstrakte Algebra......Page 72 3.3.2 Konkrete Algebra......Page 73 3.4 Algebraische Spezifikation von Datenstrukturen......Page 74 3.4.1 Algebraische Spezifikation für den Getränkeautomaten......Page 81 Übungen......Page 82 4 Logik......Page 88 4.1.1 Syntax der Aussagenlogik......Page 89 4.1.2 Semantik der Aussag

Who reads Modellierung : Grundlagen und formale Methoden$nElektronische Ressource?

Author

Kastens, Uwe; Kleine Büning, Hans

Publisher

Hanser Berlin. in Carl Hanser Verlag GmbH & Co. KG

Published

2005

Language

DE

ISBN

9783446404601

Category

nonfiction

Subjects

Computer Science, Reference