Kostenlose Ressourcen
Logische und funktionale Programmierung
In Prolog Fragen an Fakten und Regeln stellen und in Haskell Funktionen mit Typen schreiben.
Zwei Labs, jeweils ein Terminal mit einer Sprache, die anders denkt: SWI-Prolog, wo ein Programm aus Fakten und Regeln besteht und das Ausführen eine Frage ist, und GHC, wo ein Programm aus Funktionen mit Typen besteht.
Praktische Labs
Praktische Lektionen
Jede Lektion hier wird in einem praktischen Lab durchgearbeitet: einer echten Umgebung mit einem Terminal daneben, ohne Installation. Ein kostenloses Konto führt jedes Lab aus, mit genug kostenlosem Guthaben pro Monat, um den Großteil der Lektionen durchzuarbeiten, und erhält die Basislektionen auf der Seite „Start“; ohne Konto können Sie das Git-Lab und das SQL-Lab ausführen.
Praktische Lektion · Container-Lab
Prolog Basics
Arbeiten Sie diese Lektion in einem echten Lab durch, mit einem Terminal daneben, statt sie nur zu lesen.
Ein eigener SWI-Prolog-Interpreter für jede Person: Fakten, Regeln, Fragen und eine rekursive Regel. Code auf GitHub.
So funktioniert es · Quellcode auf GitHub · Kostenloses Konto erstellen, um es auszuführen
Praktische Lektion · Container-Lab
Haskell Basics
Arbeiten Sie diese Lektion in einem echten Lab durch, mit einem Terminal daneben, statt sie nur zu lesen.
Ein eigener GHC-Haskell-Compiler für jede Person: Funktionen mit Typen, Listen, Faltungen und ein eigener Typ. Code auf GitHub.
So funktioniert es · Quellcode auf GitHub · Kostenloses Konto erstellen, um es auszuführen
Basislektionen erhält jedes kostenlose Konto auf der Seite „Start“ und jede Einrichtung. Die Lektionen ganzer Kurse sind für Einrichtungen. Labs, die als Ubuntu-VM-Lab gekennzeichnet sind, werden von einer Lehrkraft in einem Modul gestellt, und ihre Lektionen starten die VM für Sie.
Selbst ausführen
Ein kostenloses persönliches Konto führt jedes Lab hier und seine Lektion aus, mit genug kostenlosem Guthaben pro Monat, um den Großteil der Lektionen durchzuarbeiten. Sie unterrichten eine Klasse? Gründen Sie eine Einrichtung und weisen Sie sie Ihren Lernenden zu.
Kostenloses Konto erstellenEine Einrichtung gründen
Sie haben schon ein Konto? Anmelden