FUN : MOOC "Introduction à la logique informatique - Partie 2 : calcul des prédicats " - Vidéo Dailymotion

Name: FUN : MOOC "Introduction à la logique informatique - Partie 2 : calcul des prédicats "
Uploaded: 2015-12-16T14:50:22+00:00
Duration: 2 min 25 s
Channel: france-universite-numerique
Description: Deuxième partie du MOOC de logique informatique: après l'ordre 0 (calcul propositionnel), montez avec nous à l'ordre 1 (calcul des prédicats), où l'on n'en finit pas de se débarasser de l'infini.

france-universite-numerique

Deuxième partie du MOOC de logique informatique: après l'ordre 0 (calcul propositionnel), montez avec nous à l'ordre 1 (calcul des prédicats), où l'on n'en finit pas de se débarasser de l'infini.

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

Catégorie

Recommandations