|
" Vorlesungen über Informatik : "
von Gerhard Goos.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
760571
|
| Doc. No
|
:
|
b580544
|
| Main Entry
|
:
|
von Gerhard Goos.
|
| Title & Author
|
:
|
Vorlesungen über Informatik : : Band 1: Grundlagen und funktionales Programmieren\ von Gerhard Goos.
|
| Edition Statement
|
:
|
Zweite, überarbeitete Auflage
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 1997
|
| Series Statement
|
:
|
Springer-Lehrbuch
|
| ISBN
|
:
|
3540628800
|
|
|
:
|
: 366210816X
|
|
|
:
|
: 9783540628804
|
|
|
:
|
: 9783662108161
|
| Contents
|
:
|
1 Grundbegriffe --; 2 Halbgruppen, Relationen --; 3 Algebren und Termalgebren --; 4 Formale Logik --; 5 Funktionales Programmieren --; 6 Abstrakte Datentypen --; 7 Algorithmenkonstruktion I --; A Mengen, Relationen, Funktionen, Zahlen --; A.1 Mengen --; A.2 Relationen und Funktionen --; A3 Natürliche Zahlen --; A4 Mehrfachmengen --; A5 Anmerkungen --; B Codierung --; B.1 Zeichenvorräte --; B.2 Codierung von Zahlen --; B.2.1 Binärdarstellung ganzer Zahlen --; B.2.2 Darstellung von Gleitpunktzahlen --; B.3 Präfixcodes und Shannonsche Informationstheorie --; B.3.1 Shannonsche Informationstheorie --; B.4 Fehlererkennung und-Korrektur --; B.4.1 Zyklische Codes und Schieberegister --; B.5 Anmerkungen und Verweise --; Stichwortverzeichnis.
|
| Abstract
|
:
|
Dieses Lehrbuch ist eine moderne Einführung in die Informatik für das Grundstudium an Universitäten und Fachhochschulen. Der Autor stellt die Prinzipien der "Systemmodellierung" und der "ingenieurmäßigen Softwarekonstruktion" in den Mittelpunkt seiner Darstellung. In vier Bänden deckt dieses Werk die Informatik-Grundvorlesung bis zum Vordiplom ab. Der nun in zweiter Auflage vorliegende erste Band bietet den Einstieg in den Vorlesungszyklus und vermittelt die Grundbegriffe, mit denen die Informatik umgeht und die theoretischen Grundlagen (Algebren, Relationen, Logikgrundlagen, funktionales Programmieren, abstrakte Datentypen), die benötigt werden, um das systematische Konstruieren von Informatiksystemen zu erlernen.
|
| Subject
|
:
|
Computer science.
|
| LC Classification
|
:
|
QA76.7V664 1997
|
| Added Entry
|
:
|
Gerhard Goos
|
| |