Buch, Deutsch, Band 1.1, 165 Seiten, HC runder Rücken kaschiert, Format (B × H): 175 mm x 246 mm, Gewicht: 475 g
Reihe: Handbuch der Informatik
Buch, Deutsch, Band 1.1, 165 Seiten, HC runder Rücken kaschiert, Format (B × H): 175 mm x 246 mm, Gewicht: 475 g
Reihe: Handbuch der Informatik
ISBN: 978-3-486-20773-6
Verlag: De Gruyter
Keine ausführliche Beschreibung für "Logische Grundlagen der Informatik" verfügbar.
Autoren/Hrsg.
Weitere Infos & Material
Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Logik in der Informatik -- 2. Beispiele logischer Beschreibungen -- 3. Signaturen und Strukturen -- 4. Terme, Formeln und ihre Auswertung -- 5. Spezifikationen und Modelle -- 6. Spezielle Situationen -- 7. Folgern -- 8. Ableiten -- 9. Anwendungen in Skizzen -- 10. Ausblick -- Anhang




