Séances de cours associées à ML (langage)

Les langues d'Isabelle : Isar, ML et Scala

Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.

Polymorphisme et preuves

Couvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.

Chord: Recherche & Routage

Couvre l'algorithme Chord pour la recherche et le routage dans les tables de hachage distribuées.

Atelier Coq: Introduction au théorème interactif

Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.