Ebook: Formale Grundlagen der Programmierung
Author: Markus Nebel (auth.)
- Tags: Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems
- Series: Studienbücher Informatik
- Year: 2012
- Publisher: Vieweg+Teubner Verlag
- Edition: 1
- Language: German
- pdf
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.
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 Berechenbarkeit 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.
Kompakt und leicht verstandlich fuhrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax uber 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 Universitaten
Der Autor
Prof. Dr. Markus Nebel lehrt und forscht an der TU Kaiserslautern.
Die Reihe
"Studienbucher Informatik" wird herausgegeben von Prof. Dr. Walter Hower.
Kompakt und leicht verstandlich fuhrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax uber 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 Universitaten
Der Autor
Prof. Dr. Markus Nebel lehrt und forscht an der TU Kaiserslautern.
Die Reihe
"Studienbucher Informatik" wird herausgegeben von Prof. Dr. Walter Hower.
Content:
Front Matter....Pages 1-1
Einleitung....Pages 1-2
Syntax von Programmiersprachen – Formale Sprachen und Automaten....Pages 3-86
Semantik von Programmiersprachen....Pages 87-116
Die Grenzen des Berechenbaren....Pages 117-180
Anhang....Pages 181-189
Back Matter....Pages 7-7
Kompakt und leicht verstandlich fuhrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax uber 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 Universitaten
Der Autor
Prof. Dr. Markus Nebel lehrt und forscht an der TU Kaiserslautern.
Die Reihe
"Studienbucher Informatik" wird herausgegeben von Prof. Dr. Walter Hower.
Content:
Front Matter....Pages 1-1
Einleitung....Pages 1-2
Syntax von Programmiersprachen – Formale Sprachen und Automaten....Pages 3-86
Semantik von Programmiersprachen....Pages 87-116
Die Grenzen des Berechenbaren....Pages 117-180
Anhang....Pages 181-189
Back Matter....Pages 7-7
....