unitTV
La webTV d'UNIT. L'Université Numérique Ingénierie et Technologie, est l'une des Universités Numériques Thématiques nationales (UNT) créées à l'initiative de Grandes Ecoles, d’Universités et du Ministère chargé de l’Enseignement Supérieur.
Pour vous abonner au podcast de unitTV, cliquez sur l’icône de votre lecteur favori :
Liste des programmes
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Première partie du cours "L'approche sémantique et les données liées" qui se propose d'expliquer ce qu'est le Web sémantique et le Web des données. Cette première vidéo, "Qu’est-ce que le Web ?» rappelle le fonctionnement du Web classique, celui que nous utilisons tous les jours.
Deuxième partie du cours "L'approche sémantique et les données liées" qui se propose d'expliquer ce qu'est le Web sémantique et le Web des données. Cette deuxième vidéo, "Les métadonnées au sein des pages HTML" montre comment l’insertion de données structurées au sein des pages HTML permet aux moteurs de recherches ...
Troisième partie du cours "L'approche sémantique et les données liées" qui se propose d'expliquer ce qu'est le Web sémantique et le Web des données. Cette troisième vidéo, "Le Web des données" présente le modèle de référence, le modèle RDF, qui est utilisé par le Web des données liées : la ...
Quatrième partie du cours "L'approche sémantique et les données liées" qui se propose d'expliquer ce qu'est le Web sémantique et le Web des données. Cette quatrième vidéo, "Le langage SPARQL" décrit le langage qui permet d’interroger le Web des données liées.
