Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Einleitung -- 1. Kategorien -- 2. Automaten -- 3. Limites in Kategorien -- 4. Universelle Konstruktionen von Automaten -- 5. Funktoren, Limites und adjungierte Funktoren -- 6. Schaltoperationen und Zerlegungen -- Bezeichnungen -- Literatur -- Sachregister ...
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 ...
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 ...
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 ...
Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Einleitung -- 1. Kategorien -- 2. Automaten -- 3. Limites in Kategorien -- 4. Universelle Konstruktionen von Automaten -- 5. Funktoren, Limites und adjungierte Funktoren -- 6. Schaltoperationen und Zerlegungen -- Bezeichnungen -- Literatur -- Sachregister ...