Logique

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

 


UE libre: Non

Mise à niveau

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

UE libre: Non

Logique et informatique -- lambda-calcul

UE libre: Non

Calculabilité et complexité

UE libre: Non

Algorithmique

UE libre: Non

Mathématiques discrètes

UE libre: Non

Architecture et système

UE libre: Non

Programmation : concepts et sémantique

UE libre: Non
Année: 24/25

Langages formels

UE libre: Non

Programmation avancée

UE libre: Non