Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

.

Formale Grundlagen der Programmierung

Formale Grundlagen der Programmierung
Kataloginformation
Feldname Details
Vorliegende Sprache ger
Hinweise auf parallele Ausgaben 350119317 Buchausg. u.d.T.: ‡Nebel, Markus, 1969 - : Formale Grundlagen der Programmierung
ISBN 978-3-8348-1889-8
Name Nebel, Markus
T I T E L Formale Grundlagen der Programmierung
Verlagsort Wiesbaden
Verlag Vieweg+Teubner Verlag
Erscheinungsjahr 2012
2012
Umfang Online-Ressource (VIII, 194S, digital)
Reihe Studienbücher Informatik
Notiz / Fußnoten Description based upon print version of record
Weiterer Inhalt Vorwort; Inhaltsverzeichnis; 1 Einleitung; 2 Syntax von Programmiersprachen Formale Sprachen und Automaten; 2.1 Grundlegende Definitionen; 2.2 Das Wortund Analyseproblem; 2.2.1 Endliche Automaten; 2.2.2 Keller-Automaten; 2.2.3 Turing-Maschinen; 2.3 Eigenschaften formaler Sprachen; 2.3.1 Eigenschaften regulärer Sprachen; 2.3.2 Eigenschaften kontextfreier Sprachen; 2.3.3 Die Chomsky-Hierarchie; 2.4 Quellenangaben und Literaturhinweise; 2.5 Aufgaben; 3 Semantik von Programmiersprachen; 3.1 Operationelle Semantik; 3.1.1 Eine einfache Programmiersprache; 3.1.2 Operationelle Small-Step-Semantik. 3.1.3 Operationelle Big-Step-Semantik3.2 Denotationelle Semantik; 3.2.1 Partiell geordnete Mengen; 3.2.2 Rekursive Gleichungen in der denotationellen Semantik; 3.3 Programmverifikation; 3.4 Quellenangaben und Literaturhinweise; 3.5 Aufgaben; 4 Die Grenzen des Berechenbaren; 4.1 Registermaschinen und primitive Rekursion; 4.1.1 Eine ideale Registermaschine; 4.1.2 Primitive Rekursion; 4.2 Partiell rekursive Funktionen; 4.2.1 Der Normalformsatz von Kleene; 4.2.2 Nichtberechenbare Funktionen; 4.3 Berechenbare Mengen; 4.3.1 Rekursive und rekursiv aufzählbare Mengen; 4.4 Turingmaschinen revisited. 4.5 Loop-, While- und Goto-Berechenbarkeit4.6 CHURCHsche These; 4.7 Schlussbemerkungen; 4.8 Quellenangaben und Literaturhinweise; 4.9 Aufgaben; Anhang; A Notationsverzeichnis; B Beweistechniken; Sachverzeichnis; Literaturverzeichnis;
Titelhinweis Buchausg. u.d.T.: ‡Nebel, Markus, 1969 - : Formale Grundlagen der Programmierung
ISBN ISBN 978-3-8348-2296-3
Klassifikation UYF
COM036000
UM
COM051000
005.13
005.1015113
005.1
QA76.9.L63
QA76.5913
QA76.63
ST 230
ST 240
ST 136
Kurzbeschreibung Syntax von Programmiersprachen -- Semantik von Programmiersprachen -- Die Grenzen des Berechenbaren.
2. Kurzbeschreibung Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt. Der Inhalt Syntax von Programmiersprachen - Semantik von Programmiersprachen - Die Grenzen des Berechenbaren Die Zielgruppe Studierende der Informatik im Bachelor-Studiengang an Fachhochschulen und Universitäten Der Autor Prof. Dr. Markus Nebel lehrt und forscht an der TU Kaiserslautern. Die Reihe "Studienbücher Informatik" wird herausgegeben von Prof. Dr. Walter Hower.
1. Schlagwortkette Formale Methode
Programmiersprache
Programmierung
Rekursion
1. Schlagwortkette ANZEIGE DER KETTE Formale Methode -- Programmiersprache -- Programmierung -- Rekursion
2. Schlagwortkette Programmierung
Syntax
Semantik
Formalisierung
ANZEIGE DER KETTE Programmierung -- Syntax -- Semantik -- Formalisierung
SWB-Titel-Idn 36527125X
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1007/978-3-8348-2296-3
Internetseite / Link Volltext
Siehe auch Volltext
Siehe auch Inhaltsverzeichnis
Siehe auch Cover
.
ISBD-Anzeige Katalogdatensatz500170549
.
Kategorien-Anzeige Katalogdatensatz500170549
.
Verwandte Werke Katalogdatensatz500170549
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500170549
.
Kataloginformation500170549 Datensatzanfang . Kataloginformation500170549 Seitenanfang .
Titel vormerken Katalogdatensatz500170549
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche