Innehållsförteckning
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
Köp den här e-boken och få 1 till GRATIS!
Språk Tyska ● Formatera PDF ● Sidor 165 ● ISBN 9783110701920 ● Filstorlek 40.9 MB ● Utgivare De Gruyter ● Stad Berlin/München/Boston ● Publicerad 2020 ● Utgåva 1 ● Nedladdningsbara 24 månader ● Valuta EUR ● ID 7913665 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare