Sprachsituation einzelner Gebiete Mathematik Wissenschaft Sozialwissenschaft Unternehmen Ingenieurwissenschaft Geisteswissenschaft Geschichte
  1. Ingenieurwissenschaft
  2. Informatik
  3. Funktionale Programmierung
1.2 Was ist deklarative Programmierung?
1.2 Was ist deklarative Programmierung?
1. Prinzipien der funktionalen Programmierung 2. Deklarationen 3
1. Prinzipien der funktionalen Programmierung 2. Deklarationen 3
1 Vollständige partielle Ordnungen, stetige Funk
1 Vollständige partielle Ordnungen, stetige Funk
1 Programmierstile
1 Programmierstile
1 Einführung Systemprogrammierung
1 Einführung Systemprogrammierung
04. Übungsblatt - Technische Universität Braunschweig
04. Übungsblatt - Technische Universität Braunschweig
01_Introduction
01_Introduction
Blatt 1A
Blatt 1A
Beweise von Programmeigenschaften
Beweise von Programmeigenschaften
Beispiel: Fibonacci-Zahlen Mögliche Gefahren bei Rekursion
Beispiel: Fibonacci-Zahlen Mögliche Gefahren bei Rekursion
Begriffsklärung: (Effizienz) (2) Begriffsklärung: (deterministisch
Begriffsklärung: (Effizienz) (2) Begriffsklärung: (deterministisch
Bedarfsgesteuerte Programmierung: Haskell
Bedarfsgesteuerte Programmierung: Haskell
Automatisiertes Testen
Automatisiertes Testen
Arrows in Haskell - AG Programmiersprachen und
Arrows in Haskell - AG Programmiersprachen und
XML-Querysprachen
XML-Querysprachen
Vorsemesterkurs Informatik Aufgabenblatt Nr. 6B Lösung zu Aufgabe 1
Vorsemesterkurs Informatik Aufgabenblatt Nr. 6B Lösung zu Aufgabe 1
VIII ML Erste Schritte
VIII ML Erste Schritte
Vier Folien pro Seite
Vier Folien pro Seite
Übungsblatt 3. - Courses and Seminars, Programming Systems Lab
Übungsblatt 3. - Courses and Seminars, Programming Systems Lab
Ubungen zur ” Praktischen Informatik III“, WS 2005/06
Ubungen zur ” Praktischen Informatik III“, WS 2005/06
Überblick über die Veranstaltung
Überblick über die Veranstaltung