Logique

Ce cours présente les concepts fondamentaux en logique symbolique relatifs aux notions de langage, démonstration, algorithme et modèle.

 


UE libre: No

Mise à niveau

Mise à niveau en Linux, programmation impérative (Python et C) et fonctionnelle (OCaml), rédaction (LaTeX) et réseau.

UE libre: No

Logique et informatique -- lambda-calcul

UE libre: No

Calculabilité et complexité

UE libre: No

Algorithmique

UE libre: No

Mathématiques discrètes

UE libre: No

Architecture et système

UE libre: No

Programmation : concepts et sémantique

UE libre: No
Année: 24/25

Langages formels

UE libre: No

Programmation avancée

UE libre: No