SEARCH
FUN : MOOC "Introduction à la logique informatique - Partie 2 : calcul des prédicats "
france-universite-numerique
2015-12-16
Views
42
Description
Share / Embed
Download This Video
Report
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.
Show more
Share This Video
facebook
google
twitter
linkedin
email
Video Link
Embed Video
<iframe width="600" height="350" src="https://dailytv.net//embed/x3ic3li" frameborder="0" allowfullscreen></iframe>
Preview Player
Download
Report form
Reason
Your Email address
Submit
RELATED VIDEOS
02:30
FUN-MOOC : Enseigner et Former Avec le Numérique en mathématiques - ENS Cachan, ENS Lyon
01:33
FUN-MOOC : Collection Mathématiques (5 micro-MOOC)
01:37
FUN MOOC : Enseigner et former avec le numérique formateurs d'Adultes (ENS Cachan)
01:05
FUN-MOOC : Socle en Mathématiques
01:48
FUN MOOC : Mathématiques: Préparation à l'entrée dans l'enseignement supérieur
01:54
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques (eFAN Maths) session 3
01:54
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques (eFAN Maths) session 4
01:54
FUN MOOC : Enseigner et Former avec le Numérique en mathématiques Session 2
02:48
FUN MOOC : Introduction à la logique informatique
13:00
Retour d'expérience du MOOC "Mathématiques : préparation à l'entrée dans l'enseignement supérieur " par le professeur Gilbert Monna de l'École Polytechnique
03:55
Un MOOC pour initier les lycéens et les étudiants aux mathématiques
02:10
FUN : MOOC "Groupes finis : les mathématiques du Rubik's cube"
