Passer au playerPasser au contenu principalPasser au pied de page
france-universite-numerique
  • 16/12/2015
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.

Catégorie

📚
Éducation

Recommandations

1:47
À suivre
FUN : MOOC "Une SAGE introduction au calcul formel"
france-universite-numerique
21/12/2015
1:54
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques Session 2
france-universite-numerique
06/01/2016
1:54
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques (eFAN Maths) session 4
france-universite-numerique
12/12/2017
2:48
FUN MOOC : Bioinformatique : algorithmes et génomes
france-universite-numerique
10/02/2016
1:36
FUN MOOC : PDM : Pratiques du Dimensionnement en Mécanique - Partie 2
france-universite-numerique
22/11/2016
1:05
FUN-MOOC : Socle en Mathématiques
france-universite-numerique
29/08/2017
3:23
FUN-MOOC : Mécanique des solides déformables
france-universite-numerique
05/09/2019
3:13
FUN-MOOC : Introduction au raisonnement mathématique : préparation à l'entrée dans l'enseignement supérieur
france-universite-numerique
04/06/2018
1:32
FUN-MOOC : Introduction à l'Ingénierie système
france-universite-numerique
25/09/2019
0:58
FUN-MOOC : Socle en Informatique
france-universite-numerique
01/02/2017
2:24
FUN-MOOC :Une SAGE introduction au calcul formel
france-universite-numerique
13/10/2017
2:50
FUN MOOC : Problèmes économiques contemporains - session 1
france-universite-numerique
28/10/2015
2:11
FUN-MOOC : Algèbre linéaire, de première année d’enseignement supérieur
france-universite-numerique
31/01/2019
1:07
FUN-MOOC GENIUS
france-universite-numerique
17/06/2021
3:14
FUN MOOC : La médiation numérique
france-universite-numerique
12/09/2018
4:07
La métabolomique : enjeux technologiques et scientifiques
france-universite-numerique
26/06/2018
2:17
FUN MOOC : Statistique pour l'ingénieur session 2
france-universite-numerique
03/12/2015
1:02
FUN-MOOC: Programmer en C, Session 1
france-universite-numerique
15/06/2016
2:15
FUN-MOOC : Mesurer l'Univers
france-universite-numerique
27/08/2019
1:56
FUN-MOOC : Le robot Thymio comme outil de découverte des sciences du numérique
france-universite-numerique
04/10/2018
1:48
FUN MOOC : Electronique Analogique
france-universite-numerique
07/02/2017
1:33
FUN-MOOC : Collection Mathématiques (5 micro-MOOC)
france-universite-numerique
06/02/2018
2:10
FUN MOOC : Bases de données relationnelles : Comprendre pour maîtriser
france-universite-numerique
01/10/2015
1:02
FUN-MOOC: Programmer en C, Session 2
france-universite-numerique
20/12/2016
2:47
FUN-MOOC : Histoire des sciences : une introduction
france-universite-numerique
19/01/2016