Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Concept

Branching quantifier

Science formelle
Logique
Logique classique
Calcul des prédicats

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Connectez-vous pour filtrer par séance de cours

Analyse des risques en gestion de projet Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'analyse des risques dans la gestion de projet, couvrant l'identification, la prévention, la quantification et la gestion Lean.

La logique des prédicats : quantificateurs et équivalences Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la logique des prédicats, couvrant les quantificateurs, les équivalences et les traductions du langage naturel.

Magnétostatique : champ magnétique et force Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les champs magnétiques, la loi d'Ampère et les dipôles magnétiques avec des exemples et des illustrations.

NMF guidé par la physique pour l'analyse des données STEM/EDXS Connectez-vous à Mediaspace pour regarder cette vidéo

Explore NMF guidé par la physique pour l'analyse de données STEM/EDXS, couvrant les défis, l'optimisation, les contraintes et les avantages de la modélisation.

Gestion de la dose en microscopie électronique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis et les solutions pour gérer la dose d'électrons en microscopie, en soulignant l'importance d'un suivi et d'une analyse précis des doses.

Dispersion inélastique dans la microscopie électronique de transmission Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit la diffusion inélastique en microscopie électronique à transmission, en se concentrant sur les principes et les applications de la spectroscopie de perte d'énergie électronique.

Confiance en nombres : Quantifier le monde Connectez-vous à Mediaspace pour regarder cette vidéo

S'insère dans le développement historique de la quantification en physique et en société, contrastant le positivisme avec le réalisme hypothétique.

Contrôle numérique : introduction et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases du contrôle numérique et de sa mise en œuvre à l'aide d'un microprocesseur.

Logique principale : quantificateurs et formulaires normaux Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Performance : Ingénierie logicielle Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les performances des logiciels, couvrant la mesure, les objectifs et les stratégies d'amélioration, avec des exemples concrets de Netflix et Grand Theft Auto.

Page 2 sur 2