Passer au contenu principal
FUN CAMPUS
  • Mon compte
  • Nous contacter
  • Actualités
  • Cours
  • Organisations
  • Vous êtes ici:
  • FUN Campus - Des formations pour enrichir les cursus

HUBERT COMON

Professeur à l'ENS Cachan et chercheur en logique et sécurité des protocoles au Laboratoire Spécification et Vérification.
avatar de HUBERT COMON

Établissements

ENS Paris-Saclay

Cours

Introduction à la logique informatique - Partie 1 : calcul propositionnel

ÉtablissementENS Paris-Saclay
Code du cours-
Durée du cours 6 semaines

Introduction à la logique informatique - Partie 2 : calcul des prédicats

ÉtablissementENS Paris-Saclay
Code du cours-
Durée du cours 6 semaines

Des formations pour enrichir les cursus

FacebookTwitterLinkedin

En savoir plus

  • Qui sommes-nous ?
  • A propos de Fun Campus
  • Mentions légales
  • Charte utilisateur
  • Politique de confidentialité
  • Conditions d'utilisation
  • Aide et contact
Propulsé par Richie