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

Programmation de Thymio avec VPL

Description

Cette séance de cours se concentre sur l'utilisation du langage de programmation visuel VPL pour programmer des robots Thymio, dans le but de développer les compétences des étudiants dans diverses langues et le raisonnement logique. L'instructeur présente une activité pour aider les enseignants à anticiper et à résoudre les difficultés des élèves dans la programmation avec VPL.

Dans MOOC

Thymio: un robot pour se former à l'informatique

Source officielle

Concepts associés (17)

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.

Psychology of reasoning

The psychology of reasoning (also known as the cognitive science of reasoning) is the study of how people reason, often broadly defined as the process of drawing conclusions to inform how people solve problems and make decisions. It overlaps with psychology, philosophy, linguistics, cognitive science, artificial intelligence, logic, and probability theory. Psychological experiments on how humans and other animals reason have been carried out for over 100 years. An enduring question is whether or not people have the capacity to be rational.

Afficher plus

Séances de cours associées (34)

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Raisonnement logique : Quiz d'analyse

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

George Boole: Logique et ordinateurs

Explore comment l'approche mathématique de George Boole a révolutionné la logique et jeté les bases de l'informatique moderne.

Équations différentielles ordinaires : Définitions et méthodes

Explore les équations différentielles ordinaires, les méthodes de preuve et les exemples historiques d'Euclid, en mettant l'accent sur le raisonnement logique et les dérivations étape par étape.

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.

Afficher plus

Concepts associés (17)

Liste de concepts logiques

Raisonnement déductif

Induction (logique)

Abduction (logique)

Psychology of reasoning

Afficher plus