Formal Methods and Functional Programming

Aus VISki
Wechseln zu: Navigation, Suche

Zusammenfassungen

Alte Prüfungen

Lösungsvorschläge der Prüfungen

Andere Unterlagen

Literatur

Formal Methods

Functional Programming

  • Simon Thompson. Haskell: The Craft of Functional Programming
    • finde ich sehr gut, allerdings wohl kaum fuer die pruefung noetig
    • gekauft und kaum gebraucht
    • basin slides reichen für FP-teil völlig. FM is auch gut dokumentiert, soweit ich mich erinnere und auch etwas zu unbekannt, dass es dazu echte alternativen in buchform gäbe.
  • Richard Bird: Introduction to Functional Programming using Haskell.
    • ist ein ganz gutes Buch für Functional Programming, eignet sich als Referenz wenn man mal wieder Haskell brauchen wil
  • Paul Hudak: The Haskell School of Expression: Learning Functional Programming through Multimedia

Texte

Natural Deduction

Propositional Logic

First Order Logic

Structural Induction

Axiomatic Semantics