Logik für Software-Ingenieure
Details
Keine ausführliche Beschreibung für "Logik für Software-Ingenieure" verfügbar.
Autorentext
Günter Matthiessen ist Hochschullehrer an der Hochschule Bremerhaven im Bereich Informatik/Wirtschaftsinformatik. Er hat darüber hinaus vielfältige Erfahrungen in der Durchführung von Seminaren in der Weiterbildung. Neben Fragen der Datenbanken beschäftigt er sich mit Fragen der mathematischen Grundlagen der Informatik, der Kryptologie und der IT-Sicherheit.
Klappentext
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
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783110122282
- Genre Programmiersprachen
- Auflage Reprint 2019
- Sprache Deutsch
- Lesemotiv Verstehen
- Anzahl Seiten 282
- Herausgeber De Gruyter
- Größe H236mm x B160mm x T22mm
- Jahr 1991
- EAN 9783110122282
- Format Fester Einband
- ISBN 978-3-11-012228-2
- Veröffentlichung 01.09.1991
- Titel Logik für Software-Ingenieure
- Autor Günter Matthiessen
- Untertitel Programmierung Komplexer Systeme / Programming Complex Systems 3
- Gewicht 593g