Grundlagen der Programmierung:(24 Vorlesungen, FH-Wedel 2001-2003)

Link:
Autor/in:
Erscheinungsjahr:
2003
Medientyp:
Text
Beschreibung:
  • Danksagung an Uwe Schmidt, FH-Wedel, für die Bereitstellung des Basismaterials.


    Fundamente und Grundprinzipien der Programmierung, Systematische Entwicklung von Programmen

    Aussagenlogik, Syntax, Semantik, Entscheidungsprobleme

    Boole'sche Algebra

    Algebra und logisches Schließen, Normalformen, Anwendungen: Loösen von Logeleien, Resolution

    Prädikatenlogik erster Stufe, Motivation, Syntax, Semantik der Prädikatenlogik, Entscheidungsprobleme, Anwendung: Spezifikation von Algorithmen

    Prädikatenlogik, Elemente von Programmiersprachen

    Verifikation von Algorithmen, Hoare-Kalkül Zuweisung und Kontrollstrukturen, Hoare-Kalkül

    Verifikation von Algorithmen, Fallunterscheidungen, Hoare-Kalkül

    Verifikation von Algorithmen, Schleifen, Hoare-Kalkül

    Funktionen und Prozeduren

    Rekursion

    Rekursive Programme, Iterative Prozesse

    Algorithmen, Asymptotische Komplexitaät, O-Notation

    Sortieralgorithmen und deren Analyse

    Quicksort

    Automatentheorie und Formale Sprachen

    Formale Sprachen, Grammatik, Grammatiktypen, Wortproblem, Ableitungsproblem

    Reguläre Sprachen

    Nichtdeteministische Endl.Automaten, Regulaäre Ausdruücke, Kontextfreie Sprachen, CYK-Algorithmus für Wortproblem, Compilerbau

    Turing-Maschinen, Berechenbarkeitstheorie, Halteproblem
Lizenz:
  • info:eu-repo/semantics/openAccess
Quellsystem:
Forschungsinformationssystem der UHH
Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/c2fb6f07-3ca2-4c86-bc0b-99cf99a128e9