Kniha momentálne nie je na sklade
Logik für Software-Ingenieure
Autori
Parametre
Viac o knihe
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
Nákup knihy
Logik für Software-Ingenieure, Günter Matthiessen
- Jazyk
- Rok vydania
- 1991
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Logik für Software-Ingenieure
- Jazyk
- nemecky
- Autori
- Günter Matthiessen
- Vydavateľ
- de Gruyter
- Rok vydania
- 1991
- ISBN10
- 3110122286
- ISBN13
- 9783110122282
- Séria
- Programmierung komplexer Systeme
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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