Séance de cours

Edges: Généralisation

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours explore différentes idées pédagogiques liées aux bords, en mettant l'accent sur la généralisation et les niveaux d'abstraction. Il traite de l'induction, de la déduction, de la réflexion et du transfert dans l'éducation, en soulignant l'importance de la pratique du transfert avec les étudiants.

Source officielle

Concepts associés (17)

Raisonnement par récurrence

vignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.

Deduction theorem

In mathematical logic, a deduction theorem is a metatheorem that justifies doing conditional proofs from a hypothesis in systems that do not explicitly axiomatize that hypothesis, i.e. to prove an implication A → B, it is sufficient to assume A as an hypothesis and then proceed to derive B. Deduction theorems exist for both propositional logic and first-order logic. The deduction theorem is an important tool in Hilbert-style deduction systems because it permits one to write more comprehensible and usually much shorter proofs than would be possible without it.

Déduction naturelle

En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ; elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ; elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard.

Récurrence transfinie

En mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts. Les définitions par récursion transfinie — permettent de construire des objets infinis, et généralisent les définitions de suite par récurrence sur l'ensemble N des entiers naturels en considérant des familles indexées par un ordinal infini quelconque, au lieu de se borner au plus petit d'entre eux qu'est N, appelé ω en tant que nombre ordinal.

Éducation

vignette|270px|Moyen mnémotechnique mis à disposition des enfants visitant le Field Museum de Chicago leur permettant d'apprendre les pays formant l'Asie et leurs contours géographiques. L’éducation est l'apprentissage et le développement des facultés intellectuelles, morales et physiques, les moyens et les résultats de cette activité de développement. L'éducation inclut des compétences et des éléments culturels caractéristiques du lieu géographique et de la période historique, l'éducation a pour but de faire progresser, améliorer et penser par soi-même d'un sujet et la création de cultures.

Afficher plus

Séances de cours associées (64)

L’abstraction dans l’éducation

Se penche sur les niveaux de généralisation dans les activités d'apprentissage et sur l'importance du transfert des connaissances.

Interaction des ondes E-M avec la matière: Transmission, Absorption, Réflexion

Explore comment les ondes électromagnétiques interagissent avec la matière, mettant l'accent sur la transmission, l'absorption et la réflexion.

Réflexion et réfraction dans la matière transparente

Explore les lois de la réflexion et de la réfraction dans la matière transparente, en mettant l'accent sur l'interaction des vagues avec les dalles diélectriques.

Concepts de graphiques d'orchestration

Explore les concepts de graphiques d'orchestration et d'étiquettes de bord pour la préparation et les activités.

Aider les élèves à réfléchir MOOC: Enseigner les sciences et l'ingénierie

Souligne l'importance de favoriser la métacognition des élèves pour améliorer leur processus d'apprentissage.

Afficher plus

Concepts associés (17)

Raisonnement par récurrence

Deduction theorem

Déduction naturelle

Récurrence transfinie

Éducation

Afficher plus