Udvidet returret til d. 31. januar 2025

Konstruktion Guter Algorithmen - Bog

- Sichere Und Korrekte Software

Bag om Konstruktion Guter Algorithmen

Dieses Buch ist ein Lehrbuch für schnelle, effiziente und korrekte Pro­ p;rammierung. Es werden Verfahren vorgestellt, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren, und eine Me­ thode, mit der zweifelsfrei bewiesen werden kann, daß die so entwickel­ ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up­ Verifikation dargestellt. Es wird auf die Übertragung in gängige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati­ sche Testmethoden werden ebenfalls kurz beschrieben. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Program­ mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Großer Wert wird darauf gelegt, daß das Buch gut lesbar und verständ­ lich ist und alle Verfahren und Algorithmen ausführlich erläutert wer­ den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule Osnabrück hält. Es ist aber nicht nur für Studenten geeignet, sondern auch für den Prak­ tiker. In den Abschnitten über Motivation und Sensibilisierung wird nachvollziehbar begründet, warum nicht nur Profis die beschriebene Me­ thodik verwenden sollten, sondern sogar Hobby-Programmierer. Pro­ grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Ergebnisse unvorhersehbar machen.

Vis mere
  • Sprog:
  • Tysk
  • ISBN:
  • 9783519029908
  • Indbinding:
  • Paperback
  • Sideantal:
  • 300
  • Udgivet:
  • 1. januar 1996
  • Udgave:
  • 1996
  • Størrelse:
  • 244x170x16 mm.
  • Vægt:
  • 485 g.
  • 8-11 hverdage.
  • 7. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Konstruktion Guter Algorithmen

Dieses Buch ist ein Lehrbuch für schnelle, effiziente und korrekte Pro­ p;rammierung. Es werden Verfahren vorgestellt, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren, und eine Me­ thode, mit der zweifelsfrei bewiesen werden kann, daß die so entwickel­ ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up­ Verifikation dargestellt. Es wird auf die Übertragung in gängige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati­ sche Testmethoden werden ebenfalls kurz beschrieben. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Program­ mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Großer Wert wird darauf gelegt, daß das Buch gut lesbar und verständ­ lich ist und alle Verfahren und Algorithmen ausführlich erläutert wer­ den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule Osnabrück hält. Es ist aber nicht nur für Studenten geeignet, sondern auch für den Prak­ tiker. In den Abschnitten über Motivation und Sensibilisierung wird nachvollziehbar begründet, warum nicht nur Profis die beschriebene Me­ thodik verwenden sollten, sondern sogar Hobby-Programmierer. Pro­ grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Ergebnisse unvorhersehbar machen.

Brugerbedømmelser af Konstruktion Guter Algorithmen



Find lignende bøger
Bogen Konstruktion Guter Algorithmen findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.