Formale Grundlagen der Programmierung

  • Markus Nebel

Part of the Studienbücher Informatik book series (SBI)

Table of contents

  1. Front Matter
    Pages 1-1
  2. Markus E. Nebel
    Pages 1-2
  3. Markus E. Nebel
    Pages 87-116
  4. Markus E. Nebel
    Pages 117-180
  5. Markus E. Nebel
    Pages 181-189
  6. Back Matter
    Pages 7-7

About this book

Introduction

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.

Keywords

Big-Step-Semantik Chomsky-Hierarchie Churchsche These Denotationelle Semantik Keller-Automaten Kleene Partiell rekursive Funktionen Primitive Rekursion Programmiersprachen Registermaschine Semantik Small-Step-Semantik Turing-Maschinen

Authors and affiliations

  • Markus Nebel
    • 1
  1. 1.FB InformatikTU KaiserslauternKaiserslauternGermany

Bibliographic information