Handbuch der Informatik / Grundlagen / Logische Grundlagen der Informatik
Seiten
1991
Oldenbourg Wissenschaftsverlag (Hersteller)
9783486207736 (ISBN)
Oldenbourg Wissenschaftsverlag (Hersteller)
9783486207736 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Dieser Band behandelt die folgenden Themen:
B
Logik in der Informatik
Beispiele logischer Beschreibungen
Signaturen und Strukturen
Terme, Formeln und Auswertung
Spezifikationen und Modelle
Spezielle Situationen
Folgern
Ableiten
Anwendungen in Skizzen
Ausblick
S
B
Logik in der Informatik
Beispiele logischer Beschreibungen
Signaturen und Strukturen
Terme, Formeln und Auswertung
Spezifikationen und Modelle
Spezielle Situationen
Folgern
Ableiten
Anwendungen in Skizzen
Ausblick
S
| Reihe/Serie | Handbuch der Informatik ; Bd 1.1 | 1.10 |
|---|---|
| Gewicht | 542 g |
| Einbandart | gebunden |
| Schlagworte | Informatik |
| ISBN-13 | 9783486207736 / 9783486207736 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
