Passer au playerPasser au contenu principal
france-universite-numerique
  • il y a 10 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.

Catégorie

📚
Éducation
Écris le tout premier commentaire
Ajoute ton commentaire

Recommandations

Ma TPE gagne avec le numérique : Pourquoi des vidéos intéractives ?
france-universite-numerique
il y a 3 ans
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques Session 2
france-universite-numerique
il y a 10 ans
FUN : MOOC "Une SAGE introduction au calcul formel"
france-universite-numerique
il y a 10 ans
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques (eFAN Maths) session 4
france-universite-numerique
il y a 8 ans
FUN MOOC : Bioinformatique : algorithmes et génomes
france-universite-numerique
il y a 10 ans
FUN MOOC : PDM : Pratiques du Dimensionnement en Mécanique - Partie 2
france-universite-numerique
il y a 9 ans
FUN-MOOC : Socle en Mathématiques
france-universite-numerique
il y a 8 ans
FUN-MOOC : Introduction au raisonnement mathématique : préparation à l'entrée dans l'enseignement supérieur
france-universite-numerique
il y a 8 ans
FUN-MOOC : Mécanique des solides déformables
france-universite-numerique
il y a 6 ans
FUN-MOOC : Introduction à l'Ingénierie système
france-universite-numerique
il y a 6 ans
FUN-MOOC : Socle en Informatique
france-universite-numerique
il y a 9 ans
FUN-MOOC :Une SAGE introduction au calcul formel
france-universite-numerique
il y a 8 ans
FUN MOOC : Problèmes économiques contemporains - session 1
france-universite-numerique
il y a 10 ans
FUN-MOOC : Algèbre linéaire, de première année d’enseignement supérieur
france-universite-numerique
il y a 7 ans
FUN-MOOC GENIUS
france-universite-numerique
il y a 4 ans
FUN MOOC : La médiation numérique
france-universite-numerique
il y a 7 ans
La métabolomique : enjeux technologiques et scientifiques
france-universite-numerique
il y a 7 ans
FUN MOOC : Statistique pour l'ingénieur session 2
france-universite-numerique
il y a 10 ans
FUN-MOOC: Programmer en C, Session 1
france-universite-numerique
il y a 9 ans
FUN-MOOC : Mesurer l'Univers
france-universite-numerique
il y a 6 ans
FUN MOOC : Electronique Analogique
france-universite-numerique
il y a 9 ans
FUN-MOOC : Collection Mathématiques (5 micro-MOOC)
france-universite-numerique
il y a 8 ans
Dessine-Moi l'Eco : Accueillir les Jeux Olympiques, opportunité économique ou mauvais calcul ?
Dessinemoileco
il y a 8 ans
Dessine-moi l'éco - Le pétrole est-il toujours de "l'or noir" ?
Dessinemoileco
il y a 8 ans
Dessine-moi l'éco - Comment mesure-t-on le chômage ?
Dessinemoileco
il y a 8 ans