libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

broy manfred - informatik

Informatik Eine grundlegende Einführung Teil I. Problemnahe Programmierung




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
50,98 €
NICEPRICE
48,43 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Tedesco
Editore:

Springer

Pubblicazione: 09/1992





Trama

Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.
In diesem ersten von vier Bänden wird das gesamte Gebiet der problemnahen Programmierung dargestellt: Algorithmenbegriff, Techniken der funktionalen und der prozeduralen Programmierung, Datenstrukturen und ihre Darstellung in Programmiersprachen sowie Programmiermethodik.




Sommario

1. Information und ihre Repräsentation.- 1.1 Der Begriff„Information“.- 1.2 Ein Beispiel für Information und Repräsentation: Aussageformen.- 1.3 Information und ihre Repräsentation in Normalform.- 2. Rechenstrukturen und Algorithmen.- 2.1 Zum Begriff „Algorithmus“.- 2.2 Rechenstrukturen.- 2.3 Algorithmen als Termersetzungssysteme.- 2.4 Aussagenlogik und Prädikatenlogik.- 3. Programmiersprachen und Programmierung.- 3.1 Syntax: Beschreibung formaler Sprachen durch BNF.- 3.2 Semantik.- 3.3 Zur Implementierung von Programmiersprachen.- 3.4 Methodik der Programmierung.- 4. Applikative Programmiersprachen.- 4.1 Elemente rein applikativer Programmiersprachen.- 4.2 Erweiterung applikativer Sprachen: Deklarationen.- 4.3 Rekursive Funktionsdeklarationen.- 4.4 Rekursionsformen.- 4.5 Techniken applikativer Programmierung.- 4.6 Beweistechniken für rekursive Programme.- 5. Zuweisungsorientierte Ablaufstrukturen.- 5.1 Zuweisungsorientierte Sprachelemente: Anweisungen.- 5.2 Einfache Anweisungen.- 5.3 Zusammengesetzte Anweisungen.- 5.4 Variablendeklarationen und Blöcke.- 5.5 Prozeduren.- 5.6 Abschnitte, Bindungen, Gültigkeit, Lebensdauer.- 5.7 Programmiertechniken für zuweisungsorientierte Programme.- 6. Sortendeklarationen.- 6.1 Deklarationen von Sorten.- 6.2 Felder.- 6.3 Endliche Mengen als Rechenstrukturen.- 7. Maschinennahe Sprachelemente: Sprünge und Referenzen.- 7.1 Kontrollfluß.- 7.2 Referenzen und Zeiger.- 8. Rekursive Sortendeklarationen.- 8.1 Sequenzartige Rechenstrukturen.- 8.2 Baumartige Rechenstrukturen.- 8.3 Rekursive Vereinbarungen von Sorten.- 8.4 Geflechte.- Literaturangaben.- Stichwortverzeichnis.










Altre Informazioni

ISBN:

9783540551911

Condizione: Nuovo
Collana: Springer-Lehrbuch
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:XII, 250 S.
Pagine Arabe: 250
Pagine Romane: xii


Dicono di noi





Per noi la tua privacy è importante


Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.

Impostazioni cookie
Rifiuta Tutti i cookie
Accetto tutti i cookie
X