Logik für Software-Ingenieure
Frontmatter -- Vorwort der Herausgeber -- Vorwort -- Inhaltsverzeichnis -- 1. Einleitung -- 2. Relationen, Funktionen und Listen -- 3. Aussagenlogik -- 4. Boolesche Algebra -- 5. Kalküle und Algorithmen -- 6. Funktionen und Relationen in der Programmierung -- 7. Prädikatenlogik -- 8. Mehrwertige Logik -- 9. Prädikatenlogik und SQL -- Anhang A. Metasprache zur Syntax-Beschreibung -- Anhang B. Liste der benutzten Symbole -- Anhang C. Programm-Beispiele -- Literatur -- Index
CHF 140.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V104:
Folgt in ca. 10 Arbeitstagen
Produktdetails
- ISBN: 978-3-11-012228-2
- EAN: 9783110122282
- Produktnummer: 31912207
- Verlag: De Gruyter
- Sprache: Deutsch
- Erscheinungsjahr: 1991
- Seitenangabe: 292 S.
- Masse: H23.5 cm x B16.0 cm x D1.9 cm 435 g
- Auflage: Reprint 2019
- Abbildungen: HC runder Rücken kaschiert
- Gewicht: 435
5 weitere Werke von Günter Matthiessen:
Bewertungen
Anmelden