Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 4832
Label UNT Autres

le (8m1s)

La méthode

Les essentiels : La philo par les mots - La méthodeLa méthode est une suite ordonnée d'opérations. Cette définition interroge l'articulation entre le savoir et l'action : comment peut-on déterminer un ordre opératoire sans accomplir ces opérations ? Le problème est examiné sous deux aspects, celui de l'antériorité (peut-on connaître la méthode avant de la mettre en œuvre ?) et celui de la circularité (y a-t-il une méthode d'application de la méthode) ?Equipe technique :Directeur de la production: Christophe Porlier, Réalisation: Pascal Grzywacz, Image: Sébastien Boudin, Son: Xavier comméat
Voir la vidéo
Clip pédagogique

le (8m1s)

Évaluation des compétences

L’évaluation des compétences s’effectue dans des situations d’évaluation qui permettent de les mobiliser effectivement, et, de préférence, dans une approche dynamique et interactive. De plus, il faut un alignement entre les compétences visées traduites en objectifs d’apprentissage, les situations mises en œuvre pour construire ces compétences, et les situations d’évaluation. Présentation générale du projet "CRAIES" CRAIES ...
Voir la vidéo
Label UNT Vidéocours

le (8m2s)

Les transactions : introduction

Dans cette première partie, nous allons étudier les transactions et la concurrence c'est à dire le fait qu'il y ait plusieurs transactions qui arrivent en même temps. On va commencer par expliquer ce qu'est le concept de transaction : il s'agit de nombreuses opérations qui sont regroupées ensemble pour permettre de passer d'un état cohérent de la base à un autre état cohérent. Puis je vais montrer quelques problèmes qui peuvent apparaître lorsque de nombreuses transactions se produisent en même temps en particulier lorsque ces opérations de plusieurs transactions s'intercalent les unes avec les autres. Un concept qui permet de ...
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

 
FMSH
 
Facebook Twitter Google+
Mon Compte