Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 263
Label UNT Vidéocours

le (9m52s)

Raisonnement mathématique (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Quatrième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (10m9s)

Récursivité (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Troisième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (4m48s)

Conclusion (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Sixième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (8m3s)

Assistant de démonstration (Introduction à la vérification de programme)

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.Cinquième partie du cours "Introduction à la vérification de programme".
Voir la vidéo
Label UNT Vidéocours

le (3m58s)

Les notions de base de l’internet des Objets

Les objets connectés se comptent déjà par milliards. Ils modifient radicalement notre univers personnel et professionnel. Dans ce cours vidéo, vous découvrirez les principes fondateurs de l'internet des objets. Nous commencerons par distinguer objets connectés, objets intelligents et objets autonomes. Puis nous parlerons des différents marchés des objets connectés” : marchés militaires, civils, industriels et grand public. Nous verrons également que les enjeux liés à ces technologies sont importants, qu’ils soient technologiques, liés à la de production ou à l’organisation des entreprises. A la fin de ce cours vous aurez compris le monde de l'internet des objets et vous pourrez ...
Voir la vidéo
Label UNT Vidéocours

le (6m54s)

Les différents marchés des objets connectés

Les objets connectés se comptent déjà par milliards. Ils modifient radicalement notre univers personnel et professionnel. Dans ce cours vidéo, vous découvrirez les principes fondateurs de l'internet des objets. Nous commencerons par distinguer objets connectés, objets intelligents et objets autonomes. Puis nous parlerons des différents marchés des objets connectés” : marchés militaires, civils, industriels et grand public. Nous verrons également que les enjeux liés à ces technologies sont importants, qu’ils soient technologiques, liés à la de production ou à l’organisation des entreprises. A la fin de ce cours vous aurez compris le monde de l'internet des objets et vous pourrez ...
Voir la vidéo
Label UNT Vidéocours

le (6m22s)

Les enjeux de la production et du développement d’objets connectés

Les objets connectés se comptent déjà par milliards. Ils modifient radicalement notre univers personnel et professionnel. Dans ce cours vidéo, vous découvrirez les principes fondateurs de l'internet des objets. Nous commencerons par distinguer objets connectés, objets intelligents et objets autonomes. Puis nous parlerons des différents marchés des objets connectés” : marchés militaires, civils, industriels et grand public. Nous verrons également que les enjeux liés à ces technologies sont importants, qu’ils soient technologiques, liés à la de production ou à l’organisation des entreprises. A la fin de ce cours vous aurez compris le monde de l'internet des objets et vous pourrez ...
Voir la vidéo
Label UNT Vidéocours

le (10m58s)

Les enjeux technologiques de l’Internet des Objets

Les objets connectés se comptent déjà par milliards. Ils modifient radicalement notre univers personnel et professionnel. Dans ce cours vidéo, vous découvrirez les principes fondateurs de l'internet des objets. Nous commencerons par distinguer objets connectés, objets intelligents et objets autonomes. Puis nous parlerons des différents marchés des objets connectés” : marchés militaires, civils, industriels et grand public. Nous verrons également que les enjeux liés à ces technologies sont importants, qu’ils soient technologiques, liés à la de production ou à l’organisation des entreprises. A la fin de ce cours vous aurez compris le monde de l'internet des objets et vous pourrez ...
Voir la vidéo
Label UNT Vidéocours

le (7m23s)

Mise en place d’une équipe adaptée aux enjeux de l’IoT

Les objets connectés se comptent déjà par milliards. Ils modifient radicalement notre univers personnel et professionnel. Dans ce cours vidéo, vous découvrirez les principes fondateurs de l'internet des objets. Nous commencerons par distinguer objets connectés, objets intelligents et objets autonomes. Puis nous parlerons des différents marchés des objets connectés” : marchés militaires, civils, industriels et grand public. Nous verrons également que les enjeux liés à ces technologies sont importants, qu’ils soient technologiques, liés à la de production ou à l’organisation des entreprises. A la fin de ce cours vous aurez compris le monde de l'internet des objets et vous pourrez ...
Voir la vidéo
Label UNT Vidéocours

le (3m22s)

Panorama des objets connectés : conclusion

Les objets connectés se comptent déjà par milliards. Ils modifient radicalement notre univers personnel et professionnel. Dans ce cours vidéo, vous découvrirez les principes fondateurs de l'internet des objets. Nous commencerons par distinguer objets connectés, objets intelligents et objets autonomes. Puis nous parlerons des différents marchés des objets connectés” : marchés militaires, civils, industriels et grand public. Nous verrons également que les enjeux liés à ces technologies sont importants, qu’ils soient technologiques, liés à la de production ou à l’organisation des entreprises. A la fin de ce cours vous aurez compris le monde de l'internet des objets et vous pourrez ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte