Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Média interactifvignette|Un DVD Vidéo comprend généralement un menu permettant à l'utilisateur de modifier des options ou d'accéder à du contenu supplémentaire. Un média interactif (Rich Media) intègre différents médias — sons, vidéos, photos, métadonnées —, présentés de manière interactive et temporelle au sein d'une interface de consultation ergonomique. La capacité du support à synchroniser l'audio et/ou la vidéo avec les autres supports est l'une des caractéristiques du Rich Media.
