|  |
 |
| Artikel-Nr.: 858A-9783540089964 Herst.-Nr.: 9783540089964 EAN/GTIN: 9783540089964 |
| |
|
|  |  |
 | 0 Einführung.- I Konzepte.- 1 Modellierung.- 2 Schnittstellen.- 3 Modellierung dynamischer Systeme.- 4 Architektur.- II Techniken.- 5 Realisierungen operationaler Schnittstellen.- 6 Realisierung des Dokumenten-Nachweises.- 7 Datenintegrita?t.- 8 Datenerfassung und Dateneingabe.- III Systeme.- 9 Klassifizierung rechnergest?tzter Informationssysteme.- 10 Datenbanksysteme (Fakten-Nachweissysteme).- 11 Synthese-Systeme.- 12 Auswertesysteme.- 13 Dokumenten-Nachweissysteme.- A.1 Mengen, Abbildungen, Strukturen.- A.1.1 Mengen und Mengenoperationen.- A.1.2 Relationen und Abbildungen.- A.1.3 Gerichtete Graphen.- A.2 Grundbegriffe der Logik.- A.2.1 Aussagen und Aussageformen.- A.2.2 Wahrheitsfunktion und G?ltigkeit von Aussageformen.- A.2.3 Individuen, Pra?dikate und Aussagen.- A.2.4 Pra?dikatenlogische Ausdr?cke und ihre Deutung. Weitere Informationen:  |  | Author: | P.C. Lockemann; H.C. Mayr | Verlag: | Springer Berlin | Sprache: | ger |
|
|  |  |
 | |  |  |
 | |  |  |
| |