Logique

4A Informatique, Polytech Marseille, 2021—2022

Introduction à la logique: calcul booléen

diapo

exercices

SAT

diapo

exercices

Calculabilité

diapo

exercices

Fondements de la programmation fonctionnelle

diapo

exercices

Calcul des prédicats

video

exercices

Dernière mise à jour
le 4 janvier 2022.

XHTML et CSS valides?