Sprachsituation einzelner Gebiete Mathematik Wissenschaft Sozialwissenschaft Unternehmen Ingenieurwissenschaft Geisteswissenschaft Geschichte
  1. Ingenieurwissenschaft
  2. Informatik
  3. Funktionale Programmierung
nhc - Nearly a Haskell Compiler
nhc - Nearly a Haskell Compiler
Funktionen höherer Ordnung
Funktionen höherer Ordnung
„Pattern Matching“ und eigene Datentypen
„Pattern Matching“ und eigene Datentypen
Verifikations- und Spezifikationsmethoden
Verifikations- und Spezifikationsmethoden
Verifikation mit Isabelle - Joachim Breitner BobKonf 2016 19
Verifikation mit Isabelle - Joachim Breitner BobKonf 2016 19
Serie 6 - AG Programmiersprachen und Übersetzerkonstruktion
Serie 6 - AG Programmiersprachen und Übersetzerkonstruktion
Semantik von Programmiersprachen Serie 5 - Christian
Semantik von Programmiersprachen Serie 5 - Christian
Rekonstruktion von Typen
Rekonstruktion von Typen
Real World Haskell Blatt 1
Real World Haskell Blatt 1
Programmierung II
Programmierung II
Praktische Informatik III: Deklarative Programmierung
Praktische Informatik III: Deklarative Programmierung
Handzettel - informatik.uni-bremen.de
Handzettel - informatik.uni-bremen.de
Grundlagen der Programmierung 2 Aufgabenblatt Nr. 2 Aufgabe 1
Grundlagen der Programmierung 2 Aufgabenblatt Nr. 2 Aufgabe 1
Grundlagen der Programmierung 2 Aufgabenblatt Nr. 2 Aufgabe 1
Grundlagen der Programmierung 2 Aufgabenblatt Nr. 2 Aufgabe 1
Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen
Übungsblatt 2 (Rekursion, List
Übungsblatt 2 (Rekursion, List
Ubungen zu ” Grundlagen der Programm- und
Ubungen zu ” Grundlagen der Programm- und
Skript zur Vorlesung Nebenläufige und verteilte
Skript zur Vorlesung Nebenläufige und verteilte
Kapitel 10
Kapitel 10
Mathematik mit funktionaler Programmierung
Mathematik mit funktionaler Programmierung
Mathematik für Informatiker II SS09 2. ¨Ubung
Mathematik für Informatiker II SS09 2. ¨Ubung