قائمة المحتويات
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
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة ألمانية ● شكل PDF ● صفحات 165 ● ISBN 9783110701920 ● حجم الملف 40.9 MB ● الناشر De Gruyter ● مدينة Berlin/München/Boston ● نشرت 2020 ● الإصدار 1 ● للتحميل 24 الشهور ● دقة EUR ● هوية شخصية 7913665 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM