Cantitate/Preț
Produs
Total produse
Vezi coșul
Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen de Gerhard Goos

Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen: Springer-Lehrbuch

Autor Gerhard Goos
de Limba Germană Paperback – 12 sep 1997
Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (2) 17875 lei  43-57 zile
  Springer Berlin, Heidelberg – 12 sep 1997 17875 lei  43-57 zile
  Springer Berlin, Heidelberg – 14 apr 1998 19498 lei  38-44 zile

Din seria Springer-Lehrbuch

  • Sportpsychologie
    Preț: 49658 lei
  • 5% Poster Stoffwechsel
    Preț: 4904 lei
  • 5% Neurologie
    Preț: 82143 lei
  • 5% Klinische Psychologie & Psychotherapie
    Preț: 55759 lei
  • 5% Basiswissen Biochemie
    Preț: 52772 lei
  • 5% Löffler/Petrides Biochemie und Pathobiochemie
    Preț: 78320 lei
  • Atlas der Anatomie des Menschen
    Preț: 45789 lei
  • 5% Allgemeine und Spezielle Pathologie
    Preț: 59752 lei
  • Grundkurs Theoretische Physik 3
    Preț: 49336 lei
  • 5% Arbeitsmedizin
    Preț: 33341 lei
  • Sportpsychologie
    Preț: 23662 lei
  • 5% Basiswissen Psychiatrie und Psychotherapie
    Preț: 36273 lei
  • 5% Klinische Psychologie und Psychotherapie für Bachelor
    Preț: 22018 lei
  • 5% Basiswissen Allgemeinmedizin
    Preț: 41364 lei
  • Psychologische Diagnostik
    Preț: 56502 lei
  • Experimentalphysik 2: Elektrizität und Optik
    Preț: 39051 lei
  • Grundkurs Theoretische Physik 2: Analytische Mechanik
    Preț: 27495 lei
  • 11% Chemie für Biologen
    Preț: 47914 lei
  • Lehrbuch der Sozialpolitik
    Preț: 32590 lei
  • 5% Lunge und Atemwege
    Preț: 38225 lei
  • Botanisches Grundpraktikum
    Preț: 34645 lei
  • 11% Elementare Teilchen: Von den Atomen über das Standard-Modell bis zum Higgs-Boson
    Preț: 45372 lei
  • 5% Innere Medizin...in 5 Tagen
    Preț: 37953 lei
  • Grundkurs Theoretische Physik 6
    Preț: 45932 lei
  • 11% Kognitive Neurowissenschaften
    Preț: 68709 lei
  • Mineralogie
    Preț: 50576 lei
  • 5% Basiswissen Pädiatrie
    Preț: 35139 lei
  • 5% Physiologie des Menschen
    Preț: 63629 lei
  • Das gesamte examensrelevante Zivilrecht
    Preț: 60794 lei
  • Forschungsmethoden und Evaluation in den Sozial- und Humanwissenschaften
    Preț: 58732 lei
  • 5% Orthopädie Unfallchirurgie
    Preț: 38436 lei
  • 5% Medizinische Mikrobiologie und Infektiologie
    Preț: 53005 lei
  • Europäisches Arbeitsrecht: Mit zahlreichen Beispielsfällen aus der Rechtsprechung des EuGH
    Preț: 27549 lei
  • 5% PathoMaps
    Preț: 26905 lei
  • Wirtschaftspsychologie für Bachelor
    Preț: 28604 lei
  • 5% Basiswissen Humangenetik
    Preț: 29580 lei
  • Lehrbuch der Technischen Mechanik - Band 1: Starrkörperstatik
    Preț: 42129 lei
  • 13% Leistungselektronische Schaltungen
    Preț: 122031 lei
  • 5% Basic Skills PJ
    Preț: 20932 lei
  • 5% Anästhesie, Intensivmedizin, Notfallmedizin, Schmerztherapie
    Preț: 48760 lei
  • 5% Psychiatrie
    Preț: 43644 lei
  • Sozialpsychologie
    Preț: 54310 lei
  • Hormone und Hormonsystem - Lehrbuch der Endokrinologie
    Preț: 35472 lei
  • Lernskript Psychologie
    Preț: 33640 lei
  • Statistik
    Preț: 39267 lei
  • Psychologie
    Preț: 51760 lei
  • 5% Urologie
    Preț: 51654 lei
  • 5% Chirurgie
    Preț: 72010 lei
  • 5% Anatomie
    Preț: 65488 lei
  • Grundlagen der Mikrobiologie
    Preț: 35529 lei

