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

Concept

Raisonnement déductif

Séances de cours associées (29)

Rechercher Algorithmes: Raisons Abductives

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

Rechercher Algorithmes: Raisons Abductives

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

É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.

Instructions d'examen: raisonnement clair et unités

Couvre les instructions d'examen mettant l'accent sur le raisonnement clair et les unités dans les réponses, en mettant l'accent sur la thermodynamique.

Séquençage éducatif : Granularisation et conception de scénarios

Explore différents types de séquençage éducatif et de conception de scénarios.

Systèmes de règles, simulations et mondes parallèles

Plongez dans les systèmes de règles, les simulations et les mondes parallèles, en explorant Prolog, les algorithmes de retour en arrière, la complexité logique, la simulation Game of Life et le concept de Simulats.

Logique propositionnelle : règles d'inférence et arguments valides

Couvre les règles d'inférence dans la logique propositionnelle et les sophismes logiques communs.

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.

Raisonnement logique : Quiz d'analyse

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

Programmation de Thymio avec VPL MOOC: Thymio: un robot pour se former à l'informatique

Explore l'utilisation de la VPL pour programmer des robots Thymio et répond aux défis des étudiants et des enseignants en programmation.

Processus d'analyse spatiale : modélisation et éléments essentiels

Couvre les processus d'analyse spatiale, y compris la modélisation et les éléments essentiels.

Droit immobilier: examen et principes juridiques

Se concentre sur la résolution des questions d'examen du droit immobilier et des principes juridiques pour une préparation efficace aux examens.

Programmes de vérification avec l'inox: Comment fonctionne l'inox

Explore le fonctionnement intérieur du cadre Inox, en mettant l'accent sur les transformations de vérification et de contrôle de type dépendant.

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.

Induction pour les solvants SMT

Explore les techniques d'induction dans les résolveurs SMT, en mettant l'accent sur l'implémentation de CVC4 et la performance compétitive avec d'autres proverbes.

Assomption du Machine Learning MOOC: Systèmes IoT et applications industrielles avec Design Thinking

Explore la philosophie de l'apprentissage automatique et l'importance des hypothèses de fluidité dans les ensembles d'entraînement.

Logique en mathématiques : propriétés et propositions

Explore la signification de la logique en mathématiques et en sciences à travers des propriétés et des propositions.

Croyances : Définition et mécanismes

S'insère dans la définition des croyances, l'influence sur le comportement, la classification et la relation avec la science.

Sans titre

Maths Puzzle: La famille de l'ours et le miel

Présente un puzzle mathématique impliquant une famille d'ours et la consommation de miel.