Passer au contenu principal
≡
Mon compte
Nous contacter
Actualités
Cours
Organisations
Vous êtes ici:
FUN Campus - Des formations pour enrichir les cursus
DAVID BAELDE
Maître de conférences à l'ENS Cachan et chercheur en preuve formelle et sécurité des protocoles au Laboratoire Spécification et Vérification.
Établissements
ENS Paris-Saclay
Cours
Introduction à la logique informatique - Partie 1 : calcul propositionnel
Établissement
ENS Paris-Saclay
Code du cours
-
Introduction à la logique informatique - Partie 2 : calcul des prédicats
Établissement
ENS Paris-Saclay
Code du cours
-