Preț: 17875 lei

Preț vechi: 22344 lei
-20%

Puncte Express: 268
Preț estimativ în valută:
3160€ • 3729$ • 2768£

Carte tipărită la comandă

Livrare economică 13-27 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540606550
ISBN-10: 3540606556
Pagini: 300
Ilustrații: XII, 284 S. 4 Abb. Mit 15 Falttafeln.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:1997
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer-Lehrbuch

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

13 Berechenbarkeit.- 13.1 Der Algorithmusbegriff und die CHuxcxsche These.- 13.2 loop-, while-und goto-Algorithmen.- 13.3 Turingmaschinen.- 13.4 Primitiv undµ-rekursive Funktionen.- 13.5 Das Postsche Korrespondenzproblem.- 13.6 Anmerkungen und Verweise.- 14 Komplexitätstheorie.- 14.1 Klassifikation.- 14.2 Beispielprobleme.- 14.3 Die KlasseNP.- 14.4 Weitere Komplexitätsklassen.- 14.5 Anmerkungen und Verweise.- 15 Formale Sprachen.- 15.1 Reguläre Sprachen und endliche Automaten.- 15.2 Kontextfreie Sprachen.- 15.3 Kontextsensitive Sprachen.- 15.4 Anmerkungen und Verweise.- 16 Programmtransformationen.- 16.1 Transformationsschemata.- 16.2 Elementare Transformationsregeln.- 16.3 Entrekursivierung.- 16.4 Transformation in rechtsrekursive Form.- 16.5 Beispiele.- 16.6 Anmerkungen und Verweise.- 17 Spezifikationstechniken: Die Z Notation.- 17.1 Spezifikation und Systementwicklung.- 17.2 Grundbegriffe der Z Notation.- 17.3 Datenstrukturen.- 17.4 Verfeinerung.- 17.5 Beispiel Fertigungszelle.- 17.6 Anmerkungen und Verweise.- 18 Ablaufspezifikationen, Synchronisierung und Kommunikation.- 18.1 Grundbegriffe vonStatecharts.- 18.2 Spezifikation einer digitalen Armbanduhr.- 18.3 Konstruktionsprinzipien.- 18.4 Synchrone und asynchrone Kommunikation.- 18.5 Kanäle.- 18.6 Anmerkungen und Verweise.- Programmverzeichnis.- Stichwortverzeichnis.

Textul de pe ultima copertă

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.

Caracteristici

Umfassende Darstellung der Theoretischen Informatik im Rahmen des viersemestrigen "Karlsruher Curriculums" Detaillierte Aufarbeitung des prüfungsrelevanten Lehrstoffs für das Vordiplom Beschreibung des Zusammenhangs zwischen Algorithmenentwicklung und den theoretischen Grundlagen

Descriere

Descriere de la o altă ediție sau format:
Dieses Lehrbuch schließt die vierbändige Reihe der Vorlesungen über Informatik des Verfassers ab. Es behandelt in Grundzügen Modelle und Entwicklung paralleler Algorithmen und nicht-analytischer Lösungsverfahren. Die exakte Modellierung einer Aufgabenstellung, namentlich im Bereich der Optimierung, kann oft vermieden werden, wenn man zu Softcomputing (neuronale Netze, evolutionäre Algorithmen, unscharfe Informationsverarbeitung) greift. Das Buch gibt einen Überblick über die Grundlagen und praktische Anwendung dieser Verfahren.