Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Vision informatique: Historique Récapitulation & Logistique

Description

Cette séance de cours couvre l'histoire de la vision informatique, y compris les développements clés et les jalons. Il traite également de la logistique, comme les dates d'échéance des affectations et les calendriers de cours. Les thèmes comprennent les réseaux neuronaux, le raisonnement logique et l'intelligence visuelle.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Concepts associés (26)

Liste de concepts logiques

Cet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique). Nota : La logique comporte aussi des branches en mathématiques et en informatique. Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle... Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.

Raisonnement déductif

En logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.

Induction (logique)

L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste. Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction.

Abduction (logique)

L'abduction (du latin « abductio » : emmener) est un type de raisonnement consistant à inférer des causes probables à un fait observé. Autrement dit, il s'agit d'établir une cause la plus vraisemblable à un fait constaté et d'affirmer, à titre d'hypothèse de travail, que le fait en question résulte probablement de cette cause. Par exemple, en médecine, l’abduction est utilisée pour faire des diagnostics.

Réseau de neurones récurrents

Un réseau de neurones récurrents (RNN pour recurrent neural network en anglais) est un réseau de neurones artificiels présentant des connexions récurrentes. Un réseau de neurones récurrents est constitué d'unités (neurones) interconnectées interagissant non-linéairement et pour lequel il existe au moins un cycle dans la structure. Les unités sont reliées par des arcs (synapses) qui possèdent un poids. La sortie d'un neurone est une combinaison non linéaire de ses entrées.

Afficher plus

Séances de cours associées (37)

Rechercher Algorithmes: Raisons Abductives

Explore le raisonnement abducteur, les algorithmes de recherche et la recherche heuristique pour la résolution de problèmes.

Raisonnement incertain : Réseaux bayésiens

Explore le raisonnement incertain, les réseaux bayésiens et la résolution stochastique, soulignant l'importance de la logique probabiliste et de l'enlèvement.

Contre-exemple au théorème d'induction MOOC: Analyse I (partie 1) : Prélude, notions de base, les nombres réels MOOC: Analyse I

Explore un contre-exemple au principe d'induction, démontrant une propriété des nombres naturels.

Rechercher Algorithmes: Raisons Abductives

Couvre les algorithmes de recherche, se concentrant sur le raisonnement abducteur et les stratégies de recherche heuristique.

Raisonnement logique : Quiz d'analyse

Analyse un quiz sur le raisonnement logique, en discutant des réponses correctes et incorrectes.

Afficher plus

Concepts associés (26)

Liste de concepts logiques

Raisonnement déductif

Induction (logique)

Abduction (logique)

Réseau de neurones récurrents

Afficher plus