• il y a 9 ans
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.

Recommandations

1:47
I
À suivre
FUN : MOOC "Une SAGE introduction au calcul formel"
france-universite-numerique
1:54
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques Session 2
france-universite-numerique
1:54
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques (eFAN Maths) session 4
france-universite-numerique
2:48
FUN MOOC : Bioinformatique : algorithmes et génomes
france-universite-numerique
1:36
FUN MOOC : PDM : Pratiques du Dimensionnement en Mécanique - Partie 2
france-universite-numerique
1:05
FUN-MOOC : Socle en Mathématiques
france-universite-numerique
3:13
FUN-MOOC : Introduction au raisonnement mathématique : préparation à l'entrée dans l'enseignement supérieur
france-universite-numerique
3:23
FUN-MOOC : Mécanique des solides déformables
france-universite-numerique
1:32
FUN-MOOC : Introduction à l'Ingénierie système
france-universite-numerique
0:58
FUN-MOOC : Socle en Informatique
france-universite-numerique
2:50
FUN MOOC : Problèmes économiques contemporains - session 1
france-universite-numerique
1:07
FUN-MOOC GENIUS
france-universite-numerique
4:07
La métabolomique : enjeux technologiques et scientifiques
france-universite-numerique
2:24
FUN-MOOC :Une SAGE introduction au calcul formel
france-universite-numerique
3:14
FUN MOOC : La médiation numérique
france-universite-numerique
2:17
FUN MOOC : Statistique pour l'ingénieur session 2
france-universite-numerique
2:11
FUN-MOOC : Algèbre linéaire, de première année d’enseignement supérieur
france-universite-numerique
2:15
FUN-MOOC : Mesurer l'Univers
france-universite-numerique
1:02
FUN-MOOC: Programmer en C, Session 1
france-universite-numerique
1:48
FUN MOOC : Electronique Analogique
france-universite-numerique
1:02
FUN-MOOC: Programmer en C, Session 2
france-universite-numerique
2:47
FUN-MOOC : Histoire des sciences : une introduction
france-universite-numerique
1:56
FUN-MOOC : Le robot Thymio comme outil de découverte des sciences du numérique
france-universite-numerique
1:08
FUN-MOOC : Se former pour l’ICN Informatique et Création Numérique
france-universite-numerique
1:33
FUN-MOOC : Collection Mathématiques (5 micro-MOOC)
france-universite-numerique